Model driven engineering languages and systems : 12th international conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009 : proceedings /cAndy Schürr, Brian Selic (eds.)

This book constitutes the refereed proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2009, held in Denver, CO, USA, during October 4-9, 2009. The 45 revised full papers and 13 short papers presented were carefully reviewed and selected from 248 submissions. The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. The papers are organized in topical sections on (meta- )model Modeling and Management, quantitative modeling with UML, model transformations and contraints, model management, UML in practice and quality assurance, formalization of model transformations, scenario modeling, business application development, model synchronisation and change propagation, language specification and annotation, domain-specific languages, model-based analysis, model (de- )composition and abstraction, distributed software development, service and business process integration, genericity and constraints, variability management, and model transformation engineering Front Matter....Pages - Models. Models. Models. So What?....Pages 1-1 Modeling Modeling....Pages 2-16 Representation and Traversal of Large Clabject Models....Pages 17-31 Meta-model Pruning....Pages 32-46 A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems....Pages 47-61 Model Driven Performance Measurement and Assessment with MoDePeMART....Pages 62-76 Security Analysis of a Biometric Authentication System Using UMLsec and JML....Pages 77-91 Automatically Discovering Hidden Transformation Chaining Constraints....Pages 92-106 CSP(M): Constraint Satisfaction Problem over Models....Pages 107-121 Parsing SBVR-Based Controlled Languages....Pages 122-136 SLIM—A Lightweight Environment for Synchronous Collaborative Modeling....Pages 137-151 Language-Independent Change Management of Process Models....Pages 152-166 Requirements for Practical Model Merge – An Industrial Perspective....Pages 167-180 Evaluating the Impact of UML Modeling on Software Quality: An Industrial Case Study....Pages 181-195 Concern Visibility in Base Station Development – An Empirical Investigation....Pages 196-210 Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation....Pages 211-225 Towards Composite Model Transformations Using Distributed Graph Transformation Concepts....Pages 226-240 On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars....Pages 241-255 Formal Support for QVT-Relations with Coloured Petri Nets....Pages 256-270 An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example....Pages 271-285 Refactoring-Safe Modeling of Aspect-Oriented Scenarios....Pages 286-300 Model-Based Testing Using LSCs and S2A....Pages 301-306 Model Driven Development of Graphical User Interfaces for Enterprise Business Applications – Experience, Lessons Learnt and a Way Forward....Pages 307-321 Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors....Pages 322-336 Rule-Enhanced Business Process Modeling Language for Service Choreographies....Pages 337-341 Change-Driven Model Transformations....Pages 342-356 An Incremental Algorithm for High-Performance Runtime Model Consistency....Pages 357-371 Traceability-Based Change Awareness....Pages 372-376 Interaction Design and Model-Driven Development....Pages 377-377 Towards Test-Driven Semantics Specification....Pages 378-392 Scalable Semantic Annotation Using Lattice-Based Ontologies....Pages 393-407 OntoDSL : An Ontology-Based Framework for Domain-Specific Languages....Pages 408-422 Domain-Specific Languages in Practice: A User Study on the Success Factors....Pages 423-437 Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation....Pages 438-452 Anatomy of a Visual Domain-Specific Language Project in an Industrial Context....Pages 453-467 A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty....Pages 468-483 A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation....Pages 484-498 Polymorphic Scenario-Based Specification Models: Semantics and Applications....Pages 499-513 Aspect Model Unweaving....Pages 514-530 Model Composition Contracts....Pages 531-545 Abstracting Complex Languages through Transformation and Composition....Pages 546-550 An Approach for Evolving Transformation Chains....Pages 551-555 Deterministic UML Models for Interconnected Activities and State Machines....Pages 556-570 Automated Encapsulation of UML Activities for Incremental Development and Verification....Pages 571-585 Using UML Statecharts with Knowledge Logic Guards....Pages 586-590 A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems....Pages 591-605 A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems....Pages 606-621 Executable Domain Specific Language for Message-Based System Integration....Pages 622-626 Architectural Mining: The Other Side of the MDD....Pages 627-627 Generic Model Refactorings....Pages 628-643 Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers....Pages 644-649 Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages....Pages 650-664 OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language....Pages 665-669 Variability within Modeling Language Definitions....Pages 670-684 Variability Modelling throughout the Product Line Lifecycle....Pages 685-689 Weaving Variability into Domain Metamodels....Pages 690-705 Automatic Domain Model Migration to Manage Metamodel Evolution....Pages 706-711 Model Transformation by Demonstration....Pages 712-726 Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets....Pages 727-732 Incremental Development of Model Transformation Chains Using Automated Testing....Pages 733-747 Test-Driven Development of Model Transformations....Pages 748-752 Educators’ Symposium at MODELS 2009....Pages 753-754 Back Matter....Pages - The Pioneering Organizers Of The ?rst Uml Workshop In Mulhouse, France Inthe Summerof1998couldhardlyhaveanticipatedthat,in Littleoveradecade, Theirinitiativewouldblossomintotoday’shighlysuccessfulmodelsconference Series, The Premier Annual Gathering Of Researchersand Practitioners Focusing On A Very Important New Technical Discipline: Model-based Software And System Engineering. This Expansion Is, Of Course, A Direct Consequence Of The Growing Signi?cance And Success Of Model-based Methods In Practice. The Conferences Have Contributed Greatly To The Heightened Interest In The ?eld, Attracting Much Young Talent And Leading To The Gradualemergence Of Its Correspondingscienti?c And Engineering Foundations. The Proceedings From The Models Conferences Are One Of The Primary References For Anyone Interested In A More Substantive Study Of The Domain. The 12th Conference Took Place In Denver In The Usa, October 4–9, 2009 Along With Numerous Satellite Workshops And Tutorials, As Well As Several Other Related Scienti?c Gatherings. The Conference Was Exceptionally Fortunate To Have Three Eminent, Invited Keynote Speakers From Industry: Stephen Mellor, Larry Constantine, And Grady Booch.