Ausgabe 2/2015
Inhalt (28 Artikel)
In memory of Robert B. France, Co-Founder and Editor-in-Chief of SoSyM from 1999 to 2015
- Editorial
Marsha Chechik, Geri Georg, Martin Gogolla, Jean-Marc Jezequel, Bernhard Rumpe, Martin Schindler
Guest editorial to the special section on model transformation
- Guest Editorial
Zhenjiang Hu, Juan de Lara
Reuse in model-to-model transformation languages: are we there yet?
- Theme Section Paper
A. Kusel, J. Schönböck, M. Wimmer, G. Kappel, W. Retschitzegger, W. Schwinger
Constraint-driven modeling through transformation
- Special Section Paper
Andreas Demuth, Roberto Erick Lopez-Herrejon, Alexander Egyed
An algorithm for generating model-sensitive search plans for pattern matching on EMF models
- Special Section Paper
Gergely Varró, Frederik Deckwerth, Martin Wieber, Andy Schürr
Specification-driven model transformation testing
- Special Section Paper
Esther Guerra, Mathias Soeken
Enhancing classic transformation languages to support multi-level modeling
- Special Section Paper
Colin Atkinson, Ralph Gerbig, Christian Vjekoslav Tunjic
Special section of SoSyM dedicated to 50 years of Petri nets
- Editorial
Robert France, Bernhard Rumpe
Business process management as the “Killer App” for Petri nets
- Special Section Paper
W. M. P. van der Aalst
Petri nets for the control of discrete event systems
- Special Section Paper
Alessandro Giua, Carla Seatzu
VPML: an approach to detect design patterns of MOF-based modeling languages
- Regular Paper
Maged Elaasar, Lionel C. Briand, Yvan Labiche
Deontic BPMN: a powerful extension of BPMN with a trusted model transformation
- Regular Paper
Christine Natschläger, Felix Kossak, Klaus-Dieter Schewe
ESUML-EAF: a framework to develop an energy-efficient design model for embedded software
- Regular Paper
Doo-Hwan Kim, Jang-Eui Hong
Extending the UML use case metamodel with behavioral information to facilitate model analysis and interchange
- Regular Paper
Mohammed Misbhauddin, Mohammad Alshayeb
Formal synthesis of application and platform behaviors of embedded software systems
- Regular Paper
Jinhyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee, Sungwon Kang
From subsets of model elements to submodels
- Regular Paper
Bernard Carré, Gilles Vanwormhoudt, Olivier Caron
Mashup of metalanguages and its implementation in the Kermeta language workbench
- Regular Paper
Jean-Marc Jézéquel, Benoit Combemale, Olivier Barais, Martin Monperrus, François Fouquet
A generic model decomposition technique and its application to the Eclipse modeling framework
- Regular Paper
Qin Ma, Pierre Kelsen, Christian Glodt
AuRUS: explaining the validation of UML/OCL conceptual schemas
- Regular Paper
Guillem Rull, Carles Farré, Anna Queralt, Ernest Teniente, Toni Urpí
Formal verification of QVT transformations for code generation
- Regular Paper
Kurt Stenzel, Nina Moebius, Wolfgang Reif
A survey of approaches for verifying model transformations
- Regular Paper
Lukman Ab. Rahim, Jon Whittle
Distributed implementation of message sequence charts
- Regular Paper
Rouwaida Abdallah, Loïc Hélouët, Claude Jard
