UML 2000 - The Unified Modeling Language: Advancing the Standard Third International Conference York, UK, October 2-6, 2000 Proceedings

This book constitutes the refereed proceedings of the Third International Conference on the Unified Modeling Language, > 2000, held in York, UK in October 2000. The 36 revised full papers presented together with two invited papers and three panel outlines were carefully reviewed and selected from 102 abstracts and 82 papers submitted. The book offers topical sections on use cases, enterprise applications, applications, roles, OCL tools, meta-modeling, behavioral modeling, methodology, actions and constraints, patterns, architecture, and state charts.

Use Cases.- From Use Cases to System Operation Specifications.- On the Extension of UML with Use Case Maps Concepts.- HyperMSCs and Sequence Diagrams for Use Case Modelling and Testing.- Enterprise Applications.- Business-Oriented Constraint Language.- Processes, Roles, and Events: UML Concepts for Enterprise Architecture.- Statistical Constraints for EAI.- Panel 1.- Heaven or Hell? A “Real-Time” UML?.- Interactive Systems.- Towards a UML Profile for Interaction Design: The Wisdom Approach.- UMLi: The Unified Modeling Language for Interactive Applications.- A Diagrammatic Tool for Representing User Interaction in UML.- Applications.- UML Extension for ASAM-GDI Device Capability Description.- Swinging UML How to Make Class Diagrams and State Machines Amenable to Constraint Solving and Proving.- UML Based Performance Modeling of Distributed Systems.- Roles.- A Radical Revision of UML’s Role Concept.- The Role of “Roles” in Use Case Diagrams.- Knowledge Bases.- Ensuring Quality of Geographic Data with UML and OCL.- Contextual Diagrams as Structuring Mechanisms for Designing Configuration Knowledge Bases in UML.- Invited Talk.- The UML Family: Profiles, Prefaces and Packages.- OCL Tools.- Validating UML Models and OCL Constraints.- Modular Architecture for a Toolset Supporting OCL.- Consistency Checking and Visualization of OCL Constraints.- Meta-modelling.- Strict Profiles: Why and How.- Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML.- Composing Design Models: An Extension to the UML.- Panel 2.- Extreme Programming and Modelling?.- Behavioural Modelling.- Interacting Subsystems in UML.- Consistent Behaviour Representation in Activity and Sequence Diagrams.- Using UML Collaboration Diagrams for Static Checking and Test Generation.- Methodology.- Supporting Several Levels of Restriction in the UML.- A UML-Based Methodology for Hypermedia Design.- Object Oriented Methodology Based on UML for Urban Traffic System Modeling.- Actions and Constraints.- Extending OCL to Include Actions.- A Structured Approach to Develop Concurrent Programs in UML.- Patterns.- Describing AI Analysis Patterns with UML.- Precise Modeling of Design Patterns.- Invited Talk.- Architectural Patterns for Metamodeling: The Hitchhiker’s Guide to the UML Metaverse.- Architecture.- Reconciling the Needs of Architectural Description with Object-Modeling Notations.- Towards a UML Profile for Software Architecture Descriptions.- State Charts.- Rewrite Rules and Operational Semantics for Model Checking UML Statecharts.- Part-Whole Statecharts for the Explicit Representation of Compound Behaviours.- Panel 3.- Modeling of Architectures with UML.