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

模型驱动的工程语言与系统:MoDELS 2006/会议录模型驱动的工程语言与系统
作 者: Oscar Nierstrasz
出版社: 湖南文艺出版社
丛编项:
版权说明: 本书为公共版权或经版权方授权,请支持正版图书
标 签: 暂缺
ISBN 出版时间 包装 开本 页数 字数
未知 暂无 暂无 未知 0 暂无

作者简介

暂缺《模型驱动的工程语言与系统: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.

图书目录

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