MPM'14

8th International Workshop on Multi-Paradigm Modeling (MPM'14)

Multi-Paradigm Modeling (MPM) is a research field focused on solving the challenge of combining, coupling and integrating rigorous models of some reality, at different levels of abstraction and views, using modeling formalisms and semantic domains, with the goal of simulating or realizing systems that may be physical, software or a combination of both. The key challenges are finding adequate Modeling Abstractions, Multi-formalism Models, Model Transformations and applying MPM techniques and tools to Complex Systems. MPM theories/methods/technologies have been successfully applied in the fields of software architectures, control system design, model integrated computing and tool interoperability. The eighth Workshop on Multi-Paradigm Modeling (MPM) aims to further the state-of-the-art and define future directions of this emerging research area by bringing together world experts in the field for an intense one-day workshop.

Objectives and Scope

Computational modeling has become the industry norm to remain competitive and be successful. As such, Model-Based Design of complex, software-intensive systems has enterprise-wide 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 Multi-Paradigm Modeling (MPM) aims to address.

The essential element of multi-paradigm modeling is the use of explicit and heterogeneous models throughout. This leads to a framework with omnipresent models. Some represent the syntax of formalisms used for modeling, others are used to model the transformations that represent the operational semantics, as well as model-to-model transformations for inter-formalism transformation. Moreover, others are used to model the composition of models or even to model the composition of modeling formalisms. These models are then used to facilitate generative tasks in a language engineering space, such as evolving a domain specific modeling formalism as its requirements change, but also in a tool engineering space, such as automatic generation of integrated development environments. The use of ubiquitous explicit models during the whole system design process, from modeling formalism definition to system implementation, allows multiple types of analyses at various levels with great benefits in terms of performance, cost-effectiveness, safety, etc.

The purpose of this workshop is to bring together researchers and practitioners in the area of Multi-Paradigm Modeling in order to identify possible points of synergy, common problems and solutions, tool building aspects and visions for the future of the area.

Topics of interest include, but are not limited to:

Heterogeneous models: multi-domain and multi-physics modeling, multi-view modeling, multi-abstraction modeling;

• Heterogeneity in modeling languages: engineering of the modeling language, modeling
• Models of Computation (MoCs), quality evaluation and usability of modeling languages;
• Multi-Paradigm Modeling techniques: model transformation, model composition and integration, modeling cross-domain interactions, model-based detection of unanticipated interactions in heterogeneous systems, visualization of multi-paradigm models;
• Applications of and experience with current MPM techniques. Non-exhaustive list of domains: healthcare, smart cities, smart homes, automotive, future energy systems, human-computer interaction, etc.

ORGANIZING COMMITTEE

• Daniel Balasubramanian, Vanderbilt University
• Christophe Jacquet, Supelec
• Sahar Kokaly, McMaster University
• Tamas Meszaros, Budapest University of Technology and Economics
• Pieter Van Gorp, Eindhoven University of Technology

PROGRAM COMMITTEE (tentative)

• Mauricio Alferez, INRIA
• Bruno Barroca, Universidade Nova de Lisboa
• Kirstie Bellman, The Aerospace Corporation
• Frederic Boulanger, Supelec
• Didier Buchs, University of Geneva
• Arnaud Cuccuru, CEA LIST
• Juan de Lara, Universidad Autonoma de Madrid
• Joachim Denil, McGill University
• Dirk Deridder, Smals
• Thomas Huining Feng, LinkedIn Corp.
• Holger Giese, Hasso-Plattner-Institut
• Esther Guerra, Universidad Autonoma de Madrid
• Reiko Heckel, University of Leicester
• Wesley Hewett, Lockheed Martin MST
• Steve Hostettler, University of Geneva
• Thomas Kuhne, Victoria University of Wellington
• Levi Lucio, McGill University
• Jose Luis Risco Martin, Universidad Complutense de Madrid at Madrid
• Allan McInnes, University of Canterbury
• Gergely Mezei, Budapest University of Technology and Economics
• Bart Meyers, University of Antwerp
• Mark Minas, University of the Federal Armed Forces
• Chris Paredis, Georgia Tech, Atlanta, Georgia
• Hessam Sarjoughian, Arizona State University
• Srini Srinivasan, Lockheed Martin
• Martin Toerngren, KTH Royal Institute of Technology
• Stefan Van Baelen, iMinds
• Jeroen Voeten, Eindhoven University of Technology
• Bernhard Westfechtel, University of Bayreuth