7. ECMFA 2011: Birmingham, UK

Robert B. France, Jochen Malte Küster, Behzad Bordbar, Richard F. Paige (Eds.): Modelling Foundations and Applications - 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings. Lecture Notes in Computer Science 6698 Springer 2011, ISBN 978-3-642-21469-1

Keynote

Eric Cariou, Cyril Ballagny, Alexandre Feugas, Franck Barbier:
Contracts for Model Execution Verification. 3-18
Ralf Ellner, Samir Al-Hilank, Johannes Drexler, Martin Jung, Detlef Kips, Michael Philippsen:
A FUML-Based Distributed Execution Machine for Enacting Software Process Models. 19-34
Benoît Combemale, Laure Gonnord, Vlad Rusu:
A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics. 35-51

Jan Jürjens, Loïc Marchal, Martín Ochoa, Holger Schmidt:
Incremental Security Verification for Evolving UMLsec models. 52-68
Ragnhild Van Der Straeten, Jorge Pinna Puissant, Tom Mens:
Assessing the Kodkod Model Finder for Resolving Model Inconsistencies. 69-84
Jerome Le Noir, Olivier Delande, Daniel Exertier, Marcos Aurélio Almeida da Silva, Xavier Blanc:
Operation Based Model Representation: Experiences on Inconsistency Detection. 85-96

Pietro Colombo, Ferhat Khendek, Luigi Lavazza:
Generating Early Design Models from Requirements Analysis Artifacts Using Problem Frames and SysML. 97-114
Tao Yue, Shaukat Ali, Lionel C. Briand:
Automated Transition from Use Cases to UML State Machines to Support State-Based Testing. 115-131
Imran Sarwar Bajwa, Mark G. Lee:
Transformation Rules for Translating Business Rules to OCL Constraints. 132-143

Joel Greenyer, Sebastian Pook, Jan Rieke:
Preventing Information Loss in Incremental Model Synchronization by Reusing Elements. 144-159
Guillaume Doux, Patrick Albert, Gabriel Barbier, Jordi Cabot, Marcos Didonet Del Fabro, Scott Uk-Jin Lee:
An MDE-Based Approach for Solving Configuration Problems: An Application to the Eclipse Platform. 160-171
Thomas Goldschmidt, Axel Uhl:
Incremental Updates for View-Based Textual Modelling. 172-188

Xavier Dolques, Aymen Dogui, Jean-Rémy Falleri, Marianne Huchard, Clémentine Nebut, François Pfister:
Easing Model Transformation Learning with Automatically Aligned Examples. 189-204
Dominik Gessenharter, Martin Rauscher:
Code Generation for UML 2 Activity Diagrams - Towards a Comprehensive Model-Driven Development Approach. 205-220
Martin Gogolla, Antonio Vallecillo:
Tractable Model Transformation Testing. 221-235

Razieh Behjati, Tao Yue, Shiva Nejati, Lionel C. Briand, Bran Selic:
Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling. 236-252
Andreas Svendsen, Øystein Haugen, Birger Møller-Pedersen:
Analyzing Variability: Capturing Semantic Ripple Effects. 253-269
Marie Ludwig, Nicolas Farcet, Jean-Philippe Babau, Joël Champeau:
Integrating Design and Runtime Variability Support into a System ADL. 270-281

Maged Elaasar, Lionel C. Briand, Yvan Labiche:
Domain-Specific Model Verification with QVT. 282-298
Vaibhav Jain, Anshul Kumar, Preeti Ranjan Panda:
A SysML Profile for Development and Early Validation of TLM 2.0 Models. 299-311
Rolf-Helge Pfeiffer, Andrzej Wasowski:
Taming the Confusion of Languages. 312-328

Stephen Barrett, Patrice Chalin, Greg Butler:
Table-Driven Detection and Resolution of Operation-Based Merge Conflicts with Mirador. 329-344
Antonio Vallecillo:
Improving Naming and Grouping in UML. 345-360
Mauricio Alférez, Nuno Amálio, Selim Ciraci, Franck Fleurey, Jörg Kienzle, Jacques Klein, Max E. Kramer, Sébastien Mosser, Gunter Mussbacher, Ella E. Roubtsova, Gefei Zhang:
Aspect-Oriented Model Development at Different Levels of Abstraction. 361-376

Ralf-Detlef Kutsche, Nikola Milanovic:
MBSDI 2011 3rd International Workshop on Model-Based Software and Data Integration. 377-378
Jordi Cabot, Patrick Albert, Grégoire Dupé, Marcos Didonet Del Fabro, Scott Uk-Jin Lee:
MELO 2011 - 1st Workshop on Model-Driven Engineering, Logic and Optimization. 379-380
Ella E. Roubtsova, Ashley T. McNeile, Ekkart Kindler, Mehmet Aksit:
The Third Workshop on Behaviour Modelling - Foundations and Applications. 381-382
Reda Bendraou, Rédouane Lbath, Bernard Coulette, Marie-Pierre Gervais:
Process-Centred Approaches for Model-Driven Engineering (PMDE) - First Edition. 383-384
Goetz Botterweck, Andreas Pleuss, Julia Rubin, Christa Schwanninger:
Third International Workshop on Model-Driven Product Line Engineering (MDPLE 2011). 385-386

Bernhard Rumpe, Martin Schindler, Steven Völkel, Ingo Weisemöller:
Agile Development with Domain Specific Languages. 387-388
Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró:
Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery. 389-390
Dimitrios S. Kolovos, Richard F. Paige, Louis M. Rose, James R. Williams:
Integrated Model Management with Epsilon. 391-392
Juha-Pekka Tolvanen:
Creating Domain-Specific Modelling Languages That Work: Hands-On. 393-394

Last update Sat May 18 18:25:38 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page