UML'99 - the unified modeling language : beyond the standard : second international conference, Fort Collins, CO, USA, October 28-30, 1999 : proceedings / edited by Robert France, Bernhard Rumpe.

Format:

Book

Conference/Event

Author/Creator:

UML '99, Corporate Author.

Contributor:

Rumpe, Bernhard, editor.

France, Robert, editor.

Conference Name:

UML '99 (1999 : Fort Collins, Colo.)

Series:

Lecture notes in computer science ; 1723.

Lecture Notes in Computer Science ; 1723

Language:

English

Subjects (All):

UML (Computer science)--Congresses.

UML (Computer science).

Computer software--Development--Congresses.

Computer software.

Object-oriented methods (Computer science)--Congresses.

Object-oriented methods (Computer science).

Physical Description:

1 online resource (XVII, 726 p.)

Edition:

1st ed. 1999.

Place of Publication:

Berlin, Heidelberg : Springer, [1999]

Language Note:

English

Summary:

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.

Contents:

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-Oriented Distributed 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.

Notes:

Bibliographic Level Mode of Issuance: Monograph

Description based on print version record.

ISBN:

3-540-46852-8