Model Driven Engineering Languages and Systems: 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proce [Paperback]

This book constitutes the refereed proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012, held in Innsbruck, Austria, in September/October 2012.The 50 papers presented in this volume were carefully reviewed and selected from a total of 181 submissions. They are organized in topical sections named: metamodels and domain specific modeling; models at runtime; model management; modeling methods and tools, consistency analysis, software product lines; foundations of modeling; static analysis techniques; model testing and simulation; model transformation; model matching, tracing and synchronization; modeling practices and experience; and model analysis.Quantitative Reactive.- Bottom-Up Meta-Modelling: An Interactive.-T_: A Domain Specific Language for Rapid Workflow.- Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time.- Dynamic Evolution of Context-Aware Systems with Models at Runtime.-An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements.- Automated and Transparent Model Fragmentation for Persisting Large Models.- Formally Defining and Iterating Infinite Models.- Query-Driven Soft Interconnection of EMF Models.- Modeling the Linguistic Architecture of Software Products.- Cross-Language Support Mechanisms Significantly Aid Software Development.- Do Professional Developers Benefit from Design Pattern Documentation? A Replication in the Context of Source Code Comprehension.- Incremental Consistency Checking for Complex Design Rules and Larger Model Changes.- Evaluating the Impact of Aspects on Inconsistency Detection Effort: A Controlled Experiment.- On Integrating Structure and Behavior Modeling with OCL.- Multi-perspectives on Feature Models.- Generating Better Partial Covering Arrays by Modeling Weights onSub-product Lines.- Towards Business Application Product Lines.-Inter-association Constraints in UML2: Comparative Analysis, UsageRecommendations, and MlóÉ