UML 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools

1. Front Matter

   Pages I-XII

   PDF

2. Invited Talk 1

   1. Descriptions in Software Development

      • Michael Jackson

      Pages 1-1

3. Metamodelling

   1. A Metamodel for the Unified Modeling Language

      • Andrey Naumenko, Alain Wegmann

      Pages 2-17

   2. Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models

      • Dániel Varró, András Pataricza

      Pages 18-33

   3. A Radical Reduction of UML’s Core Semantics

      • Friedrich Steimann, Thomas Kühne

      Pages 34-48

4. Applying the UML

   1. Configuration Knowledge Representation Using UML/OCL

      • Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Zanker

      Pages 49-62

   2. Using UML for Information Modeling in Industrial Systems with Multiple Hierarchies

      • Peter Fröhlich, Zaijun Hu, Manfred Schoelzke

      Pages 63-72

   3. Adapting the UML to Business Modelling’s Needs—Experiences in Situational Method Engineering

      • Andreas Dietzsch

      Pages 73-83

5. Digging into the Metamodel

   1. Analysis of UML Stereotypes within the UML Metamodel

      • Martin Gogolla, Brian Henderson-Sellers

      Pages 84-99

   2. Stereotypical Encounters of the Third Kind

      • Colin Atkinson, Thomas Kühne, Brian Henderson-Sellers

      Pages 100-114

   3. Digging into Use Case Relationships

      • Gonzalo Génova, Juan Llorens, Victor Quintana

      Pages 115-127

6. Experience with MDA

   1. Practical Experiences in the Application of MDA

      • Miguel de Miguel, Jean Jourdan, Serge Salicki

      Pages 128-139

   2. Executable Design Models for a Pervasive Healthcare Middleware System

      • Jens Baek Jorgensen, Soren Christensen

      Pages 140-149

   3. Generating Code from UML with Velocity Templates

      • Thorsten Sturm, Jesco von Voss, Marko Boger

      Pages 150-161

7. Invited Talk 2

   1. Does Your Software Creak as It Runs?

      • Bran Selic

      Pages 162-162

8. Real-Time & Formal Semantics

   1. Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems

      • Charles André, Marie-Agnès Peraldi-Frati, Jean-Paul Rigault

      Pages 163-178

   2. A UML Profile for Real-Time Constraints with the OCL

      • Stephan Flake, Wolfgang Mueller

      Pages 179-195

   3. HOL-OCL: Experiences, Consequences and Design Choices

      • Achim D. Brucker, Burkhart Wolff

      Pages 196-211

9. Model Engineering 1

   1. Consistency-Preserving Model Evolution through Transformations

      • Gregor Engels, Reiko Heckel, Jochen M. Küster, Luuk Groenewegen

      Pages 212-227

   2. Transformations and Software Modeling Languages: Automating Transformations in UML

      • Jon Whittle

      Pages 227-242

Five years on from its adoption in 1997 by the Object Management Group (OMG), the Uni?ed Modeling Language is the de facto standard for creating - agrammatic models of software systems. More than 100 books have been written about UML, and it is taught to students throughout the world. The de?nition of UML version 2 is well under way, and should be largely completed within the year. This will not only improve and enhance UML itself, including standard facilities for diagram interchange, but also make it fully integrated with other modeling technologies from the OMG, such as Meta-Object Facility (MOF) and XML Metadata Interchange (XMI). The Object Constraint Language, which has become an important vehicle for communicating detailed insights between UML researchers and practitioners, will have a much expanded speci?cation and be better integrated with the UML. The popularity of UML signi?es the possibility of a shift of immense prop- tions in the practice of software development, at least comparable to the shift from the use of assembly language to “third-generation” or “high-level” p- gramming languages. We dream of describing the behavior of software systems in terms of models, closely related to the needs of the enterprise being served, and being able to routinely translate these models automatically into executing p- grams on distributed computing systems. The OMG is promoting Model-Driven Architecture (MDA) as a signi?cant step towards this vision, and the MDA c- cept has received considerable support within the IT industry.

• Business Process Modeling
• Component Systems
• Formal Methods
• Formal Specification
• Meta-Modeling
• Model-Driven Architecture
• Modeling Languages
• OCL
• Object Technology
• Software Architecture
• Systems Modeling
• UML
• Unified Modeling Language (UML)
• modeling
• tools

• Irisa - Univesité de Rennes 1, Rennes cedex, France

  Jean-Marc Jézéquel

• Fakultät Informatik, Technische Universität Dresden, Dresden, Germany

  Heinrich Hussmann

• IBM United Kingdom Ltd, Middlesex, UK

  Stephen Cook

Policies and ethics