UML 2004 - The Unified Modeling Language

Thomas Baar

ISBN 10: 3540233075 / ISBN 13: 9783540233077

Published by Springer, Springer Okt 2004, 2004

About this Item

This item is printed on demand - Print on Demand Titel. Neuware -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 ArgoUWE.- Aspects.- Model Composition Directives.- Query Models.- Specifying Cross-Cutting Requirement Concerns.- Profiles 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 Modeling.- OCL.- 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/XQuery.- Model 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 Engineering.- Verification 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 TLPVS.- Security.- Integrating a Security Requirement Language with UML.- Automated Verification of UMLsec Models for Security Requirements.- Extending OCL for Secure Database Development.- Methodology.- Test Driven Development of UML Models with SMARTModeling System.- Behavioral Domain Analysis - The Application-Based Domain Modeling Approach.- Using UML-based Feature Models and UML Collaboration Diagrams to Information Modelling for Web-Based Applications.- Workshops and Tutorials.- Workshops at the UML 2004 Conference.- Tutorials at the UML 2004 Conference.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 472 pp. Englisch.

Seller Inventory # 9783540233077

Bibliographic Details

• Title: UML 2004 - The Unified Modeling Language
• Publisher: Springer, Springer Okt 2004
• Publication Date: 2004
• Language: English
• ISBN 10: 3540233075
• ISBN 13: 9783540233077
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 26D millimeters 235 millimeters width by 155 millimeters height by 26 millimeters depth
• Weight: 709 grams

About this title

Synopsis

This book constitutes the refereed proceedings of the 7th International Conference on the Unified Modeling Language, UML 2004, held in Lisbon, Portugal, in October 2004. The 30 revised full papers presented together with summaries on the workshops and tutorials were carefully reviewed and selected from 135 technical paper submissions. The papers are organized in topical sections on metamodeling, aspects, profiles and extensions, OCL, model transformation, verification and model consistency, security, and methodology.