UML'99 - The Unified Modeling Language: Beyond the Standard
Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings
Published on 31. July 2003
XVII, 726 pages
978-3-540-46852-3 (ISBN)
Description
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.
More details
Other editions
Additional editions
Robert B. France | Bernhard Rumpe
UML'99 - The Unified Modeling Language: Beyond the Standard
Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings
Book
10/1999
Springer
€106.99
Shipment within 10-15 days
Content
Invited Talk 1 (Abstract).- Architecting Web-Based Systems with the Unified Modeling Language.- Software Architecture.- Extending Architectural Representation in UML with View Integration.- Enabling the Refinement of a Software Architecture into a Design.- Using the UML for Architectural Description.- UML and Other Notations.- Viewing the OML as a Variant of the UML.- A Comparison of the Business Object Notation and the Unified Modeling Language.- Formalizing the UML Class Diagram Using Object-Z.- Formalizing Interactions.- A Formal Approach to Collaborations in the Unified Modeling Language.- A Formal Semantics for UML Interactions.- Panel 1.- UML 2.0 Architectural Crossroads: Sculpting or Mudpacking?.- Meta-Modeling.- Core Meta-Modelling Semantics of UML: The pUML Approach.- A Metamodel for OCL.- Tools.- Tool-Supported Compression of UML Class Diagrams.- A Pragmatic Approach for Building a User-Friendly and Flexible UML Model Repository.- Components.- Modeling Dynamic Software Components in UML.- Extending UML for Modeling Reflective Software Components.- UML Extension Mechanisms.- Nine Suggestions for Improving UML Extensibility.- A Classification of Stereotypes for Object-Oriented Modeling Languages.- First-Class Extensibility for UML - Packaging of Profiles, Stereotypes, Patterns.- Process Modeling.- UML-Based Fusion Analysis.- Using UML for Modelling the Static Part of a Software Process.- Framework for Describing UML Compatible Development Processes.- Invited Talk 2.- On the Behavior of Complex Object-Oriented Systems.- Real-Time Systems.- UML-RT as a Candidate for Modeling Embedded Real-Time Systems in the Telecommunication Domain.- Modeling Hard Real Time Systems with UML The OOHARTS Approach.- UML Based Performance Modeling Framework for Object-OrientedDistributed Systems.- Constraint Languages.- Defining the Context of OCL Expressions.- Mixing Visual and Textual Constraint Languages.- Correct Realizations of Interface Constraints with OCL.- Analyzing UML Models 1.- Generating Tests from UML Specifications.- Formalising UML State Machines for Model Checking.- Panel 2.- SDL as UML: Why and What Panel.- Coding 1.- UML Behavior: Inheritance and Implementation in Current Object-Oriented Languages.- UML Collaboration Diagrams and Their Transformation to Java.- Analyzing UML Models 2.- Towards Three-Dimensional Representation and Animation of UML Diagrams.- Typechecking UML Static Models.- Precise Behavioral Modeling.- Analysing UML Use Cases as Contracts.- Closing the Gap between Object-Oriented Modeling of Structure and Behavior.- Static Modeling.- Black and White Diamonds.- Interconnecting Objects via Contracts.- How Can a Subsystem Be Both a Package and a Classifier?.- Applying the UML.- Using UML/OCL Constraints for Relational Database Design.- Towards a UML Extension for Hypermedia Design.- Why Unified Is not Universal.- Sequence Diagrams.- Timed Sequence Diagrams and Tool-Based Analysis - A Case Study.- Timing Analysis of UML Sequence Diagrams.- Coding 2.- The Normal Object Form: Bridging the Gap from Models to Code.- Modeling Exceptional Behavior.- Panel 3.- Advanced Methods and Tools for a Precise UML.
