Modelling foundations and applications : 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings / Antonio Vallecillo [and others] (eds.).

Executable UML: From Multi-domain to Multi-core / Ed Seidewitz -- Models Meeting Automotive Design Challenges / Henrik Lönn -- A Commutative Model Composition Operator to Support Software Adaptation / Sébastien Mosser, Mireille Blay-Fornarino and Laurence Duchien -- Comparative Study of Model-Based and Multi-Domain System Engineering Approaches for Industrial Settings / Anjelika Votintseva, Petra Witschel, Nikolaus Regnat and Philipp Emanuel Stelzig -- Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations / Mirco Kuhlmann and Martin Gogolla -- Model Interchange Testing: A Process and a Case Study / Maged Elaasar and Yvan Labiche -- An Internal Domain-Specific Language for Constructing OPC UA Queries and Event Filters / Thomas Goldschmidt and Wolfgang Mahnke -- Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing / Lionel Briand, Yvan Labiche and Yanhua Liu -- Model Transformations for Migrating Legacy Models: An Industrial Case Study / Gehan M.K. Selim, Shige Wang, James R. Cordy and Juergen Dingel -- Derived Features for EMF by Integrating Advanced Model Queries / István Ráth, Ábel Hegedüs and Dániel Varró -- A Lightweight Approach for Managing XML Documents with MDE Languages / Dimitrios S. Kolovos, Louis M. Rose, James Williams, Nicholas Matragkas and Richard F. Paige -- Bridging the Gap between Requirements and Aspect State Machines to Support Non-functional Testing: Industrial Case Studies / Tao Yue and Shaukat Ali -- Badger: A Regression Planner to Resolve Design Model Inconsistencies / Jorge Pinna Puissant, Ragnhild Van Der Straeten and Tom Mens -- Aspect-Oriented Modeling of Mutual Exclusion in UML State Machines / Gefei Zhang -- TexMo: A Multi-language Development Environment / Rolf-Helge Pfeiffer and Andrzej Wąsowski -- On-the-Fly Emendation of Multi-level Models / Colin Atkinson, Ralph Gerbig and Bastian Kennel -- Specifying Refinement Relations in Vertical Model Transformations / Jan Rieke and Oliver Sudmann -- Model-Based Automated and Guided Configuration of Embedded Software Systems / Razieh Behjati, Shiva Nejati, Tao Yue, Arnaud Gotlieb and Lionel Briand -- Lightweight String Reasoning for OCL / Fabian Büttner and Jordi Cabot -- Domain-Specific Textual Meta-Modelling Languages for Model Driven Engineering / Juan de Lara and Esther Guerra -- Metamodel Based Methodology for Dynamic Component Systems / Gabor Batori, Zoltan Theisz and Domonkos Asztalos -- Bidirectional Model Transformation with Precedence Triple Graph Grammars / Marius Lauder, Anthony Anjorin, Gergely Varró and Andy Schürr -- A Timed Automata-Based Method to Analyze EAST-ADL Timing Constraint Specifications / Tahir Naseer Qureshi, De-Jiu Chen and Martin Törngren -- Code Generation Nirvana / Petr Smolik and Pavel Vitkovsky -- A Plug-in Based Approach for UML Model Simulation / Alek Radjenovic, Richard F. Paige, Louis M. Rose, Jim Woodcock and Steve King -- MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems / Alek Radjenovic, Nicholas Matragkas, Richard F. Paige, Matteo Rossi and Alfredo Motta, et al. -- Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems / Ning Ge and Marc Pantel -- Unification of Compiled and Interpreter-Based Pattern Matching Techniques / Gergely Varró, Anthony Anjorin and Andy Schürr -- OCL-Based Runtime Monitoring of Applications with Protocol State Machines / Lars Hamann, Oliver Hofrichter and Martin Gogolla -- On Model Subtyping / Clément Guy, Benoît Combemale, Steven Derrien, Jim R.H. Steel and Jean-Marc Jézéquel -- BOB the Builder: A Fast and Friendly Model-to-PetriNet Transformer / Ulrich Winkler, Mathias Fritzsche, Wasif Gilani and Alan Marshall -- Solving Acquisition Problems Using Model-Driven Engineering / Frank R. Burton, Richard F. Paige, Louis M. Rose, Dimitrios S. Kolovos and Simon Poulding, et al.

Includes bibliographical references and author index.

Online resource; title from PDF title page (SpringerLink, viewed January 23, 2013).

This book constitutes the refereed proceedings of the 8th European Conference on Modelling Foundations and Applications, held in Kgs. Lyngby, Denmark, in July 2012. The 20 revised full foundations track papers and 10 revised full applications track papers presented were carefully reviewed and selected from 81 submissions. Papers on all aspects of MDE were received, including topics such as architectural modelling and product lines, code generation, domain-specic modeling, metamodeling, model analysis and verication, model management, model transformation and simulation. The breadth of topics, as well as the high quality of the results presented in these accepted papers, demonstrate the maturity and vibrancy of the field.