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.
Author(s): Shane Sendall, Alfred Strohmeier (auth.), Andy Evans, Stuart Kent, Bran Selic (eds.)
Series: Lecture Notes in Computer Science 1939
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2000
Language: English
Pages: 575
Tags: Software Engineering; Programming Languages, Compilers, Interpreters; Business Information Systems
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
