Model Driven Architecture - Foundations and Applications: 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings (Lecture Notes in Computer Science, 5095)

This book constitutes the refereed proceedings of the 4th European Conference on Model Driven Architecture - Foundations and Applications, ECMDA-FA 2008, held in Berlin, Germany, in June 2008. The 31 revised full papers presented - 21 research papers and 10 industry papers - were carefully reviewed and selected from 87 submissions. The papers address all current issues of model-driven architecture, i.e. model management, executable models, concrete syntaxes, aspects, and concerns, validation and testing, model-based systems engineering, model-driven development and service-oriented architectures, and the application of model-driven development. The papers are organized in topical sections on model management, executable models, concrete syntaxes, aspects and concerns, validation and testing, model-based systems engineering, model-driven development and service-oriented architectures, as well as surveys on applying model-driven development. Front Matter....Pages - Semantics Preservation of Sequence Diagram Aspects....Pages 215-230 Generic Reusable Concern Compositions....Pages 231-245 Modeling Human Aspects of Business Processes – A View-Based, Model-Driven Approach....Pages 246-261 A Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol....Pages 262-277 Model-Driven Platform-Specific Testing through Configurable Simulations....Pages 278-293 Testing Metamodels....Pages 294-309 The Epsilon Generation Language....Pages 1-16 Constructing and Visualizing Transformation Chains....Pages 17-32 Towards Roundtrip Engineering - A Template-Based Reverse Engineering Approach....Pages 33-47 Annotation Framework Validation Using Domain Models....Pages 48-62 Prototyping Visual Interpreters and Debuggers for Domain-Specific Modelling Languages....Pages 63-78 Data Flow Analysis of UML Action Semantics for Executable Models....Pages 79-93 From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations....Pages 94-109 A Practical MDA Approach for Autonomic Profiling and Performance Assessment....Pages 110-120 Ladder Metamodeling and PLC Program Validation through Time Petri Nets....Pages 121-136 Array OL Descriptions of Repetitive Structures in VHDL....Pages 137-152 Textual Modelling Embedded into Graphical Modelling....Pages 153-168 Classification of Concrete Textual Syntax Mapping Approaches....Pages 169-184 Metamodel Syntactic Sheets: An Approach for Defining Textual Concrete Syntaxes....Pages 185-199 Graphical Concrete Syntax Rendering with SVG....Pages 200-214 A Metamodeling Approach for Reasoning about Requirements....Pages 310-325 Model-Driven Security in Practice: An Industrial Experience....Pages 326-337 Supporting the UML State Machine Diagrams at Runtime....Pages 338-348 Model-Based Generation of Interlocking Controller Software from Control Tables....Pages 349-360 Model-Driven Simulation of a Maritime Surveillance System....Pages 361-368 Towards Utilizing Model-Driven Engineering of Composite Applications for Business Performance Analysis....Pages 369-380 From Business Architecture to SOA Realization Using MDD....Pages 381-392 Realizing an MDA and SOA Marriage for the Development of Mobile Services....Pages 393-405 A Survey about the Intent to Use Visual Defect Annotations for Software Models....Pages 406-418 MDA-Based Methodologies: An Analytical Survey....Pages 419-431 Where Is the Proof? - A Review of Experiences from Applying MDE in Industry....Pages 432-443 Back Matter....Pages - The fourth edition of the European Conference on Model-Driven Architecture – Foundations and Applications (ECMDA-FA 2008) was dedicated to furthering the state of knowledge and fostering the industrialization of the model-driven architecture (MDA) methodology. MDA is an initiative proposed by the - ject Management Group (OMG) for platform-generic software development. It promotes the use of models in the speci?cation, design, analysis, synthesis, - ployment, and evolution of complex software systems. ECMDA-FA 2008 focused on engaging key European and international - searchers and practitioners in a dialogue which will result in a stronger, more e?cientindustry,producingmorereliablesoftwareonthebasisofstate-of-the-art research results. ECMDA-FA is a forum for exchanging information, discussing the latest results and arguing about future developments of MDA. It is a pleasure to be able to introduce the proceedings of ECMDA-FA 2008. ECMDA-FA addresses various MDA areas including model management, e- cutable models, concrete syntaxes, aspects and concerns, validation and te- ing, model-based systems engineering, model-driven development and servi- oriented architectures, and the application of model-driven development. Therearesomanypeople whodeservewarmthanksandgratitude.The fru- ful collaboration of the Organization, Steering and Program Committee m- bersandthevibrantcommunityledtoasuccessfulconference:ECMDA-FA2008 obtainedexcellentresultsintermsofsubmissions,programsize,andattendance. The Program Committee accepted, with the help of additional reviewers, research papers and industry papers for ECMDA-FA 2008: We received 87 s- missions. Of these, a total of 31 were accepted including 21 research papers and 10 industry papers. We thank them for the thorough and high-quality selection process. Ina Schieferdecker, Alan Hartman (eds.). Includes Bibliographical References And Index.