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

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 -