Model Driven Engineering Languages and Systems: 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings

Front Matter....Pages -
A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines....Pages 1-15
Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0....Pages 16-26
An Experimental Investigation of UML Modeling Conventions....Pages 27-41
Improving the Definition of UML....Pages 42-56
Adopting Model Driven Software Development in Industry – A Case Study at Two Companies....Pages 57-72
Use Case Driven Iterative Development: Hurdles and Solutions....Pages 73-82
Model-Driven Development with SDL – Process, Tools, and Experiences....Pages 83-97
Model-Driven Analysis and Synthesis of Concrete Syntax....Pages 98-110
Correctly Defined Concrete Syntax for Visual Modeling Languages....Pages 111-125
Compositional MDA....Pages 126-139
CUP 2.0: High-Level Modeling of Context-Sensitive Interactive Applications....Pages 140-154
Domain Models Are NOT Aspect Free....Pages 155-169
A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects....Pages 170-184
Package Merge in UML 2: Practice vs. Theory?....Pages 185-199
Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis....Pages 200-214
Merging Models with the Epsilon Merging Language (EML)....Pages 215-229
Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2....Pages 230-244
Semantic Variations Among UML StateMachines....Pages 245-259
Facilitating the Definition of General Constraints in UML....Pages 260-274
Towards a MOF/QVT-Based Domain Architecture for Model Driven Security....Pages 275-290
MDA-Based Re-engineering with Object-Z....Pages 291-305
A Model Transformation Semantics and Analysis Methodology for SecureUML....Pages 306-320
Incremental Model Transformation for the Evolution of Model-Driven Systems....Pages 321-335
A Plugin-Based Language to Experiment with Model Transformation....Pages 336-350
SiTra: Simple Transformations in Java....Pages 351-364
Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models....Pages 365-379
Model Extraction Using Context Information....Pages 380-394
Dynamic and Generic Manipulation of Models: From Introspection to Scripting....Pages 395-409
Model Transformation by Example....Pages 410-424
Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework....Pages 425-439
Model Transformations? Transformation Models!....Pages 440-453
A Mapping Language from Models to DI Diagrams....Pages 454-468
Basic Operations over Models Containing Subset and Union Properties....Pages 469-483
A Metamodeling Approach to Pattern Specification....Pages 484-498
Immune System Computation and the Immunological Homunculus....Pages 499-512
Building Abstractions in Class Models: Formal Concept Analysis in a Model-Driven Approach....Pages 513-527
Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages....Pages 528-542
Incremental Model Synchronization with Triple Graph Grammars....Pages 543-557
Model-Driven Assessment of Use Cases for Dependable Systems....Pages 558-573
A Graphical Approach to Risk Identification, Motivated by Empirical Investigations....Pages 574-588
Reusable MDA Components: A Testing-for-Trust Approach....Pages 589-603
Using Smalltalk as a Reflective Executable Meta-language....Pages 604-618
UML Model Interchange in Heterogeneous Tool Environments: An Analysis of Adoptions of XMI 2....Pages 619-630
Applying Model Fragment Copy-Restore to Build an Open and Distributed MDA Environment....Pages 631-645
An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE....Pages 646-660
An OCL Semantics Specified with QVT....Pages 661-675
Specification of Invariability in OCL....Pages 676-691
Framework-Specific Modeling Languages with Round-Trip Engineering....Pages 692-706
A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems....Pages 707-721
Layered Class Diagrams: Supporting the Design Process....Pages 722-736
Using UML Activities for System-on-Chip Design and Synthesis....Pages 737-752
Modeling and Early Performance Estimation for Network Processor Applications....Pages 753-767
A Formal Semantics of UML-RT....Pages 768-782
Workshops and Symposia at MoDELS 2006....Pages 783-790
Tutorials at MoDELS 2006....Pages 791-794
Panels at MoDELS 2006....Pages 795-795
Back Matter....Pages -