Second International Conference on the Unified Modeling Language: UML'99

October 28-30, 1999 Fort Collins, Colorado, USA (Conference Home)

Software Architecture

• Alexander Egyed, Nenad Medvidovic: Extending Architectural Representation in UML with View Integration, p. 2-16, (BibTeX entry).
• Marwan Abi-Antoun, Nenad Medvidovic: Enabling the Refinement of a Software Architecture into a Design, p. 17-31, (BibTeX entry).
• Rich Hilliard: Using the UML for Architectural Description, p. 32-48, (BibTeX entry).

UML and Other Notations

• Brian Henderson-Sellers, Colin Atkinson, Don Firesmith: A UML Variant: OML, p. 49-66, (BibTeX entry).
• Richard F. Paige, Jonathan S. Ostroff: A Comparison of the Business Object Notation and the Unified Modelling Language, p. 67-82, (BibTeX entry).
• Soon-Kyeong Kim, David Carrington: Formalizing the UML Class Diagram Using Object-Z, p. 83-98, (BibTeX entry).

Formalizing Interactions

• Gunnar Övergaard: A Formal Approach to Collaborations in the Unified Modeling Language, p. 99-115, (BibTeX entry).
• Alexander Knapp: A Formal Semantics for UML Interactions, p. 116-130, (BibTeX entry).

Meta-Modeling

• Andy Evans, Stuart Kent: Core Meta-Modelling Semantics of UML: The pUML Approach, p. 140-155, (BibTeX entry).
• Mark Richters, Martin Gogolla: A Metamodel for OCL, p. 156-171, (BibTeX entry).

Tools

• Ferenc Dosa Racz, Kai Koskimies: Tool-Supported Compressing of UML Class Diagrams, p. 172-187, (BibTeX entry).
• Mariano Belaunde: A Pragmatic Approach for Building a Flexible UML Model Repository, p. 188-203, (BibTeX entry).

Components

• Axel Wienberg, Florian Matthes, Marko Boger: Modeling Dynamic Software Components with UML, p. 204-219, (BibTeX entry).
• Junichi Suzuki, Yoshikazu Yamamoto: Extending UML for Modelling Reflective Software Components, p. 220-235, (BibTeX entry).

UML Extension Mechanisms

• Nathan Dykman, Martin Griss, Robert Kessler: Nine Suggestions for Improving UML Extensibility, p. 236-248, (BibTeX entry).
• Stefan Berner, Martin Glinz, Stefan Joos: A Classification of Stereotypes for Object-Oriented Modeling Languages, p. 249-264, (BibTeX entry).
• Desmond D'Souza, Aamond Sane, Alan Birchenough: First-Class Extensibility for UML-Profiles, Stereotypes, Patterns, p. 265-277, (BibTeX entry).

Process Modeling

• Shane Sendall, Alfred Strohmeier: UML Based Fusion Analysis Applied to a Bank Case Study, p. 278-291, (BibTeX entry).
• Xavier Franch, Josep M. Ribo: Using UML for Software Process Modelling, p. 292-307, (BibTeX entry).
• Pavel Hruby: Designing UML Based Development Processes, p. 308-323, (BibTeX entry).

Real-Time Systems

• Dominikus Herzberg: UML-RT as a Candidate for Modeling Embedded Real-Time Systems in the Telecommunication Domain, p. 330-338, (BibTeX entry).
• Laila Kabous, Wolfgang Nebel: Modeling Hard Real Time Systems with UML, p. 339-355, (BibTeX entry).
• Pekka Kähkipuro: UML Based Performance Modeling Framework for Object-Oriented Distributed Systems, p. 356-371, (BibTeX entry).

Constraint Languages

• Steve Cook, Anneke Kleppe, Richard Mitchell, Jos Warmer, Alan Cameron Wills: Defining the Context of OCL Expressions, p. 372-383, (BibTeX entry).
• Stuart Kent, John Howse: Mixing Visual and Textual Constraint Languages, p. 384-398, (BibTeX entry).
• Michel Bidoit, Rolf Hennicker, Francoise Tort, Martin Wirsing: Correct Realization of Interface Constraints with OCL, p. 399-415, (BibTeX entry).

Analyzing UML Models

• Jeff Offutt, Aynur Abdurazik: Generating Tests from UML Specifications, p. 416-429, (BibTeX entry).
• Johan Lilius, Ivan Porres Paltor: Formalising UML State Machines for Model Checking, p. 430-445, (BibTeX entry).

Coding

• Jean Louis Sourrouille: UML Behavior: Inheritance and Implementation in Current Object-Oriented Languages, p. 457-472, (BibTeX entry).
• Gregor Engels, Roland Hücking, Stefan Sauer, Annika Wagner: UML Collaboration Diagrams and their Transformation to Java, p. 473-488, (BibTeX entry).

Analyzing UML Models - 2

• Martin Gogolla, Oliver Radfelder, Mark Richters: Towards Three-Dimensional Animation of UML Diagrams, p. 489-502, (BibTeX entry).
• Tony Clark: Type Checking UML Static Diagrams, p. 503-517, (BibTeX entry).

Precise Behavioral Modeling

• Ralph-Johan Back, Luigia Petre, Ivan Porres Paltor: Analysing UML Use Cases as Contracts, p. 518-533, (BibTeX entry).
• Holger Giese, Jörg Graf, Guido Wirtz: Closing the Gap Between Object-Oriented Modeling of Structure and Behavior, p. 534-549, (BibTeX entry).

Static Modeling

• Brian Henderson-Sellers, Franck Barbier: Black and White Diamonds, p. 550-565, (BibTeX entry).
• Luis Filipe Andrade, Jose Luis Fiadeiro: Interconnecting Objects Via Contracts, p. 566-583, (BibTeX entry).
• Joaquin Miller, Rebecca Wirfs-Brock: How Can Anything be Both a Classifier and a Package?, p. 584-597, (BibTeX entry).

Applying the UML

• Birgit Demuth, Heinrich Hussmann: Using UML/OCL Constraints for Relational Database Design, p. 598-613, (BibTeX entry).
• Hubert Baumeister, Nora Koch, Luis Mandel: Towards a UML Extension for Hypermedia Design, p. 614-629, (BibTeX entry).
• Serge Demeyer, Stephane Ducasse, Sander Tichelaar: Why Unified is not Universal? ­ UML Shortcomings for Coping with Round-trip Engineering, p. 630-644, (BibTeX entry).

Sequence Diagrams

• Thomas Firley, Michaela Huhn, Karsten Diethers, Thomas Gehrke, Ursula Goltz: Timed Sequence Diagrams and Tool-Based Analysis ­ A Case Study, p. 645-660, (BibTeX entry).
• Xuandong Li, Johan Lilius: Timing Analysis of UML Sequence Diagrams, p. 661-674, (BibTeX entry).

Coding ­ 2

• Christian Bunse, Colin Atkinson: The Normal Object Form: Bridging the Gap from Models to Code, p. 675-690, (BibTeX entry).
• Neelam Soundarajan, Stephen Fridella: Modeling Exceptional Behavior, p. 691-705, (BibTeX entry).

[Home | Search Author | Search Title]
Contact: Paul Ziemann (ziemann@informatik.uni-bremen.de), last update: 10.5.2005.