MiSE@ICSE

Models in Software Engineering Workshop at ICSE

Overview

Event Date: 
Sat, 06/02/2012 - Sun, 06/03/2012
Important Dates: 

New paper submission deadline: February 24, 2012 (closed)
Author notifications: March 19, 2012 (closed)
Camera-ready copies: March 29, 2012 (closed)

Overview: 

The purpose of this 2-day workshop is to promote the use of models in the engineering of software systems. In particular, we are interested in the exchange of innovative technical ideas and experiences related to modeling. Engineers have used models to effectively manage complexity for centuries, and there is a growing body of work on the use of models to manage inherent problem and solution complexity in software development. The use of software models will become more prevalent as methodologies and tools that manipulate models at various levels of abstraction become available.

Workshop activities will focus on analyzing successful applications of software modeling techniques to gain insights into challenging modeling problems including (1) identifying, describing, and using appropriate abstractions, (2) supporting incremental, iterative development through the use of appropriate model composition, transformation and other model manipulation operators, and (3) automated analysis of possibly large, possibly incomplete models to determine the presence or absence of desired and undesired properties.
A list of topics includes:
• Modeling notations and tools
• Modeling of non-functional properties
• Metamodeling
• Modeling patterns and strategies
• Model transformations
• Model evaluation
• Model traceability and management
• Domain specific modeling
• Extracting models from implementation artifacts (e.g., for program understanding or verification)
• Use of models to support downstream activities (e.g., to generate test cases)
• Use of models at runtime (e.g., to support dynamic adaptation)
• Empirical studies
• Variability management using models
• Model reuse
• Innovative use of models

Calls

Calls: 

ICSE 2012 Workshop on Modeling in Software Engineering (MiSE 2012)
Zurich, Switzerland
June 2-3, 2012

Workshop Overview
The purpose of this 2-day workshop is to promote the use of models in the engineering of software systems. In particular, we are interested in the exchange of innovative technical ideas and experiences related to modeling. Engineers have used models to effectively manage complexity for centuries, and there is a growing body of work on the use of models to manage inherent problem and solution complexity in software development. The use of software models will become more prevalent as methodologies and tools that manipulate models at various levels of abstraction become available.

Workshop activities will focus on analyzing successful applications of software modeling techniques to gain insights into challenging modeling problems including (1) identifying, describing, and using appropriate abstractions, (2) supporting incremental, iterative development through the use of appropriate model composition, transformation and other model manipulation operators, and (3) automated analysis of possibly large, possibly incomplete models to determine the presence or absence of desired and undesired properties.
A list of topics includes:
• Modeling notations and tools
• Modeling of non-functional properties
• Metamodeling
• Modeling patterns and strategies
• Model transformations
• Model evaluation
• Model traceability and management
• Domain specific modeling
• Extracting models from implementation artifacts (e.g., for program understanding or verification)
• Use of models to support downstream activities (e.g., to generate test cases)
• Use of models at runtime (e.g., to support dynamic adaptation)
• Empirical studies
• Variability management using models
• Model reuse
• Innovative use of models

Important Dates
New paper submission deadline: February 24, 2012
Author notifications: March 19, 2012
Camera-ready copies: March 29, 2012

Workshop format
The workshop will be highly interactive and focused on the sharing of ideas and on progressing towards a shared vision of research goals. Included in the program will be paper presentations, paper critiques by designated attendees, at least one panel discussion, posters, and a keynote talk.
Each paper presentations will be limited to 15 minutes, and will be immediately followed by a critique presented by a designated attendee.

Submission guidelines
Although the workshop is open to all, prospective participants are invited to submit a 4-7 page position or technical paper. Workshop papers must follow the ICSE 2012 Format and Submission Guideline. All submissions will be reviewed by members of the program committee and the organizing committee for quality and relevance. Accepted papers will become part of the workshop proceedings.

EasyChair will be used to manage the submission review process. The submission site is closed.,/strong>

Contact Information
To contact the organizers send email to mise@cs.colostate.edu.

Program Committee
Lionel Briand, University of Luxembourg, Luxembourg
Manfred Broy, Technical University of Munich, Germany
Marsha Chechik, University of Toronto, Canada
Holger Giese, Hasso Plattner Institute, Germany
Jeff Gray, University of Alabama, USA
Mats Heimdahl, University of Minnesota, USA
Michael Jackson, The Open University, UK
Richard Paige, University of York, UK
Awais Rashid, Lancaster University, UK
Jon Whittle, Lancaster University, UK

Organizers

Organizers: 

Organizing Committee
Joanne Atlee, University of Waterloo, Canada
Robert France, Colorado State University, USA
Geri Georg, Colorado State University, USA
Ana Moreira, Universidade Nova Lisboa, Portugal
Bernhard Rumpe, RWTH Aachen University, Germany
Steffen Zschaler, Kings College, UK
Robert Baillargeon, Sodius, USA

Program

Program / Schedule: 

Saturday June 2

9:00 Session #1: Introduction and Keynote
Session Chair: Robert France
Introductory Remarks
Keynote: "MDE is Dead - Long Live MDE", Richard Paige, University of York, UK

11:00 Session #2: Model Analysis
Session Chair: Bernhard Rumpe

Maximilian Junker and Philipp Neubeck. A Rigorous Approach to Availability Modeling

Andreas Vogelsang, Stefan Teuchert and Jean-Francois Girard. Extent and Characteristics of Dependencies between Vehicle Functions in Automotive Software Systems

Naoyasu Ubayashi and Yasutaka Kamei. Verifiable Architectural Interface for Supporting Model-Driven Development with Adequate Abstraction Level

Discussion

2:00 Session #3: Domain-Specific Languages
Session Chair: Jo Atlee

Hyun Cho, Jeff Gray and Eugene Syriani. Creating Visual Domain-Specific Modeling Languages from End-User Demonstration

Javier Luis Canovas Izquierdo and Jordi Cabot. Community-driven Language Development

Discussion

3:10 Session #4: Poster Session
Session Chair: Jo Atlee

Amirhossein Vakili and Nancy A. Day. Avestan: A Declarative Modeling Language Based on SMT-LIB

Bazil Stanley Solomon, David Duce, Rachel Harrison and Kenneth Boness. Modeling Social Media Collaborative Work

Danilo Ardagna, Elisabetta Di Nitto, Giuliano Casale, Dana Petcu, Parastoo Mohagheghi, Sebastien Mosser, Peter Matthews, Anke Gericke, Cyril Ballagny, Francesco D'Andria, Cosmin-Septimiu Nechifor and Craig Sheridan. MODACLOUDS, A Model-Driven Approach for the Design and Execution of Applications on Multiple Clouds

Poster Presentations

Workshop Dinner
Day: Saturday, June 2, 2012
Time and Place: 19:15 in Restaurant Krone Unterstrass
Address: Schaffhauserstrasse 1, 8006 Zurich
URL: http://www.hotel-krone.ch/restaurant_basicFormNew-en.html
Directions: Tram lines 11 and 14, stop Kronenstrasse.

Sunday June 3

9:00 Session #5: Keynote
Session Chair: Bernhard Rumpe
"MDE at the coal face: What industrial practitioners say about MDE", John Hutchinson, Lancaster University, UK.

11:00 Session #6: Model Transformations
Session Chair: Robert France

Louis Rose, Nicholas Matragkas, Dimitrios Kolovos and Richard Paige. A Feature Model for Model-To-Text Transformation Languages

Michalis Famelis, Rick Salay and Marsha Chechik. The Semantics of Partial Model Transformations

Jonathan Marchand, Benoit Combemale and Benoit Baudry. A Categorical Model of Model Merging and Weaving

Discussion

2:00 Session #7: Model Evolution, Adaptability, and Maintainability
Session Chair: Jeff Gray

Filippo Ricca, Maurizio Leotta, Gianna Reggio, Alessandro Tiso, Giovanna Guerrini and Marco Torchiano. Using UniMod for Maintenance Tasks: an Experimental Assessment in the Context of Model Driven Development

Sabine Moisan, Jean-Paul Rigault and Mathieu Acher. A Feature-based Approach to System Deployment and Adaptation

Pooyan Jamshidi and Claus Pahl. Business Process and Software Architecture Model Co-Evolution Patterns

Discussion

4:00 Session #8: Panel on Creating Domain-Specific Languages
Session Chair: Jo Atlee

Panel:
Marian Petre - Sketching, notations, and some observations from practice
Jordi Cabot - Community-driven language development
Jeff Gray - Creating DSLs from end-user demonstration
Bernhard Rumpe - Creating DSLs by extending and composing language modules

Speakers: 

Richard Paige, University of York, UK.
Title: MDE is Dead - Long Live MDE

John Hutchinson, Lancaster University, UK.
Title: MDE at the coal face: What industrial practitioners say about MDE

Venue: 

The workshop will be held on the Irchel Campus of the University of Zurich, Winterthurerstrasse 190, 8057 Zurich.
(map)