模型驱动的工程语言与系统：MoDELS 2006/会议录模型驱动的工程语言与系统

　　This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems （formerly the UML series of conferences）， MoDELS 2006， held in Genova， Italy， in October 2006.The 51 revised full papers and 2 invited papers presented were carefully reviewed and selected from 178 initial submissions. The papers are organized in topical sections on evaluating UML， MDA in software development， concrete syntax， applying UML to interaction and coordination， aspects， model integration， formal semantics of UML， security， model transformation tools and implementation， analyzing dynamic models， specifying transformations， MOF， bridging models， risk， trust and dependability， tool environments， OCL， roundtrip engineering， real time and embedded systems， as well as workshops， tutorials and panels.

暂缺《模型驱动的工程语言与系统：MoDELS 2006/会议录模型驱动的工程语言与系统》作者简介

Keynote 1
　A Software Modeling Odyssey: Designing Evolutionary
　Architecture-Centric Real-Time Systems and Product Lines
Evaluating UML
　Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0
　An Experimental Investigation of UML Modeling Conventions
　Improving the Definition of UML
MDA in Software Development
　Adopting Model Driven Software Development in Industry A Case Study at Two Companies
　Use Case Driven Iterative Development: Hurdles and Solutions
　Model-Driven Development with SDL Process, Tools, and Experiences
Concrete Syntax
　Model-Driven Analysis and Synthesis of Concrete Syntax
　Correctly Defined Concrete Syntax for Visual Modeling Languages
Applying UML to Interaction and Coordination
　Compositional MDA
　CUP 2.0: High-Level Modeling of Context-Sensitive Interactive Applications
Aspects
　Domain Models Are NOT Aspect Free
　A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects
Model Intergration
　Package Merge in UML 2: Practice vs. Theory?
　Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis
　Merging Models with the Epsilon Merging Language (EML)
Formal Semantics of UML
　Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2
　Semantic Variations Among UML StateMachines
　Facilitating the Definition of General Constraints in UML
……
Security
Model Transformation Tolls and Implementation
Analyzing Dynamic Models
Specifying Transformations
MOF
Keynote2
Bridging Models
Risk, Trust and Dependability
Tool Environments
OCL
Roundtrip Engineering
Real Time and Embedded Systems
Workshops, Tutorials and Panels
Author Index