3. UML 2000: York, UK

Use Cases

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

Enterprise Applications

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

Interactive Systems

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

Applications

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

Roles

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

Knowledge Bases

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

Invited Talk

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

OCL Tools

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

Meta-modelling

• Colin Atkinson, Thomas Kühne:
  Strict Profiles: Why and How. 309-322
  
• 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
  
• Siobhán Clarke:
  Composing Design Models: An Extension to the UML. 338-352
  

Behavioural Modelling

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

Methodology

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

Actions and Constraints

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

Patterns

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

Invited Talk

• Cris Kobryn:
  Architectural Patterns for Metamodeling: A Hitchhikers Guide to the UML Metaverse. 497
  

Architecture

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

State Charts

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

Panel

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

Last update Sat May 25 14:35:30 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page