Models in Software Engineering Workshop at ICSE
New paper submission deadline: February 24, 2012 (closed)
Author notifications: March 19, 2012 (closed)
Camera-ready copies: March 29, 2012 (closed)
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
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
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
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
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
The workshop will be held on the Irchel Campus of the University of Zurich, Winterthurerstrasse 190, 8057 Zurich.
(map)