Full Description
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.
Contents
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.
