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

1. Front Matter

   PDF

2. Inivited Talk 1

   1. Agile Processes: Developing Your Own “Secret Recipes”

      • Peter Coad

      Pages 1-1

3. Practical Model Management

   1. Difference and Union of Models

      • Marcus Alanen, Ivan Porres

      Pages 2-17

   2. GREAT: UML Transformation Tool for Porting Middleware Applications

      • Alexander Christoph, Matthias M. Müller

      Pages 18-30

   3. Model-Centric Engineering with the Evolution and Validation Environment

      • Jörn Guy Süß, Andreas Leicher, Herbert Weber, Ralf-D. Kutsche

      Pages 31-43

4. Time and Quality of Service

   1. Representing Temporal Information in UML

      • Jordi Cabot, Antoni Olivé, Ernest Teniente

      Pages 44-59

   2. Formal Semantics of UML with Real-Time Constructs

      • Subash Shankar, Sinan Asa

      Pages 60-75

   3. A QoS-Oriented Extension of UML Statecharts

      • David N. Jansen, Holger Hermanns, Joost-Pieter Katoen

      Pages 76-91

5. Short Tool Papers

   1. CheckVML: A Tool for Model Checking Visual Modeling Languages

      • Ákos Schmidt, Dániel Varró

      Pages 92-95

   2. A Workbench to Experiment on New Model Engineering Applications

      • Ralph-Johan Back, Dag Björklund, Johan Lilius, Luka Milovanov, Ivan Porres

      Pages 96-100

   3. ProGUM-Web: Tool Support for Model-Based Development of Web Applications

      • Marc Lohmann, Stefan Sauer, Tim Schattkowsky

      Pages 101-105

6. Composition and Architecture

   1. On the Key Role of Composition in Object-Oriented Modelling

      • Friedrich Steimann, Jens Gößner, Thomas Mück

      Pages 106-120

   2. Compositional and Relational Reasoning During Class Abstraction

      • Alexander Egyed

      Pages 121-137

   3. Encoding Informal Architectural Descriptions with UML: An Experience Report

      • Yaojin Yang, Jianli Xu

      Pages 138-142

7. Inivited Talk 2

   1. UML/MDA Reality Check: Heterogenous Architecture Style

      • Nicolas F. Rouquette

      Pages 143-143

8. Transformation

   1. Towards Automating Source-Consistent UML Refactorings

      • Pieter Van Gorp, Hans Stenten, Tom Mens, Serge Demeyer

      Pages 144-158

   2. Model Refactorings as Rule-Based Update Transformations

      • Ivan Porres

      Pages 159-174

   3. Reflective Model Driven Engineering

      • Jean Bézivin, Nicolas Farcet, Jean-Marc Jézéquel, Benoît Langlois, Damien Pollet

      Pages 175-189

9. The Web

   1. A Model-Driven Runtime Environment for Web Applications

      • Joerg Pleumann, Stefan Haustein

      Pages 190-204

   2. Using UML and XMI for Generating Adaptive Navigation Sequences in Web-Based Systems

      • Peter Dolog, Wolfgang Nejdl

      Pages 205-219

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.

• Cisco
• Inform
• QoS
• Refactoring
• UML statecharts
• Unified Modeling Language (UML)
• agile processes
• architecture
• business process modeling
• model-driven architectures
• modeling
• object
• software architecture
• systems modeling
• systems safety

• School of Informatics, University of Edinburgh,  

  Perdita Stevens

• Computing Department - InfoLab21, Lancaster University, Lancaster, UK

  Jon Whittle

• IBM Rational, Boulder, USA

  Grady Booch