《UML》2004 - 统一建模语言 UML 2004 - The Unified Modeling Language

出版时间：2004-9  出版社：北京燕山出版社  作者：Baar, T.; Baar, Thomas; Strohmeier, Alfred  页数：454  

内容概要

The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and Societies, LNCS has grown into the most comprehensive computer science research forum available.    The scope of LNCS, including its sub series LNAI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes　　- Proceedings（published in time for the respective conference）　  - Post-proceedings（consisting of thoroughly revised final full papers）　  -research monographs（which may be based on outstanding PhD work, research projects, technical reports, etc.）

书籍目录

Metamodeling　Empirically Driven Use Case Metamodel Evolution　Applying OO Metrics to Assess UML Meta-models　An OCL Formulation of UML2 Template Binding　A Metamodel for Generating Performance Models from UML Designs .　On the Classification of UML's Meta Model Extension Mechanism　Modeling Business Processes in Web Applications with ArgoUWEAspects　Model Composition Directives　Query Models　Specifying Cross-Cutting Requirement ConcernsProfiles and Extensions　A UML Profile to Model Mobile Systems　Experimental Evaluation of the UML Profile for Schedulability,　Performance, and Time　A UML Profile for Executable and Incremental Specification-Level ModelingOCL　Applying Refactoring Techniques to UML/OCL Models　Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report　From Informal to Formal Specifications in UML　Building Precise UML Constructs to Model Concurrency Using OCL 　An ASM Definition of the Dynamic OCL 2.0 Semantics　Towards a Framework for Mapping Between UML/OCL and XML/XQueryModel Transformation　Model-Driven Architecture for Automatic-Control: An Experience Report　Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation　Generic and Meta-transformations for Model Transformation EngineeringVerification and Model Consistency　Supporting Model Refactorings Through Behaviour Inheritance Consistencies　Determining the Structural Events That May Violate an Integrity Constraint　Deductive Verification of UML Models in TLPVSSecurityMethodologyWordshops and TutorialsAuthor Index