Workshops

ACES-MB'09

2nd International Workshop on Model Based Architecting and Construction of Embedded Systems

Organizers

• Stefan Van Baelen (K.U. Leuven-DistriNet, Belgium)
• Thomas Weigert (Missouri S&T, USA)
• Ileana Ober (University of Toulouse-IRIT, France)
• Huascar Espinoza (CEA LIST/LISE, France)

Summary

The development of embedded systems with real-time and other critical constraints raises distinctive problems. In particular, development teams have to make very specific architectural choices and handle key non-functional constraints related to, for example, real-time deadlines and to platform parameters like energy consumption or memory footprint. In this context, the last few years have seen an increased interest in using model-based engineering (MBE) techniques. MBE techniques are interesting and promising for the following reasons: They allow to capture dedicated architectural and non-functional information in precise (and even formal) domain-specific models, and they support a layered construction of systems, in which the (platform independent) functional aspects are kept separate from architectural and non-functional (platform specific) aspects, where the final system is obtained by combining these aspects later using model transformations.

The objective of this workshop is to bring together researchers and practitioners interested in model-based software engineering for real-time embedded systems. We are seeking contributions relating to this subject at different levels, from modelling languages and semantics to concrete application experiments, from model analysis techniques to model-based implementation and deployment. Given the criticality of the application domain, we particularly focus on model-based approaches yielding efficient and provably correct designs. Concerning models and languages, we welcome contributions presenting novel modelling approaches as well as contributions evaluating existing ones.

Click here to go to the workshop website.

AOM

14th International Workshop on Aspect-Oriented Modeling

Organizers

• Omar Aldawud, Illinois Institute of Technology, USA
• Walter Cazzola, University of Milano, Italy
• Thomas Cottenier, Hengsoft, USA
• Jeff Gray, University of Alabama at Birmingham, USA
• Jörg Kienzle, McGill University, Canada
• Dominik Stein, University of Duisburg-Essen, Germany

Summary

New and powerful aspect-oriented programming techniques are presented at the International Conference on Aspect-Oriented Software Development every year. However, it is not clear what features of such techniques are "common aspect-oriented concepts" and what features are rather language-specific specialties. Research in Aspect-Oriented Modeling (AOM) has the potential to help find such common characteristics from a perspective that is at a more abstract level (i.e., programming language-independent). The ultimate goal of research in AOM is to provide aspect-oriented software developers with general means to express aspects and their crosscutting relationships onto other software artifacts.

Aspect-Oriented Modeling workshop aims to identify and discuss the impacts of aspect-oriented technologies on software modeling, and to set up a shared agenda for future research in aspect-oriented modeling of software systems. To achieve these goals, we invite the participants to present new ideas and discuss the state of research and practice in modeling different kinds of crosscutting concerns at multiple levels: software architecture, detailed design, testing, and mapping models onto aspect-oriented programs.

Click here to go to the workshop website.

FOSD

First International Workshop on Feature-Oriented Software Development

Organizers

• Sven Apel (University of Passau, DE)
• William R. Cook (University of Texas at Austin, US)
• Krzysztof Czarnecki (University of Waterloo, CA)
• Christian Kaestner (University of Magdeburg, DE)
• Neil Loughran (SINTEF, NO)
• Oscar Nierstrasz (University of Berne, CH)

Summary

Feature orientation is an emerging paradigm of software development. It supports the largely (possibly completely) automatic generation of large software systems from a (possibly large) set of units of functionality, so-called features. The key idea of feature-oriented software development (FOSD) is to emphasize the similarities of a family of software systems for a given application domain (e.g., database systems, banking software, text processing systems) with the goal of reusing software artifacts among the family members. Features are used to distinguish different members of the family. A software engineering challenge is that a feature does not map cleanly to an isolated module of code. Rather it may affect (''cut across'') many components/documents of a software system. Research on FOSD has shown that the concept of features pervades all phases of the software life cycle and requires a proper treatment in terms of analysis, design, and programming techniques, methods, languages, and tools, as well as formalisms and theory.

Click here to go to the workshop website.

MoDSE-MCCM

Models and Evolution

Organizers

• Dalila Tamzalit - LINA, University of Nantes, France
• Dirk Deridder - System and Software Engineering Lab, Vrije Univ Brussel, Belgium
• Bernhard Schütz - TU München, Germany

Summary

The objective of the joint MoDSE-MCCM workshop is to discuss how models can help and guide software evolution and how it can enforce and reduce critical risks and important ressources (e.g., costs, personnel, time) involved in software evolution, by employing high-level abstractions. In addition to the objective to propose a presentation and discussion space and gather the MDE and software evolution communities (as well academic as industry), the joint workshop also encourages young researchers participation and attendance.

Click here to go to the workshop website.

Models@run.time

Models@run.time

Organizers

• Nelly Bencomo (main contact)
  Gordon Blair
  Computing Department, Lancaster University, UK
  
• Robert France
  Computer Science Department, Colorado State University, USA
• Freddy Munoz (Submissions)
  INRIA, France
• Cedric Jeanneret (Publicity)
  Universitat Zurich, Switzerland

Summary

The research efforts of the MDE community have focused on using models before or during deployment stages of the software lifecycle.

The complexity of adapting software during runtime has spawned interest in how models can be used to validate, monitor and adapt runtime behaviour. The use of models during runtime extends the use of modelling techniques beyond the design and implementation phases of development.

Model-driven software development would help providing the infrastructure to reconfigure and adapt a runtime system based on input QoS and context based values. The goal of this workshop is to look at issues related to developing appropriate model-driven approaches to managing and monitoring the execution of systems. We build on the previous events where we have succeeded in building a community and bringing about an initial exploration of the core ideas of Models@run,time and now seek:

• experiences with actual implementations of the concept
• rationalisation of the various concepts into overall architectural perspectives
• to make explicit the specific roles that models play at runtime
• impact on software engineering methodologies
• to continue to assemble a network of researchers in this emerging area, building on the results of the earlier editions.

Click here to go to the workshop website.

MoDeVVa09

Model-Driven Engineering, Verification and Validation - Integrating Verification and Validation in MDE

Organizers

• Levi Lúcio, Geneva University, Switzerland
• Stephan Weißleder, Fraunhofer FIRST / HU Berlin, Germany

Summary

Model-Driven Engineering (MDE) is a development methodology that is based on models, meta-models, and model transformations (model-2-model or model-2-text). Its aim is to decrease the complexity of software engineering to a minimum by creating and maintaining only the necessary information at each stage and abstraction level in the software engineering process. Many software artefacts, tools, environments and modelling languages have to be developed to make MDE a reality. The constant pace at which development moves forward in this research area shows that MDE is quickly changing, that new approaches and corresponding issues arise frequently, and that there is ongoing need for discussions and new solutions. Consequently, there is a crucial need for effective verification and validation techniques (V&V) in this context. Furthermore, this poses the question for the mutual impact of MDE and V&V: How can MDE improve V&V and how can V&V leverage the techniques around MDE? The objective of this workshop on model-driven engineering, verification and validation (MoDeVVa) is to offer a forum for researchers and practitioners who are developing new approaches to V&V in the context of MDE. We recognize three main intersections of V&V and MDE:

1. The V&V of model transformations, i.e., model transformation V&V: E.g., is the result of a transformation really what the user intended?
2. The V&V of the (meta-)models themselves, i.e., model V&V: E.g., is the (meta-)model correct with respect to the expected security, time, and structural constraints?
3. The use of (meta-)models for V&V (of code or other models), i.e., model-based V&V: E.g., what (meta-)models can be used for validation or for verification?

Click here to go to the workshop website.

MPM09

Third International Workshop on Multi-Paradigm Modeling

Organizers

• Tihamer Levendovszky, Vanderbilt University, USA
• Laszlo Lengyel, Budapest University of Technology and Economics, Hungary
• Gabor Karsai, Vanderbilt University, USA
• Cécile Hardebolle (Publicity), Supélec, France

Summary

Computational modeling has become the norm in industry to remain competitive and be successful. As such, Model-Based Design of embedded software has enterprise-wise implications and modeling is not limited to isolated uses by a single engineer or team. Instead, it has reached a proliferation much akin to large software design, with requirements for infrastructure support such as version control, configuration management, and automated processing. The comprehensive use of models in design has created a set of challenges beyond that of supporting one isolated design task. In particular, the need to combine, couple, and integrate models at different levels of abstraction and in different formalisms is posing a set of specific problems that the field of Computer Automated Multiparadigm Modeling (CAMPaM) is aiming to address.

Click here to go to the workshop website.

NFPinDSML

2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages

Organizers

• Marko Bošković, on move to Athabasca University, Canada
• Dragan Gašević, Athabasca University, Canada
• Claus Pahl, Dublin City University, Ireland
• Bernhard Schätz, Technische Universität München, Germany

Summary

The 2nd NFPinDSML brings together researchers and practitioners from communities dedicated to non-functional properties of software systems and researchers from language engineering to study the principles of integration of various non-functional system properties and language engineering in order to further expand principles of reasoning about non-functional properties of software systems in Domain Specific Modeling Languages, and model-driven engineering in general.

This year's workshop particularly pays attention to the multi dimensional analysis, commonalities and differences in DSMLs observed from the perspective of different NFP estimation and evaluation, and annotation of DSMLs' constructs for NFP analysis.

Click here to go to the workshop website.

OCL

The Pragmatics of OCL and other textual specification languages

Organizers

• Jordi Cabot, Open University of Catalonia, Spain (primary contact)
• Joanna Chimiak-Opoka, University of Innsbruck, Austria
• Frédéric Jouault, INRIA, France
• Margin Gogolla, University of Bremen, Germany
• Alexander Knapp, University of Augsburg, Germany

Summary

In recent years, MDA and associated MDE methodologies, approaches and languages (like QVT) emphasized the role that OCL has to play in MDE development. Moreover, the modeling community is continuously pushing forward the OCL, far beyond its initial requirements as a precise modeling language complementing UML specifications. Now, OCL is used in quite different applications domains (e.g., domain-specific languages, web semantics) and for various purposes (e.g., model verification and validation, code generation, test-driven development, transformations).

This workshop will focus on the challenges of using OCL on these new domains and how the language needs to evolve to be successfully applied on them. In particular, we are interested in discussing alternative notations/representations for OCL that simplify its application, new textual/graphical languages that can complement/replace OCL, new ways of writing OCL expressions (e.g., patterns, templates and libraries), sharing OCL expressions and OCL know-how, new domain-dependent evaluation and optimization strategies, mappings from OCL to other languages and formalisms (Java, SQL, Alloy, Maude, constraint programming, ...) and, of course, the tools that will make all of this possible. In addition, all other aspects that may facilitate a wider adoption and support of OCL or its usability are also welcome.

Click here to go to the workshop website.

TWOMDE2009

2nd Workshop on Transformation and Weaving OWL Ontologies and MDE/MDA

Organizers

• Fernando Silva Parreiras (DE), University of Koblenz-Landau
• Jeff Z. Pan (GB), University of Aberdeen
• Uwe Assmann (DE), Dresden University of Technology

Summary

The interest in integrating Ontologies and Software Engineering has gained more attention with commercial and scientific initiatives. The Semantic Web Best Practice and Deployment Working Group (SWBPD) in W3C included a Software Engineering Task Force (SETF) to explore how Semantic Web and Software Engineering can cooperate. The Object Management Group (OMG) has an Ontology Platform Special Interest Group (PSIG) aiming at formalizing semantics in software by knowledge representation and related technologies. The concrete results of such initiatives are the specification of the OMG Ontology Definition Metamodel, the OWL2 Metamodel, the introduction to Ontology Driven Architectures and a guideline for software developers.

Nevertheless, as MDE spreads, disciplines like model transformation, domain specific languages (DSLs) and traceability become essential in order to support different kinds of models in an model driven environment. Understanding the role of ontology technologies like knowledge representation, automated reasoning, dynamic classification and consistence checking in these fields is crucial to leverage the development of such disciplines. Thus, we highlight the following open questions: How can the scientific and technical results around ontologies, ontology languages and their corresponding reasoning technologies be used fruitfully in MDE? What is the role of ontologies in supporting model transformation or traceability? How can ontologies improve designing DSLs? Are current query languages able to query both kinds of models?

Discussions about these and related questions will be supported by the proposed workshop.

Click here to go to the workshop website.