7th IEEE Workshop on Model-Based Development for ComputerBased Systems - Linking Views and Levels of Abstractions

within the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS)

Part of the MBD Workshop Series

Successful application of model based development in domains like business information systems or embedded systems has demonstrated its practical relevance. However, with the shift to complex models with a long-term evolution, issues related to the reuse of models gain importance for practical application of model based development, including partitioning and maintaining models and managing their change. Adequate modelling techniques must

support a modularization of models into different views and levels of abstractions,
ease localized changes without disturbing the integrity of the mode,
enable analysing the impact of changes on the model as a whole,
facilitate versioning (parts of) models maintaining the overall consistency,
ensure aspects like understandability and maintainability and
integrate profiles supporting specific application domains (e.g., automation, business processes, web services),

to provide a practical application of model based development.

This workshop focuses on the scientific and practical aspects of model based development (models, processes, methods, and tools) for supporting the construction of computer based systems, with a focus on evolution and management of model. Topics of the workshop include:

Model evolution and maintenance
Model versioning and product lines of models
Model transformation and reengineering
Model-based validation and verification
Models in the system engineering process
Model partitioning in relation to system architecture and project structure
Quality assurance for models
Integration of different models
Tool support for model-based development
Case studies and application of model-based development
Experiences of using models and relating models with their applications in the real-world development process.

Format:

To enable a maximum of interaction and discussion between the participants, the workshop will be held as a combination of two parts. First, the full papers are presented including a short discussion after each presentation. In the second part, short position statements are given, as introduction to a panel discussion by the speakers, to initiate a workshop discussion with all attendees.

Final Program:

16th April 2009, 55Parc Hotel, Room Hearst, 4th Floor

08:30 - 10:15 Session 1: Paper presentations I

Damian Dechev and Bjarne Stroustrup. Model-based Product-oriented Certification
Thomas Leveque, Jacky Estublier and German Vega. Extensibility and Modularity for Model Driven Engineering Environments
Bernhard Schaetz. Constraints and Transformation

10:15 - 10:45 Coffee Break

10:45 - 11:45 Session 2: Paper presentations II

Michael C. Jaeger and Ludger Fiege. View Points in the Smart Home Product Line
Meiko Jensen and Sven Feja. A Security Modeling Approach for Web-Service-based Business Processes

11:45 - 12:45 Lunch 4th Floor

12:45 - 1:30 Tool Demo

Thomas Leveque: CADSEg
Sven Feja: ARIS SOA Architect - Security Extension

1:30 - 3:00 Session 3: Position statements and workgroup discussion

3:00 - 3:30 Coffee Break

3:30 - 5:00 Session 4: Workgroup discussion (cont'd), Panel discussion

5:00 Workshop closing

Links:

Workshop Website http://www.proinf.de/mbd/
MBD 2009 Workshop CfP http://www.proinf.de/mbd/mbd09-cfp.html
Conference Website http://www.ece.usu.edu/ecbs09/

Important Dates:

Early registration deadline:    see conference website
Submission of position papers:     14th Mar 2009
Workshop at ECBS2009:        16th April 2009

Publication:

All full papers went through a rigorous peer-reviewing process with at least 3 reviews per paper. They are published in the workshop proceedings as part of the ECBS conference proceedings and in the IEEE digital library. Position papers are published as online publications using a permalink.

Organizing Committee:

Matthias Riebisch, TU Ilmenau, Germany
Bernhard Schaetz, TU Munich, Germany

Programme Committee:

Christian Erfurth, University Jena, Germany
Bas Graaf, Microsoft, USA
John Leaney, University of Technology Sydney, Australia
Jing Janet Liu, Iowa State University, IA, USA
Zafar I. Malik, International Islamic University Islamabad, Pakistan
Matthias Riebisch, TU Ilmenau, Germany
Wilhelm Rossak, Friedrich Schiller University Jena, Germany
Bernhard Schaetz, TU Munich, Germany
Jonathan Sprinkle, University of Arizona, AZ, USA
Peter Tabeling, Intervista, Austria/Germany
Claudio Talarico, Eastern Washington University, WA, USA

last changed April 16, 2009 Rie