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

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 From Use Cases to System Operation Specifications
3. Altmetric Badge
   Chapter 2 On the Extension of UML with Use Case Maps Concepts
4. Altmetric Badge
   Chapter 3 HyperMSCs and Sequence Diagrams for Use Case Modelling and Testing
5. Altmetric Badge
   Chapter 4 Business-Oriented Constraint Language
6. Altmetric Badge
   Chapter 5 Processes, Roles, and Events: UML Concepts for Enterprise Architecture
7. Altmetric Badge
   Chapter 6 Statistical Constraints for EAI
8. Altmetric Badge
   Chapter 7 Heaven or Hell? A “Real-Time” UML?
9. Altmetric Badge
   Chapter 8 Towards a UML Profile for Interaction Design: The Wisdom Approach
10. Altmetric Badge
    Chapter 9 UML i : The Unified Modeling Language for Interactive Applications
11. Altmetric Badge
    Chapter 10 A Diagrammatic Tool for Representing User Interaction in UML
12. Altmetric Badge
    Chapter 11 UML Extension for ASAM-GDI Device Capability Description
13. Altmetric Badge
    Chapter 12 Swinging UML How to Make Class Diagrams and State Machines Amenable to Constraint Solving and Proving
14. Altmetric Badge
    Chapter 13 UML Based Performance Modeling of Distributed Systems
15. Altmetric Badge
    Chapter 14 A Radical Revision of UML’s Role Concept
16. Altmetric Badge
    Chapter 15 The Role of “Roles” in Use Case Diagrams
17. Altmetric Badge
    Chapter 16 Ensuring Quality of Geographic Data with UML and OCL
18. Altmetric Badge
    Chapter 17 Contextual Diagrams as Structuring Mechanisms for Designing Configuration Knowledge Bases in UML
19. Altmetric Badge
    Chapter 18 The UML Family: Profiles, Prefaces and Packages
20. Altmetric Badge
    Chapter 19 Validating UML Models and OCL Constraints
21. Altmetric Badge
    Chapter 20 Modular Architecture for a Toolset Supporting OCL
22. Altmetric Badge
    Chapter 21 Consistency Checking and Visualization of OCL Constraints
23. Altmetric Badge
    Chapter 22 Strict Profiles: Why and How
24. Altmetric Badge
    Chapter 23 Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML
25. Altmetric Badge
    Chapter 24 Composing Design Models: An Extension to the UML
26. Altmetric Badge
    Chapter 25 Extreme Programming and Modelling?
27. Altmetric Badge
    Chapter 26 Interacting Subsystems in UML
28. Altmetric Badge
    Chapter 27 Consistent Behaviour Representation in Activity and Sequence Diagrams
29. Altmetric Badge
    Chapter 28 Using UML Collaboration Diagrams for Static Checking and Test Generation
30. Altmetric Badge
    Chapter 29 Supporting Several Levels of Restriction in the UML
31. Altmetric Badge
    Chapter 30 A UML-Based Methodology for Hypermedia Design
32. Altmetric Badge
    Chapter 31 Object Oriented Methodology Based on UML for Urban Traffic System Modeling
33. Altmetric Badge
    Chapter 32 Extending OCL to Include Actions
34. Altmetric Badge
    Chapter 33 A Structured Approach to Develop Concurrent Programs in UML
35. Altmetric Badge
    Chapter 34 Describing AI Analysis Patterns with UML
36. Altmetric Badge
    Chapter 35 Precise Modeling of Design Patterns
37. Altmetric Badge
    Chapter 36 Architectural Patterns for Metamodeling: The Hitchhiker’s Guide to the UML Metaverse
38. Altmetric Badge
    Chapter 37 Reconciling the Needs of Architectural Description with Object-Modeling Notations
39. Altmetric Badge
    Chapter 38 Towards a UML Profile for Software Architecture Descriptions
40. Altmetric Badge
    Chapter 39 Rewrite Rules and Operational Semantics for Model Checking UML Statecharts
41. Altmetric Badge
    Chapter 40 Part-Whole Statecharts for the Explicit Representation of Compound Behaviours
42. Altmetric Badge
    Chapter 41 Modeling of Architectures with UML