3. UML 2000: York, UK
Andy Evans, Stuart Kent, Bran Selic (Eds.): «UML» 2000 - The Unified Modeling Language, Advancing the Standard, Third International Conference, York, UK, October 2-6, 2000, Proceedings. Springer 2000 Lecture Notes in Computer Science
Use Cases


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

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
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

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

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

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
Michelle Chabrol, David Sarramia: Object Oriented Methodology based on UML for Urban Traffic System Modeling. 425-439
Actions and Constraints

Masaaki Mizuno, Gurdip Singh, Mitchell L. Neilsen: A Structured Approach to Develop Concurrent Programs in UML. 451-465
Patterns
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



