Modelling Foundations and Applications

The 2010 European Conference on Modelling Foundations and Applications (ECMFA 2010) was dedicated to assessing the state of the art and the state of the practice in model-based engineering. It was the sixth edition in the - ries of conferences previously known under the title European Conference on Model-DrivenArchitecture FoundationsandApplications(ECMDA-FA). The name changere?ects the de facto broadening of the conference scope beyondthe R R MDA initiative of the Object Management Group to cover all major advances related to model-based engineering approaches. These proceedings, like the ones from previous editions in the conference series, will undoubtedly serve as a reference to all who follow model-based engineering theory and practice. The included papers document the steady e- lution of model-based development methods into a mature discipline, with we- established standards, industrial-strength tools, and emerging theoretical fo- dations. They also serve to illustrate that model-based approaches are capable of signi?cantproductivity andquality improvementsrelativeto moretraditional development methods.

Up-to-date results Fast track conference proceedings State-of-the-art report

Klappentext

This book constitutes the proceedings of the 6th European Conference on Modelling Foundations and Applications, held in Paris, France, in June 2010.

Inhalt
Orthographic Software Modelling: A Novel Approach to View-Based Software Engineering.- The Good, the Bad and the Ugly: Experiences with Model Driven Development in Large Scale Projects at Ericsson.- Comparing Approaches to Implement Feature Model Composition.- A UML 2.0 Profile to Model Block Cipher Algorithms.- Towards Model Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling Tools.- Aspect-Oriented Business Process Modeling with AO4BPMN.- A Reflective Approach to Model-Driven Web Engineering.- Requirements Analysis and Modeling with Problem Frames and SysML: A Case Study.- Generative Technologies for Model Animation in the TopCased Platform.- Model-Driven Engineering of Machine Executable Code.- eSPEM A SPEM Extension for Enactable Behavior Modeling.- Adding Abstraction and Reuse to a Network Modelling Tool Using the Reuseware Composition Framework.- Model-Based Development of Automotive Electronic Climate Control Software.- Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search.- Model Search: Formalizing and Automating Constraint Solving in MDE Platforms.- MoPCoM Methodology: Focus on Models of Computation.- Dynamic Computation of Change Operations in Version Management of Business Process Models.- Detecting Inconsistencies in Multi-View Models with Variability.- A Model-Based Method for Evaluating Embedded System Performance by Abstraction of Execution Traces.- Concordance: A Framework for Managing Model Integrity.- An Integrated Facet-Based Library for Arbitrary Software Components.- Precise Specification of Design Pattern Structure and Behaviour.- Coping with Variability in Model-Based Systems Engineering: An Experience in Green Energy.- On the Combination of Domain Specific Modeling Languages.- JointLanguage and Domain Engineering.- An Automated Approach to Transform Use Cases into Activity Diagrams.