Model Driven Architecture - Foundations and Applications 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Paige, Richard F. (Επιμελητής έκδοσης), Hartman, Alan (Επιμελητής έκδοσης), Rensink, Arend (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
• Σειρά: Lecture Notes in Computer Science, 5562
• Θέματα: Computer science.; Computer organization.; Computer communication systems.; Software engineering.; Computer logic.; Management information systems.; Computer Science.; Software Engineering/Programming and Operating Systems.; Computer Communication Networks.; Computer Systems Organization and Communication Networks.; Software Engineering.; Logics and Meanings of Programs.; Management of Computing and Information Systems.

This book constitutes the refereed proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications, ECMDA-FA 2009, held in Enschede, The Netherlands, in June 2009. The 23 revised full papers presented - 16 research papers and 7 industry papers - were carefully...

Πίνακας περιεχομένων:

• Creating Embedded Platforms with MDA: Where’s the Sweet Spot?
• Creating Embedded Platforms with MDA: Where’s the Sweet Spot?
• Foundations
• Comparison of Three Model Transformation Languages
• On the Use of Higher-Order Model Transformations
• Managing Model Adaptation by Precise Detection of Metamodel Changes
• A Pattern Mining Approach Using QVT
• A Language-Theoretic View on Guidelines and Consistency Rules of UML
• A Domain Specific Language for Extracting Models in Software Modernization
• Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems
• Derivation and Refinement of Textual Syntax for Models
• Uniform Random Generation of Huge Metamodel Instances
• Establishing Correspondences between Models with the Epsilon Comparison Language
• Dependent and Conflicting Change Operations of Process Models
• Enabling Automated Traceability Maintenance through the Upkeep of Traceability Relations
• Temporal Extensions of OCL Revisited
• An MDA-Based Approach for Behaviour Modelling of Context-Aware Mobile Applications
• A Model Driven Approach to the Analysis of Timeliness Properties
• A Hybrid Graphical and Textual Notation and Editor for UML Actions
• Applications
• Mapping Requirement Models to Mathematical Models in Control System Development
• On Study Results: Round Trip Engineering of Space Systems
• MoPCoM/MARTE Process Applied to a Cognitive Radio System Design and Analysis
• Managing Flexibility: Modeling Binding-Times in Simulink
• Experiences of Developing a Network Modeling Tool Using the Eclipse Environment
• MBT4Chor: A Model-Based Testing Approach for Service Choreographies
• Model-Based Interoperability of Heterogeneous Information Systems: An Industrial Case Study.