UML'99 - The Unified Modeling Language Beyond the Standard : Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings

by France, R.; Rumpe, B.; Goos, G.; Hartmanis, J.; Leeuwen, J. Van

• ISBN13: 9783540667124
• ISBN10: 3540667121
• Format: Paperback
• Copyright: 1999-06-01
• Publisher: Springer Verlag

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.

Table of Contents

Invited Talk 1 (Abstract)
Architecting Web-Based Systems with the Unified Modeling Language	1	(1)
Grady Booch
Software Architecture
Extending Architectural Representation in UML with View Integration	2	(15)
Alexander Egyed
Nenad Medvidovic
Enabling the Refinement of a Software Architecture into a Design	17	(15)
Marwan Abi-Antoun
Nenad Medvidovic
Using the UML for Architectural Description	32	(17)
Rich Hilliard
UML and Other Notations
Viewing the OML as a Variant of the UML	49	(18)
Brian Henderson-Sellers
Colin Atkinson
Don Firesmith
A Comparison of the Business Object Notation and the Unified Modeling Language	67	(16)
Richard F. Paige
Jonathan S. Ostroff
Formalizing the UML Class Diagram Using Object-Z	83	(16)
Soon-Kyeong Kim
David Carrington
Formalizing Interactions
A Formal Approach to Collaborations in the Unified Modeling Language	99	(17)
Gunnar Overgaard
A Formal Semantics for UML Interactions	116	(15)
Alexander Knapp
Panel 1
UML 2.0 Architectural Crossroads: Sculpting or Mudpacking?	131	(9)
Chris Kobryn
Michael Jesse Chonoles
Steve Cook
Desmond D'Souza
Sridhar Iyengar
Guus Ramackers
Meta-Modeling
Core Meta-Modelling Semantics of UML: The pUML Approach	140	(16)
Andy Evans
Stuart Kent
A Metamodel for OCL	156	(16)
Mark Richters
Martin Gogolla
Tools
Tool-Supported Compressing of UML Class Diagrams	172	(16)
Ferenc Dosa Racz
Kai Koskimies
A Pragmatic Approach for Building a User-Friendly and Flexible UML Model Repository	188	(16)
Mariano Belaunde
Components
Modeling Dynamic Software Components in UML	204	(16)
Axel Wienberg
Florian Matthes
Marko Boger
Extending UML for Modeling Reflective Software Components	220	(16)
Junichi Suzuki
Yoshikazu
Yamamoto
UML Extension Mechanisms
Nine Suggestions for Improving UML Extensibility	236	(13)
Nathan Dykman
Martin Griss
Robert Kessler
A Classification of Stereotypes for Object-Oriented Modeling Languages	249	(16)
Stefan Berner
Martin Glinz
Stefan Joos
First-Class Extensibility for UML - Packaging of Profiles, Stereotypes, Patterns	265	(13)
Desmond D'Souza
Aamod Sane
Alan Birchenough
Process Modeling
UML-based Fusion Analysis	278	(14)
Shane Sendall
Alfred Strohmeier
Using UML for Modelling the Static Part of a Software Process	292	(16)
Xavier Franch
Josep M. Ribo
Framework for Describing UML Compatible Development Processes	308	(16)
Pavel Hruby
Invited Talk 2
On the Behavior of Complex Object-Oriented Systems	324	(6)
David Harel
Real-Time Systems
UML-RT as a Candidate for Modeling Embedded Real-Time Systems in the Telecommunication Domain	330	(9)
Dominikus Herzberg
Modeling Hard Real Time Systems with UML - The OOHARTS Approach	339	(17)
Laila Kabous
Wolfgang Nebel
UML Based Performance Modeling Framework for Object-Oriented Distributed Systems	356	(16)
Pekka Kahkipuro
Constraint Languages
Defining the Context of OCL Expressions	372	(12)
Steve Cook
Anneke Kleppe
Richard Mitchell
Jos Warmer
Alan Wills
Mixing Visual and Textual Constraint Languages	384	(15)
Stuart Kent
John Howse
Correct Realizations of Interface Constraints with OCL	399	(17)
Michel Bidoit
Rolf Hennicker
Francoise Tort
Martin Wirsing
Analyzing UML Models 1
Generating Tests from UML Specifications	416	(14)
Jeff Offutt
Aynur Abdurazik
Formalising UML State Machines for Model Checking	430	(16)
Johan Lilius
Ivan Porres Paltor
Panel 2
SDL as UML: Why and What	446	(11)
Bran Selic
Philippe Dhaussy
Anders Ek
Oystein Haugen
Philippe Leblanc
Birger Moller-Pedersen
Coding 1
UML Behavior: Inheritance and Implementation in Current Object-Oriented Languages	457	(16)
Jean Louis Sourrouille
UML Collaboration Diagrams and Their Transformation to Java	473	(16)
Gregor Engels
Roland Hucking
Stefan Sauer
Annika Wagner
Analyzing UML Models 2
Towards Three-Dimensional Representation and Animation of UML Diagrams	489	(14)
Martin Gogolla
Oliver Radfelder
Mark Richters
Typechecking UML Static Models	503	(15)
Tony Clark
Precise Behavioral Modeling
Analysing UML Use Cases as Contracts	518	(16)
Ralph-Johan Back
Luigia Petre
Ivan Porres Paltor
Closing the Gap Between Object-Oriented Modeling of Structure and Behavior	534	(16)
Holger Giese
Jorg Graf
Gaido Wirtz
Static Modeling
Black and White Diamonds	550	(16)
Brian Henderson-Sellers
Franck Barbier
Interconnecting Objects via Contracts	566	(18)
Luis Filipe Andrade
Jose Luiz Fiadeiro
How Can a Subsystem be Both a Package and a Classifier?	584	(14)
Joaquin Miller
Rebecca Wirfs-Brock
Applying the UML
Using UML/OCL Constraints for Relational Database Design	598	(16)
Birgit Demuth
Heinrich Hussmann
Towards a UML Extension for Hypermedia Design	614	(16)
Hubert Baumeister
Nora Koch
Luis Mandel
Why Unified is Not Universal? - UML Shortcomings for Coping with Round-Trip Engineering	630	(15)
Serge Demeyer
Stephane Ducasse
Sander Tichelaar
Sequence Diagrams
Timed Sequence Diagrams and Tool-Based Analysis - A Case Study	645	(16)
Thomas Firley
Michaela Huhn
Karsten Diethers
Thomas Gehrke
Ursula Goltz
Timing Analysis of UML Sequence Diagrams	661	(14)
Xuandong Li
Johan Lilius
Coding 2
The Normal Object Form: Bridging the Gap from Models to Code	675	(16)
Christian Bunse
Colin Atkinson
Modeling Exceptional Behavior	691	(15)
Neelam Soundarajan
Stephen Fridella
Panel 3
Advanced Methods and Tools for a Precise UML	706	(17)
Andy Evans
Steve Cook
Steve Mellor
Jos Warmer
Alan Wills
Author Index	723