Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.
You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.
After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.
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.
Content Level »Research
Keywords »MDA - aspect-oriented modeling - code generation - component-based systems - distributed systems - domain specific languages - embedded systems - evaluation criteria - executable modeling - formal verification - metamodeling - model checking - model driven developmen - testing - validation
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.