|
![]() |
|||
|
||||
OverviewThis book constitutes the refereed proceedings of the 6th International Conference on the Unified Modelling Language, UML 2003, held in San Francisco, CA, USA in October 2003.The 25 revised full papers, 4 tool papers, and 1 experience paper presented together with the abstracts of 3 invited talks and summaries on the UML 2003 workshop and tutorials were carefully reviewed and selected from initially 168 submissions. The papers are organized in topical sections on practical model management, time and quality of service, tools, composition and architecture, transformation, Web related issues, testing and validation, improving UML/OCL, consistency, and methodology. Full Product DetailsAuthor: Perdita Stevens , Jon Whittle , Grady BoochPublisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Edition: 2003 ed. Volume: 2863 Dimensions: Width: 15.50cm , Height: 2.20cm , Length: 23.50cm Weight: 1.350kg ISBN: 9783540202431ISBN 10: 3540202439 Pages: 418 Publication Date: 09 October 2003 Audience: College/higher education , Professional and scholarly , General/trade , Tertiary & Higher Education , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: In Print ![]() This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of ContentsInivited Talk 1.- Agile Processes: Developing Your Own Secret Recipes .- Practical Model Management.- Difference and Union of Models.- GREAT: UML Transformation Tool for Porting Middleware Applications.- Model-Centric Engineering with the Evolution and Validation Environment.- Time and Quality of Service.- Representing Temporal Information in UML.- Formal Semantics of UML with Real-Time Constructs.- A QoS-Oriented Extension of UML Statecharts.- Short Tool Papers.- CheckVML: A Tool for Model Checking Visual Modeling Languages.- A Workbench to Experiment on New Model Engineering Applications.- ProGUM-Web: Tool Support for Model-Based Development of Web Applications.- Composition and Architecture.- On the Key Role of Composition in Object-Oriented Modelling.- Compositional and Relational Reasoning During Class Abstraction.- Encoding Informal Architectural Descriptions with UML: An Experience Report.- Inivited Talk 2.- UML/MDA Reality Check: Heterogenous Architecture Style.- Transformation.- Towards Automating Source-Consistent UML Refactorings.- Model Refactorings as Rule-Based Update Transformations.- Reflective Model Driven Engineering.- The Web.- A Model-Driven Runtime Environment for Web Applications.- Using UML and XMI for Generating Adaptive Navigation Sequences in Web-Based Systems.- Platform Independent Web Application Modeling.- Testing and Validation.- Rigorous Testing by Merging Structural and Behavioral UML Representations.- Towards Automated Support for Deriving Test Data from UML Statecharts.- Validation of UML and OCL Models by Automatic Snapshot Generation.- Improving UML/OCL.- A Critique of UML's Definition of the Use-Case Class.- Modelling Database Views with Derived Classes in the UML/OCL-framework.- An OCL Extension for Low-Coupling Preserving Contracts.- Invited Talk 3.- What Is the Point of the UML?.- Consistency.- Using Description Logic to Maintain Consistency between UML Models.- Modeling and Testing Legacy Data Consistency Requirements.- The Consistency Workbench: A Tool for Consistency Management in UML-Based Development.- Methodology.- Developing Safety-Critical Systems with UML.- Consistent and Complete Access Control Policies in Use Cases.- STAIRS - Steps To Analyze Interactions with Refinement Semantics.- Workshops and Tutorials.- Workshops at the UML 2003 Conference.- Tutorials at the UML 2003 Conference.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |