Third International Conference on the Unified Modeling Language: UML 2000

2-6th October, 2000, York, UK (Conference Home)

Use Cases

• Shane Sendall, Alfred Strohmeier: From Use Cases to System Operation Specifications, p. 1-15, (BibTeX entry).
• Daniel Amyot, Gunter Mussbacher: On the Extension of UML with Use Case Maps Concepts, p. 16-31, (BibTeX entry).
• Peter Graubmann, Ekkart Rudolph: HyperMSCs and Sequence Diagrams for Use Case Modelling and Testing, p. 32-46, (BibTeX entry).

Enterprise Applications

• John Knapmann: Business-oriented Constraint Language, p. 47-61, (BibTeX entry).
• Alistair Barros, Keith Duddy, Michael Lawley, Zoran Milosevic, Kerry Raymond, Andrew Wood: Processes, Roles, and Events: UML Concepts for Enterprise Architecture, p. 62-77, (BibTeX entry).
• John Knapmann: Statistical Constraints for EAI, p. 78-92, (BibTeX entry).

Interactive Systems

• Nuno Jardim Nunes, João Falcão e Cunha: Towards a UML profile for interaction design: the Wisdom approach, p. 101-116, (BibTeX entry).
• Paulo Pinheiro da Silva, Norman W. Paton: UMLi: The Unified Modeling Language for Interactive Applications, p. 117-132, (BibTeX entry).
• Patricia Vilain, Daniel Schwabe, Clarisse Sieckenius de Souza: A Diagrammatic Tool for Representing User Interaction in UML, p. 133-147, (BibTeX entry).

Applications

• Eugen Brenner, Ivo Derado: UML Extensions for ASAM-GDI Device Capability Description, p. 148-161, (BibTeX entry).
• Peter Padawitz: Swinging UML: How to Make Class Diagrams and State Machines Amenable to Constraint Solving and Proving, p. 162-177, (BibTeX entry).
• Raffaela Mirandola, Vittorio Cortellessa: UML Based Performance Modeling of Distributed Systems, p. 178-193, (BibTeX entry).

Roles

• Friedrich Steimann: A Radical Revision of UML's Role Concept, p. 194-209, (BibTeX entry).
• Alain Wegmann, Guy Genilloud: The Roles of ``Roles'' in Use Case Diagrams, p. 210-224, (BibTeX entry).

Knowledge Bases

• Miro Casanova, Thomas Wallet, Maja D'Hondt: Ensuring Quality of Geographic Data with UML and OCL, p. 225-239, (BibTeX entry).
• Alexander Felfernig, Dietmar Jannach, Markus Zankers: Contextual Diagrams as Structuring Mechanisms for Designing Configuration Knowledge Bases in UML, p. 240-254, (BibTeX entry).

Invited Talk

• Steve Cook: The UML family: Profiles, Prefaces and Packages, p. 255-264, (BibTeX entry).

OCL Tools

• Mark Richters, Martin Gogolla: Validating UML Models and OCL Constraints, p. 265-277, (BibTeX entry).
• Heinrich Hussmann, Birgit Demuth, Frank Finger: Modular Architecture for a Toolset Supporting OCL, p. 278-293, (BibTeX entry).
• Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer: Consistency Checking and Visualization of OCL Constraints, p. 294-308, (BibTeX entry).

Meta-modelling

• Colin Atkinson, Thomas Kühne: Strict Profiles: Why and How, p. 309-322, (BibTeX entry).
• Gregor Engels, Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer: Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML, p. 323-337, (BibTeX entry).
• Siobhán Clarke: Composing Design Models: An Extension to the UML, p. 338-352, (BibTeX entry).

Behavioural Modelling

• Gunnar Övergaard, Karin Palmkvist: Interacting Subsystems in UML, p. 359-368, (BibTeX entry).
• Dorina C. Petriu, Yimei Sun: Consistent Behaviour Representation in Activity and Sequence Diagrams, p. 359-368, (BibTeX entry).
• Aynur Abdurazik, Jeff Offutt: Using UML Collaboration Diagrams for Static Checking and Test Generation, p. 383-395, (BibTeX entry).

Methodology

• Christian Heide Damm, Klaus Marius Hansen, Michael Thomsen, Michael Tyrsted: Supporting Several Levels of Restriction in the UML, p. 396-409, (BibTeX entry).
• Rolf Hennicker, Nora Koch: A UML-based Methodology for Hypermedia Design, p. 410-424, (BibTeX entry).
• Michelle Chabrol, David Sarramia: Object Oriented Methodology based on UML for Urban Traffic System Modeling, p. 425-439, (BibTeX entry).

Actions and Constraints

• Anneke Kleppe, Jos Warmer: Extending OCL to include Actions, p. 440-450, (BibTeX entry).
• Masaaki Mizuno, Gurdip Singh, Mitchell Neilsen: A Structured Approach to Develop Concurrent Programs in UML, p. 451-465, (BibTeX entry).

Patterns

• Simon Pickin, Angeles Manjarrés: Describing AI Analysis Patterns with UML, p. 466-481, (BibTeX entry).
• Alain Le Guennec, Gerson Sunyé, Jean-Marc Jézéquel: Precise Modeling of Design Patterns, p. 482-496, (BibTeX entry).

Invited Talk

• Cris Kobryn: Architectural Patterns for Metamodeling: A Hitchhikers Guide to the UML Metaverse, p. 497, (BibTeX entry).

Architecture

• David Garlan, Andrew J. Kompanek: Reconciling the Needs of Architectural Description with Object-Modeling Notations, p. 498-512, (BibTeX entry).
• Mohamed Mancona Kandé, Alfred Strohmeier: Towards a UML Profile for Software Architecture Descriptions, p. 513-527, (BibTeX entry).

State Charts

• Gihwon Kwon: Rewrite rules and Operational Semantics for Model Checking UML Statecharts, p. 528-540, (BibTeX entry).
• Luca Pazzi: Part-Whole Statecharts for the Explicit Representation of Compound Behaviors, p. 541-555, (BibTeX entry).

[Home | Search Author | Search Title]
Contact: Paul Ziemann (ziemann@informatik.uni-bremen.de), last update: 10.5.2005.