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

From Use Cases to System Operation Specifications....Pages 1-15
On the Extension of UML with Use Case Maps Concepts....Pages 16-31
HyperMSCs and Sequence Diagrams for Use Case Modelling and Testing....Pages 32-46
Business-Oriented Constraint Language....Pages 47-61
Processes, Roles, and Events: UML Concepts for Enterprise Architecture....Pages 62-77
Statistical Constraints for EAI....Pages 78-92
Heaven or Hell? A “Real-Time” UML?....Pages 93-100
Towards a UML Profile for Interaction Design: The Wisdom Approach....Pages 101-116
UML i : The Unified Modeling Language for Interactive Applications....Pages 117-132
A Diagrammatic Tool for Representing User Interaction in UML....Pages 133-147
UML Extension for ASAM-GDI Device Capability Description....Pages 148-161
Swinging UML How to Make Class Diagrams and State Machines Amenable to Constraint Solving and Proving....Pages 162-177
UML Based Performance Modeling of Distributed Systems....Pages 178-193
A Radical Revision of UML’s Role Concept....Pages 194-209
The Role of “Roles” in Use Case Diagrams....Pages 210-224
Ensuring Quality of Geographic Data with UML and OCL....Pages 225-239
Contextual Diagrams as Structuring Mechanisms for Designing Configuration Knowledge Bases in UML....Pages 240-254
The UML Family: Profiles, Prefaces and Packages....Pages 255-264
Validating UML Models and OCL Constraints....Pages 265-277
Modular Architecture for a Toolset Supporting OCL....Pages 278-293
Consistency Checking and Visualization of OCL Constraints....Pages 294-308
Strict Profiles: Why and How....Pages 309-322
Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML....Pages 323-337
Composing Design Models: An Extension to the UML....Pages 338-352
Extreme Programming and Modelling?....Pages 353-358
Interacting Subsystems in UML....Pages 359-368
Consistent Behaviour Representation in Activity and Sequence Diagrams....Pages 369-382
Using UML Collaboration Diagrams for Static Checking and Test Generation....Pages 383-395
Supporting Several Levels of Restriction in the UML....Pages 396-409
A UML-Based Methodology for Hypermedia Design....Pages 410-424
Object Oriented Methodology Based on UML for Urban Traffic System Modeling....Pages 425-439
Extending OCL to Include Actions....Pages 440-450
A Structured Approach to Develop Concurrent Programs in UML....Pages 451-465
Describing AI Analysis Patterns with UML....Pages 466-481
Precise Modeling of Design Patterns....Pages 482-496
Architectural Patterns for Metamodeling: The Hitchhiker’s Guide to the UML Metaverse....Pages 497-497
Reconciling the Needs of Architectural Description with Object-Modeling Notations....Pages 498-512
Towards a UML Profile for Software Architecture Descriptions....Pages 513-527
Rewrite Rules and Operational Semantics for Model Checking UML Statecharts....Pages 528-540
Part-Whole Statecharts for the Explicit Representation of Compound Behaviours....Pages 541-555
Modeling of Architectures with UML....Pages 556-569