This book constitutes the refereed proceedings of the 4th International Conference on the Unified Modeling Language, 2001, held in Toronto, Canada, in October 2001.
The 33 revised full papers presented together with one invited paper were carefully reviewed and selected from a total of 122 abstracts and 102 papers submitted. The papers are organized in topical sections on metamodeling, activity diagrams, OCL, architecture and patterns, analysis and testing, performance and databases, graph transformations, real-time and embedded systems, associations and ontology, statecharts, components, and use cases.
Author(s): Jim Rumbaugh (auth.), Martin Gogolla, Cris Kobryn (eds.)
Series: Lecture Notes in Computer Science 2185
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2001
Language: English
Pages: 514
Tags: Software Engineering; Programming Languages, Compilers, Interpreters; Management of Computing and Information Systems; Business Information Systems
The Preacher at Arrakeen....Pages 1-1
An Action Semantics for MML....Pages 2-18
The Essence of Multilevel Metamodeling....Pages 19-33
Mapping between Levels in the Metamodel Architecture....Pages 34-46
An Execution Algorithm for UML Activity Graphs....Pages 47-61
Timing Analysis of UML Activity Diagrams....Pages 62-75
UML Activity Diagrams as a Workflow Specification Language....Pages 76-90
On Querying UML Data Models with OCL....Pages 91-103
OCL as a Specification Language for Business Rules in Database Applications....Pages 104-117
A Formal Semantics for OCL 1.4....Pages 118-133
Refactoring UML Models....Pages 134-148
UML Support for Designing Software Systems as a Composition of Design Patterns....Pages 149-165
Integrating the ConcernBASE Approach with SADL....Pages 166-181
The Message Paradigm in Object-Oriented Analysis....Pages 182-193
A UML-Based Approach to System Testing....Pages 194-208
UML Modelling and Performance Analysis of Mobile Software Architectures....Pages 209-224
Extending UML for Object-Relational Database Design....Pages 225-239
Understanding UML — Pains and Rewards....Pages 240-240
A Formal Semantics of UML State Machines Based on Structured Graph Transformation....Pages 241-256
A Visualization of OCL Using Collaborations....Pages 257-271
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model....Pages 272-286
A New UML Profile for Real-Time System Formal Design and Validation....Pages 287-301
Representing Embedded System Sequence Diagrams as a Formal Language....Pages 302-316
Scenario-Based Monitoring and Testing of Real-Time UML Models....Pages 317-328
Semantics of the Minimum Multiplicity in Ternary Associations in UML....Pages 329-341
Extending UML to Support Ontology Engineering for the Semantic Web....Pages 342-360
On Associations in the Unified Modelling Language....Pages 361-375
iState: A Statechart Translator....Pages 376-390
Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML....Pages 391-405
Formalization of UML-Statecharts....Pages 406-421
UML for Agent-Oriented Software Development: The Tropos Proposal....Pages 422-441
A UML Meta-model for Contract Aware Components....Pages 442-456
A Specification Model for Interface Suites....Pages 457-471
Against Use Case Interleaving....Pages 472-486
Estimating Software Development Effort Based on Use Cases — Experiences from Industry....Pages 487-502
Workshops and Tutorials at the UML 2001 Conference....Pages 503-507
