This book constitutes the refereed proceedings of the Second International Conference on the Unified Modeling Language, UML'99, held in Fort Collins, CO, USA in September 1999. The 44 revised full papers presented together with two invited contributions and three panel summaries were carefully reviewed and selected from a total of 166 submissions. The papers are organized in topical sections on software architecture, UML and other notations, formalizing interactions, meta modeling, tools, components, UML extension mechanisms, process modeling, real-time systems, constraint languages, analyzing UML models, precise behavioral modeling, applying UML sequence design, and coding.
Author(s): Grady Booch (auth.), Robert France, Bernhard Rumpe (eds.)
Series: Lecture Notes in Computer Science 1723
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1999
Language: English
Pages: 726
Tags: Software Engineering; Programming Languages, Compilers, Interpreters; Business Information Systems
Architecting Web-Based Systems with the Unified Modeling Language....Pages 1-1
Extending Architectural Representation in UML with View Integration....Pages 2-16
Enabling the Refinement of a Software Architecture into a Design....Pages 17-31
Using the UML for Architectural Description....Pages 32-48
Viewing the OML as a Variant of the UML....Pages 49-66
A Comparison of the Business Object Notation and the Unified Modeling Language....Pages 67-82
Formalizing the UML Class Diagram Using Object-Z....Pages 83-98
A Formal Approach to Collaborations in the Unified Modeling Language....Pages 99-115
A Formal Semantics for UML Interactions....Pages 116-130
UML 2.0 Architectural Crossroads: Sculpting or Mudpacking?....Pages 131-139
Core Meta-Modelling Semantics of UML: The pUML Approach....Pages 140-155
A Metamodel for OCL....Pages 156-171
Tool-Supported Compression of UML Class Diagrams....Pages 172-187
A Pragmatic Approach for Building a User-Friendly and Flexible UML Model Repository....Pages 188-203
Modeling Dynamic Software Components in UML....Pages 204-219
Extending UML for Modeling Reflective Software Components....Pages 220-235
Nine Suggestions for Improving UML Extensibility....Pages 236-248
A Classification of Stereotypes for Object-Oriented Modeling Languages....Pages 249-264
First-Class Extensibility for UML — Packaging of Profiles, Stereotypes, Patterns....Pages 265-277
UML-Based Fusion Analysis....Pages 278-291
Using UML for Modelling the Static Part of a Software Process....Pages 292-307
Framework for Describing UML Compatible Development Processes....Pages 308-323
On the Behavior of Complex Object-Oriented Systems....Pages 324-329
UML-RT as a Candidate for Modeling Embedded Real-Time Systems in the Telecommunication Domain....Pages 330-338
Modeling Hard Real Time Systems with UML The OOHARTS Approach....Pages 339-355
UML Based Performance Modeling Framework for Object-Oriented Distributed Systems....Pages 356-371
Defining the Context of OCL Expressions....Pages 372-383
Mixing Visual and Textual Constraint Languages....Pages 384-398
Correct Realizations of Interface Constraints with OCL....Pages 399-415
Generating Tests from UML Specifications....Pages 416-429
Formalising UML State Machines for Model Checking....Pages 430-444
SDL as UML: Why and What Panel....Pages 446-456
UML Behavior: Inheritance and Implementation in Current Object-Oriented Languages....Pages 457-472
UML Collaboration Diagrams and Their Transformation to Java....Pages 473-488
Towards Three-Dimensional Representation and Animation of UML Diagrams....Pages 489-502
Typechecking UML Static Models....Pages 503-517
Analysing UML Use Cases as Contracts....Pages 518-533
Closing the Gap between Object-Oriented Modeling of Structure and Behavior....Pages 534-549
Black and White Diamonds....Pages 550-565
Interconnecting Objects via Contracts....Pages 566-583
How Can a Subsystem Be Both a Package and a Classifier?....Pages 584-597
Using UML/OCL Constraints for Relational Database Design....Pages 598-613
Towards a UML Extension for Hypermedia Design....Pages 614-629
Why Unified Is not Universal....Pages 630-644
Timed Sequence Diagrams and Tool-Based Analysis — A Case Study....Pages 645-660
Timing Analysis of UML Sequence Diagrams....Pages 661-674
The Normal Object Form: Bridging the Gap from Models to Code....Pages 675-690
Modeling Exceptional Behavior....Pages 691-704
Advanced Methods and Tools for a Precise UML....Pages 706-722
