Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings

Front Matter....Pages -
Model-Driven Development of Mobile Applications Allowing Role-Driven Variants....Pages 1-17
A Model-Based System to Automate Cloud Resource Allocation and Optimization....Pages 18-34
An Evaluation of the Effectiveness of the Atomic Section Model....Pages 35-49
Parsing in a Broad Sense....Pages 50-67
Streaming Model Transformations By Complex Event Processing....Pages 68-83
On the Use of Signatures for Source Incremental Model-to-text Transformation....Pages 84-98
Modeling Systemic Behavior by State-Based Holonic Modular Units....Pages 99-115
Semantic Model Differencing Utilizing Behavioral Semantics Specifications....Pages 116-132
Formalizing Execution Semantics of UML Profiles with fUML Models....Pages 133-148
Who Knows/Uses What of the UML: A Personal Opinion Survey....Pages 149-165
Assessing the State-of-Practice of Model-Based Engineering in the Embedded Systems Domain....Pages 166-182
The Relevance of Model-Driven Engineering Thirty Years from Now....Pages 183-200
Model-Driven Verifying Compilation of Synchronous Distributed Applications....Pages 201-217
Environment-Centric Contracts for Design of Cyber-Physical Systems....Pages 218-234
Removing Redundancies and Deducing Equivalences in UML Class Diagrams....Pages 235-251
A Native Versioning Concept to Support Historized Models at Runtime....Pages 252-268
Modelling Adaptation Policies as Domain-Specific Constraints....Pages 269-285
Scalable Armies of Model Clones through Data Sharing....Pages 286-301
Three Cases of Feature-Based Variability Modeling in Industry....Pages 302-319
Supporting Multiplicity and Hierarchy in Model-Based Configuration: Experiences and Lessons Learned....Pages 320-336
Propagating Decisions to Detect and Explain Conflicts in a Multi-step Configuration Process....Pages 337-352
An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink....Pages 353-369
A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes....Pages 370-385
Model-Integrating Software Components....Pages 386-402
Experiences in Applying Model Driven Engineering to the Telescope and Instrument Control System Domain....Pages 403-419
Model Driven Grant Proposal Engineering....Pages 420-432
Agile Model-Driven Engineering in Mechatronic Systems - An Industrial Case Study....Pages 433-449
Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg’s Tax Law....Pages 450-466
Resolution of Interfering Product Fragments in Software Product Line Engineering....Pages 467-483
Ontology-Based Modeling of Context-Aware Systems....Pages 484-500
Comprehending Feature Models Expressed in CVL....Pages 501-517
On the Impact of Layout Quality to Understanding UML Diagrams: Size Matters....Pages 518-534
Enabling the Development of Cognitive Effective Visual DSLs....Pages 535-551
JUMP—From Java Annotations to UML Profiles....Pages 552-568
SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations....Pages 569-585
A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence....Pages 586-601
Automated Chaining of Model Transformations with Incompatible Metamodels....Pages 602-618
Classification of Model Transformation Tools: Pattern Matching Techniques....Pages 619-635
Learning Implicit and Explicit Control in Model Transformations by Example....Pages 636-652
IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud....Pages 653-669
Translating OCL to Graph Patterns....Pages 670-686
Back Matter....Pages -