Amaral, Vasco

Hardebolle, Cecile

Laszlo, Lengyel

Vangheluwe, Hans

English

Electronic Communications of the EASST (European Association of Software Science and Technology)

Electronic Communications of the EASSTVolume 42 (2011)Proceedings of the4th International Workshop onMulti-Paradigm Modeling(MPM 2010)PrefaceVasco Amaral, Hans Vangheluwe, Cécile Hardebolle, Ĺaszĺo Lengyel4 pagesGuest Editors: Vasco Amaral, Hans Vangheluwe, Cécile Hardebolle, Lazlo LengyelManaging Editors: Tiziana Margaria, Julia Padberg, Gabriele TaentzerECEASST Home Page: http://www.easst.org/eceasst/ ISSN 1863-2122ECEASSTPrefaceVasco Amaral1, Hans Vangheluwe23, Cécile Hardebolle4, Lászĺo Lengyel5Universidade Nova de Lisboa, Portugal, vasco.amaral@di.fct.unl.pt1University of Antwerp, Belgium,hans.vangheluwe@ua.ac.be2McGill University, Montŕeal, Queb́ec, Canada, hv@cs.mcgill.ca3Suṕelec, France, cecile.hardebolle@supelec.fr4Budapest University of Technology and Economics, Hungary, lengyel@aut.bme.hu5Multi-Paradigm Modelling (MPM) is a research field focused on solving the callenge ofcombining, coupling, and integrating rigorous models of some reality, at different levels of ab-straction and views, using adequate modelling formalisms and semantic domains, with the goalto simulate (for optimization) or realize systems that may be physical, software ora c mbina-tion of both. Ultimately this research should lead to a unified discipline with supporting toolsand clear systematic approaches. The key challenges are finding adequate Model Abstractions,Multi-formalism modelling, Model Transformation and the application of MPM techniques andtools to Complex Systems. MPM theories/methods/technologies have been successf lly appliedin the field of software architectures, control system design, model integrated computing, andtool interoperability.This volume of ECEASST presents the contributions of the 4th Workshop on Multi-ParadigmModeling 2010 held as a satellite event of MoDELS 2010 in Oslo, Norway. Confirming the ten-dency of previous editions, the workshop has experienced a steady growth. More than 40 peoplehave participated in this workshop. Reflecting the nature of MPM, the audience was composedof researchers from diverse fields of research ranging from theoretical Computer Science todomain-experts (cybernetics, mechanical engineering, embedded system , . . . ). This varietyled to productive cross-disciplinary discussions. This years workshop had 18 submissions. Thereview process counted with 3 to 5 reviewers per paper. Eight contributions were accepted asfull papers with a presentation time of 20 minutes and five were considered short papers with15 minutes presentations. From the reviews, both the high quality of the contributions and theprogress made during the last year in MPM research were visible. The papers presented at theworkshop approached a wide range of topics within MPMs concerns as we will summarize inthe next page.1 / 4 Volume 42 (2011)PrefaceMegamodelling - The topic of Megamodels (or macromodels) first introduced by Favre andBzivin is surveyed in the paper by Hebig, Seibel and Giese that proposes a its core definition.Transformations The work by Asztalos, Syriani, Wimmer and Kessentini (one of the twobest papers award) focused on the issue of transformation rule composition. The authors discussthe possibility of generating a single transformation derived from a chain oftransformations inthe context of PIM and PSM models when model evolution occurs. An exampleapplicationpresented is the transformation of UML models into EJB 2.0 and then to EJB 3.0. There wasalso in this workshop a work by Aranega, V., Etien, A., Dekeyser, that highlights the limitationsof the traceability mechanism of QVT through different scenarios.Model Debugging - The paper by T. Levendovsky presents a novel way to develop modeltransformations in an interactive fashion, where the modeller is able to selectthe model elementsfor the transformation, pause the transformation engine at run-time, analyse its results, and evenchange the matched patterns for the further transformation steps. This technique can be veryuseful for refactoring operations and application of design patterns.Verification and Optimization - The paper by Kerzhner and Paredis (one of the two best pa-pers award) presents a discussion on how to verify and optimize design alternativ s with respectto system Engineering design requirements. This is achieved by means of automated generationof analyses from formal models expressed in OMG SysUML on the system engineering mod-els. The approach is demonstrated on the design of a hydraulic subsystem.Another paper, byHerold, presents an approach for checking architectural compliance of different kinds of artefactscreated in the development of component-based systems. For that purpose, the authors use firstorder logic in their approach. A case study on Checking Architectural Layers for the purposeof quality assurance is presented. Yet another work in this topic by Astaloset. al. outlines apossible approach for verifying automatically declarative descriptions ofGraph Rewriting-basedModel Transformations. Finally, a paper by Straeten, presents a strategy for specifying semanticsof a DSM through properties expressed already in the used DSL.Multi-Formalism Composition/Integration - Braatz and Brandt discuss a possible techniquefor integrating heterogenous DSMLs by means of rule-based transformati ns. Examples of avisual DSML for IT and a DSML for firewall configurations are presented.Model Evolution - Motivated by the problem of both Model and Metamodel evolution andthe need of migrating instance models Meyers, Wimmer, Cichetti and Sprinkle discuss a newtechnique to guide the user in solving migration issues in a step-wise manner by means of in-place transformations.Practical Case Studies- The paper by Zellag and Vangheluwe presents a DSL for the purposeof modelling and simulation of multitier systems. By using graph transformations the instancemodels in the referred DSL are translated into Queuing Petri Nets(QPNs) models which can beanalysed and simulated by the SimQPN tool simulator.Acknowledgements: This workshop would not been possible without the help of many people.Therefore, we would like to thank the Steering and Program Committee for helping with ourorganizational work, CITI at FCT/UNL Lisbon for the financial support, and the Organizers ofMoDELS 2010. We are also indebted to Gabi Taentzer, and ECEASST formaking this volumepossible. Last, but not least, we would like thank the authors and the participnts of the workshopfor the contributions to the event and the field.Proc. MPM 2010 2 / 4ECEASSTMPM 2010 Program Committee• Antonio Vallecillo, Universidad de Ḿalaga• Bernhard Westfechtel, University of Bayreuth• Bruno Barroca, Universidade Nova de Lisboa• Cécile Hardebolle, Suṕelec• Chris Paredis, Georgia Tech• Christophe Jacquet, Supélec• Didier Buchs,University of Geneva• Dirk Deridder, Free University of Brussels• Esther Guerra, Universidad Carlos III de Madrid• Eugene Syriani, McGill University• Franck Fleurey, SINTEF• Frdric Boulanger, Suṕelec• Gabriela Nicolescu, Polytechnique Montral• Gergely Mezei, Budapest University of Technology and Economics• Hans Vangheluwe, McGill University and University of Antuerp• Hessam Sarjoughian, Arizona State University• Holger Giese, Hasso-Plattner-Institut• Jeff Gray, University of Alabama• Jeroen Voeten, Eindhoven University of Technology• Jonathan Sprinkle, University of Arizona• Jos Luis Mart́ın, Universidad Complutense de Madrid• Juan de Lara, Universidad Autonoma de Madrid• Laurent Safa, Silver Egg Technology• Lászĺo Lengyel, Budapest University of Technology and Economics• Levi Lúcio, University of Luxembourg• Luı́s Pedro, DAuriol Assets• Mamadou K. Traoŕe, FR Sciences et Technologies• Manuel Wimmer, Vienna University of Technology• Mark Minas, University of the Federal Armed Forces• Martin Toerngren, KTH Royal Institute of Technology• Matteo Risoldi, University of Geneva• Mirko Conrad, The MathWorks• Peter Bunus, Linkoping University3 / 4 Volume 42 (2011)Preface• Pieter van Gorp, Eindhoven University of Technology• Reiko Heckel, University of Leicester• Stefan Van Baelen, K.U. Leuven• Steve Hostettler, University of Geneva• Thomas Feng, Oracle• Thomas K̈uhne, Victoria University of Wellington• Vasco Amaral, Universidade Nova de LisboaProc. MPM 2010 4 / 4

MPM 2010 Preface

https://journal.ub.tu-berlin.de/eceasst/article/download/675/694

MPM 2010 Preface

Abstract

Similar works

Full text

Available Versions

Electronic Communications of the EASST (European Association of Software Science and Technology)