Model Driven Architecture - Foundations and Applications

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.

Klappentext

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.

Inhalt

Research Session.- The Epsilon Generation Language.- Constructing and Visualizing Transformation Chains.- Towards Roundtrip Engineering - A Template-Based Reverse Engineering Approach.- Annotation Framework Validation Using Domain Models.- Prototyping Visual Interpreters and Debuggers for Domain-Specific Modelling Languages.- Data Flow Analysis of UML Action Semantics for Executable Models.- From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations.- A Practical MDA Approach for Autonomic Profiling and Performance Assessment.- Ladder Metamodeling and PLC Program Validation through Time Petri Nets.- Array OL Descriptions of Repetitive Structures in VHDL.- Textual Modelling Embedded into Graphical Modelling.- Classification of Concrete Textual Syntax Mapping Approaches.- Metamodel Syntactic Sheets: An Approach for Defining Textual Concrete Syntaxes.- Graphical Concrete Syntax Rendering with SVG.- Semantics Preservation of Sequence Diagram Aspects.- Generic Reusable Concern Compositions.- Modeling Human Aspects of Business Processes - A View-Based, Model-Driven Approach.- A Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol.- Model-Driven Platform-Specific Testing through Configurable Simulations.- Testing Metamodels.- A Metamodeling Approach for Reasoning about Requirements.- Industrial Session.- Model-Driven Security in Practice: An Industrial Experience.- Supporting the UML State Machine Diagrams at Runtime.- Model-Based Generation of Interlocking Controller Software from Control Tables.- Model-Driven Simulation of a Maritime Surveillance System.- Towards Utilizing Model-Driven Engineering of Composite Applications for Business Performance Analysis.- From Business Architecture to SOA Realization Using MDD.- Realizing an MDA and SOA Marriage for the Development of Mobile Services.- A Survey about the Intent to Use Visual Defect Annotations for Software Models.- MDA-Based Methodologies: An Analytical Survey.- Where Is the Proof? - A Review of Experiences from Applying MDE in Industry.