«UML» 2003 - The Unified Modeling Language. Modeling Languages and Applications: 6th International Conference, San Francisco, CA, USA, October 20-24, 2003. Proceedings

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. Inivited 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. Perdita Stevens, Jon Whittle, Grady Booch (eds.). Includes Bibliographical References And Index. Front Matter....Pages - Agile Processes: Developing Your Own “Secret Recipes”....Pages 1-1 Difference and Union of Models....Pages 2-17 GREAT: UML Transformation Tool for Porting Middleware Applications....Pages 18-30 Model-Centric Engineering with the Evolution and Validation Environment....Pages 31-43 Representing Temporal Information in UML....Pages 44-59 Formal Semantics of UML with Real-Time Constructs....Pages 60-75 A QoS-Oriented Extension of UML Statecharts....Pages 76-91 CheckVML: A Tool for Model Checking Visual Modeling Languages....Pages 92-95 A Workbench to Experiment on New Model Engineering Applications....Pages 96-100 ProGUM-Web: Tool Support for Model-Based Development of Web Applications....Pages 101-105 On the Key Role of Composition in Object-Oriented Modelling....Pages 106-120 Compositional and Relational Reasoning During Class Abstraction....Pages 121-137 Encoding Informal Architectural Descriptions with UML: An Experience Report....Pages 138-142 UML/MDA Reality Check: Heterogenous Architecture Style....Pages 143-143 Towards Automating Source-Consistent UML Refactorings....Pages 144-158 Model Refactorings as Rule-Based Update Transformations....Pages 159-174 Reflective Model Driven Engineering....Pages 175-189 A Model-Driven Runtime Environment for Web Applications....Pages 190-204 Using UML and XMI for Generating Adaptive Navigation Sequences in Web-Based Systems....Pages 205-219 Platform Independent Web Application Modeling....Pages 220-233 Rigorous Testing by Merging Structural and Behavioral UML Representations....Pages 234-248 Towards Automated Support for Deriving Test Data from UML Statecharts....Pages 249-264 Validation of UML and OCL Models by Automatic Snapshot Generation....Pages 265-279 A Critique of UML’s Definition of the Use-Case Class....Pages 280-294 Modelling Database Views with Derived Classes in the UML/OCL-framework....Pages 295-309 An OCL Extension for Low-Coupling Preserving Contracts....Pages 310-324 What Is the Point of the UML?....Pages 325-325 Using Description Logic to Maintain Consistency between UML Models....Pages 326-340 Modeling and Testing Legacy Data Consistency Requirements....Pages 341-355 The Consistency Workbench: A Tool for Consistency Management in UML-Based Development....Pages 356-359 Developing Safety-Critical Systems with UML....Pages 360-372 Consistent and Complete Access Control Policies in Use Cases....Pages 373-387 STAIRS – Steps To Analyze Interactions with Refinement Semantics....Pages 388-402 Workshops at the UML 2003 Conference....Pages 403-409 Tutorials at the UML 2003 Conference....Pages 410-413 Back Matter....Pages - 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 This book constitutes the refereed proceedings of the 6th International Conference on the Unified Modeling 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, ímproving UML/OCL, consistency, and methodology