Model Driven Engineering Languages and Systems: 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings

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 -