Model-Driven Engineering Languages and Systems

Cloud, Mobile and Web Computing.- Model-Driven Development of Mobile Applications Allowing Role-Driven Variants.- A Model-Based System to Automate Cloud Resource Allocation and Optimization.- An Evaluation of the Effectiveness of the Atomic Section Model.- Model Transformation 1.- Parsing in a Broad Sense.- Streaming Model Transformations by Complex Event Processing.- On the Use of Signatures for Source Incremental Model-to-text Transformation.- Behavioral Modeling.- Modeling Systemic Behavior by State-Based Holonic Modular Units.- Semantic Model Differencing Utilizing Behavioral Semantics Specifications.- Formalizing Execution Semantics of UML Profiles with fUML Models.- MDE: Past, Present and Future.-Who Knows/Uses What of the UML: A Personal Opinion Survey.- Assessing the State-of-Practice of Model-Based Engineering in the Embedded Systems Domain.- The Relevance of Model-Driven Engineering Thirty Years from Now.- Formal Semantics, Specification and Verification.- Verifying Compilation of Synchronous Distributed Applications.- Environment-Centric Contracts for Design of Cyber-Physical Systems.- Removing Redundancies and Deducing Equivalences in UML Class Diagrams.- Models at Runtime.- A Native Versioning Concept to Support Historized Models at Runtime.- Modelling Adaptation Policies as Domain-Specific Constraints.- Scalable Armies of Model Clones through Data Sharing.- Feature and Variability Modeling.- Three Cases of Feature-Based Variability Modeling in Industry.- Supporting Multiplicity and Hierarchy in Model-Based Configuration: Experiences and Lessons Learned.- Propagating Decisions to Detect and Explain Conflicts in a Multi-step Configuration Process.- Composition and Adaptation.- An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink.- A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes.- Model-Integrating Software Components.- Practices and Experience.- Experiences in