模型驱动的工程语言与系统
2006-12
湖南文艺出版社
Harel, David 编
798
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.
Keynote 1 A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product LinesEvaluating 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 UMLMDA 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 ExperiencesConcrete Syntax Model-Driven Analysis and Synthesis of Concrete Syntax Correctly Defined Concrete Syntax for Visual Modeling LanguagesApplying UML to Interaction and Coordination Compositional MDA CUP 2.0: High-Level Modeling of Context-Sensitive Interactive ApplicationsAspects Domain Models Are NOT Aspect Free A Slice of MDE with AOP: Transforming High-Level Business Rules to AspectsModel 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……SecurityModel Transformation Tolls and ImplementationAnalyzing Dynamic ModelsSpecifying TransformationsMOFKeynote2Bridging ModelsRisk, Trust and Dependability Tool EnvironmentsOCLRoundtrip EngineeringReal Time and Embedded SystemsWorkshops, Tutorials and PanelsAuthor Index
