3. UML 2000: York, UK

@proceedings{DBLP:conf/uml/2000,
  editor    = {Andy Evans and
               Stuart Kent and
               Bran Selic},
  title     = {UML 2000 - The Unified Modeling Language, Advancing
               the Standard, Third International Conference, York, UK, October
               2-6, 2000, Proceedings},
  booktitle = {UML},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1939},
  year      = {2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Use Cases

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

Enterprise Applications

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

Interactive Systems

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

Applications

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

Roles

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

Knowledge Bases

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

Invited Talk

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

OCL Tools

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

Meta-modelling

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

Behavioural Modelling

• Gunnar Övergaard, Karin Palmkvist:
  Interacting Subsystems in UML. 359-368
  Electronic Edition (Springer LINK) BibTeX
• Dorina C. Petriu, Yimei Sun:
  Consistent Behaviour Representation in Activity and Sequence Diagrams. 369-382
  Electronic Edition (Springer LINK) BibTeX
• Aynur Abdurazik, A. Jefferson Offutt:
  Using UML Collaboration Diagrams for Static Checking and Test Generation. 383-395
  Electronic Edition (Springer LINK) BibTeX

Methodology

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

Actions and Constraints

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

Patterns

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

Invited Talk

• Cris Kobryn:
  Architectural Patterns for Metamodeling: A Hitchhikers Guide to the UML Metaverse. 497
  Electronic Edition (Springer LINK) BibTeX

Architecture

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

State Charts

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

Panel

• Thomas Weigert, David Garlan, John Knapman, Birger Møller-Pedersen, Bran Selic:
  Modeling of Architectures with UML (Panel). 556-569
  Electronic Edition (Springer LINK) BibTeX