This book constitutes the proceedings of the 6th European Conference on Modelling Foundations and Applications, held in Paris, France, in June 2010.
Author(s): Colin Atkinson (auth.), Thomas Kühne, Bran Selic, Marie-Pierre Gervais, François Terrier (eds.)
Series: Lecture Notes in Computer Science 6138 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2010
Language: English
Pages: 364
Tags: Software Engineering; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Computer Communication Networks; Management of Computing and Information Systems; Programming Techniques
Front Matter....Pages -
Orthographic Software Modelling: A Novel Approach to View-Based Software Engineering....Pages 1-1
The Good, the Bad and the Ugly: Experiences with Model Driven Development in Large Scale Projects at Ericsson....Pages 2-2
Comparing Approaches to Implement Feature Model Composition....Pages 3-19
A UML 2.0 Profile to Model Block Cipher Algorithms....Pages 20-31
Towards Model Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling Tools....Pages 32-47
Aspect-Oriented Business Process Modeling with AO4BPMN....Pages 48-61
A Reflective Approach to Model-Driven Web Engineering....Pages 62-73
Requirements Analysis and Modeling with Problem Frames and SysML: A Case Study....Pages 74-89
Generative Technologies for Model Animation in the TopCased Platform....Pages 90-103
Model-Driven Engineering of Machine Executable Code....Pages 104-115
eSPEM – A SPEM Extension for Enactable Behavior Modeling....Pages 116-131
Adding Abstraction and Reuse to a Network Modelling Tool Using the Reuseware Composition Framework....Pages 132-143
Model-Based Development of Automotive Electronic Climate Control Software....Pages 144-155
Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search....Pages 156-172
Model Search: Formalizing and Automating Constraint Solving in MDE Platforms....Pages 173-188
MoPCoM Methodology: Focus on Models of Computation....Pages 189-200
Dynamic Computation of Change Operations in Version Management of Business Process Models....Pages 201-216
Detecting Inconsistencies in Multi-View Models with Variability....Pages 217-232
A Model-Based Method for Evaluating Embedded System Performance by Abstraction of Execution Traces....Pages 233-244
Concordance: A Framework for Managing Model Integrity....Pages 245-260
An Integrated Facet-Based Library for Arbitrary Software Components....Pages 261-276
Precise Specification of Design Pattern Structure and Behaviour....Pages 277-292
Coping with Variability in Model-Based Systems Engineering: An Experience in Green Energy....Pages 293-304
On the Combination of Domain Specific Modeling Languages....Pages 305-320
Joint Language and Domain Engineering....Pages 321-336
An Automated Approach to Transform Use Cases into Activity Diagrams....Pages 337-353
Back Matter....Pages -
