Model Driven Engineering Languages and Systems: 10th International Conference, MoDELS 2007, Nashville, USA, September 30 – October 5, 2007. Proceedings

Perdita Stevens (auth.), Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank Weil (eds.)3540752080, 9783540752080

Table of contents :
Front Matter….Pages –
Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions….Pages 1-15
Reconciling TGGs with QVT….Pages 16-30
UniTI: A Unified Transformation Infrastructure….Pages 31-45
Guided Development with Multiple Domain-Specific Languages….Pages 46-60
Model-Driven, Network-Context Sensitive Intrusion Detection….Pages 61-75
An Empirical Study of the Impact of OCL Smells and Refactorings on the Understandability of OCL Specifications….Pages 76-90
On Metamodeling in Megamodels….Pages 91-105
Magritte – A Meta-driven Approach to Empower Developers and End Users….Pages 106-120
Matching Model-Snippets….Pages 121-135
Improving Inconsistency Resolution with Side-Effect Evaluation and Costs….Pages 136-150
Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis….Pages 151-165
Automated Semantic Analysis of Design Models….Pages 166-180
Piecewise Modelling with State Subtypes….Pages 181-195
Deriving Operation Contracts from UML Class Diagrams….Pages 196-210
Finding the Pattern You Need: The Design Pattern Intent Ontology….Pages 211-225
Model-Driven Approach for Managing Human Interface Design Life Cycle….Pages 226-240
Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications….Pages 241-255
A Business-Process-Driven Approach for Generating E-Commerce User Interfaces….Pages 256-270
Enhancing UML Extensions with Operational Semantics…..Pages 271-285
Integrated Definition of Abstract and Concrete Syntax for Textual Languages….Pages 286-300
Architectural Aspects in UML….Pages 301-315
Domain Specific Modeling Methodology for Reconfigurable Networked Systems….Pages 316-330
A Modelling Method for Rigorous and Automated Design of Large-Scale Industrial Systems….Pages 331-345
Relating Navigation and Request Routing Models in Web Applications….Pages 346-359
A UML2 Profile for Service Modeling….Pages 360-374
Automatic Generation of Workflow-Extended Domain Models….Pages 375-389
A Practical Perspective on the Design and Implementation of Service-Oriented Solutions….Pages 390-404
Constructive Techniques for Meta- and Model-Level Reasoning….Pages 405-419
A Metamodel-Based Approach for Analyzing Security-Design Models….Pages 420-435
UML2Alloy: A Challenging Model Transformation….Pages 436-450
i 2 MAP : An Incremental and Iterative Modeling and Analysis Process….Pages 451-466
A Model-Driven Measurement Procedure for Sizing Web Applications: Design, Automation and Validation….Pages 467-481
Model-Driven Engineering for Software Migration in a Large Industrial Context….Pages 482-497
Introducing Variability into Aspect-Oriented Modeling Approaches….Pages 498-513
An Expressive Aspect Composition Language for UML State Diagrams….Pages 514-528
Enhancing UML State Machines with Aspects….Pages 529-543
Complementary Use Case Scenario Representations Based on Domain Vocabularies….Pages 544-558
Modeling Time(s)….Pages 559-573
A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software….Pages 574-588
Forensic Debugging of Model Transformations….Pages 589-604
Runtime Debugging Using Reverse-Engineered UML….Pages 605-619
Formally Defining a Graphical Language for Monitoring and Checking Object Interactions….Pages 620-634
Statechart Development Beyond WYSIWYG….Pages 635-649
Model-Based Design of Computer-Controlled Game Character Behavior….Pages 650-665
Model-Driven Construction of Certified Binaries….Pages 666-681
Workshops and Symposia at MODELS 2007….Pages 682-690
Tutorials at MODELS 2007….Pages 691-694
Panels at MODELS 2007….Pages 695-695
Back Matter….Pages –