+612 9045 4394
UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications : 6th International Conference San Francisco, Ca, Usa, October 20-24, 2003, Proceedings - Perdita Stevens

UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications

6th International Conference San Francisco, Ca, Usa, October 20-24, 2003, Proceedings

By: Perdita Stevens (Editor), Jon Whittle (Editor), Grady Booch (Editor)

Paperback Published: 9th October 2003
ISBN: 9783540202431
Number Of Pages: 418

Share This Book:


or 4 easy payments of $39.60 with Learn more
Ships in 15 business days

Earn 317 Qantas Points
on this Book

Thepastyearhasbeenaneventfuloneforthoseinterestedinsoftwaremodeling. The ?rst major revision of the Uni?ed Modeling Language, UML2.0, is in the process of adoption by the Object Management Group (OMG), and it makes many long-desired additions and improvements to UML. At the same time, it expands what was already a large language. A challenge for both practitioners andresearchersistohelpsmooththeadoptionofthisnewlanguage.Increasingly, attention is being paid to the use of specialized languages, often pro?les of UML, appropriate for di?erent purposes; this is one way to make UML less overwh- ming. Accordingly, the focus of the UML conference is gradually expanding from UML to software modeling in general. Simultaneously, model-driven development is being pursued as a way of - creasing the bene?ts from modeling throughout the software development p- cess. Gradually, it is developing from a set of slogans into a reality. Many of the papers in this volume are concerned, directly or indirectly, with how to make modeling, rather than coding, the heart of software development, and how to realize the resulting bene?ts of higher-level thinking. Much work remains to be done.

Agile Processes: Developing Your Own "Secret Recipes"p. 1
Difference and Union of Modelsp. 2
GREAT: UML Transformation Tool for Porting Middleware Applicationsp. 18
Model-Centric Engineering with the Evolution and Validation Environmentp. 31
Representing Temporal Information in UMLp. 44
Formal Semantics of UML with Real-Time Constructsp. 60
A QoS-Oriented Extension of UML Statechartsp. 76
CheckVML: A Tool for Model Checking Visual Modeling Languagesp. 92
A Workbench to Experiment on New Model Engineering Applicationsp. 96
ProGUM-Web: Tool Support for Model-Based Development of Web Applicationsp. 101
On the Key Role of Compositioning Object-Oriented Modellingp. 106
Compositional and Relational Reasoning during Class Abstractionp. 121
Encoding Informal Architectural Descriptions with UML: An Experience Reportp. 138
UML/MDA Reality Check: Heterogenous Architecture Stylep. 143
Towards Automating Source-Consistent UML Refactoringsp. 144
Model Refactorings as Rule-Based Update Transformationsp. 159
Reflective Model Driven Engineeringp. 175
A Model-Driven Runtime Environment for Web Applicationsp. 190
Using UML and XMI for Generating Adaptive Navigation Sequences in Web-Based Systemsp. 205
Platform Independent Web Application Modelingp. 220
Rigorous Testing by Merging Structural and Behavioral UML Representationsp. 234
Towards Automated Support for Deriving Test Data from UML Statechartsp. 249
Validation of UML and OCL Models by Automatic Snapshot Generationp. 265
A Critique of UML's Definition of the Use-Case Classp. 280
Modelling Database Views with Derived Classes in the UML/OCL-Frameworkp. 295
An OCL Extension for Low-Coupling Preserving Contractsp. 310
What Is the Point of the UML?p. 325
Using Description Logic to Maintain Consistency between UML Modelsp. 326
Modeling and Testing Legacy Data Consistency Requirementsp. 341
The Consistency Workbench: A Tool for Consistency Management in UML-Based Developmentp. 356
Developing Safety-Critical Systems with UMLp. 360
Consistent and Complete Access Control Policies in Use Casesp. 373
STAIRS - Steps to Analyze Interactions with Refinement Semanticsp. 388
Workshops at the UML 2003 Conferencep. 403
Tutorials at the UML 2003 Conferencep. 410
Author Indexp. 415
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540202431
ISBN-10: 3540202439
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 418
Published: 9th October 2003
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.26
Weight (kg): 0.61

Earn 317 Qantas Points
on this Book