| Invited Talk 1 (Abstract) |
| Architecting Web-Based Systems with the Unified Modeling Language / Grady Booch |
| Software Architecture |
| Extending Architectural Representation in UML with View Integration / Alexander Egyed ; Nenad Medvidovic |
| Enabling the Refinement of a Software Architecture into a Design / Marwan Abi-Antoun |
| Using the UML for Architectural Description / Rich Hilliard |
| UML and Other Notations |
| Viewing the OML as a Variant of the UML / Brian Henderson-Sellers ; Colin Atkinson ; Don Firesmith |
| A Comparison of the Business Object Notation and the Unified Modeling Language / Richard F. Paige ; Jonathan S. Ostroff |
| Formalizing the UML Class Diagram Using Object-Z / Soon-Kyeong Kim ; David Carrington |
| Formalizing Interactions |
| A Formal Approach to Collaborations in the Unified Modeling Language / Gunnar Övergaard |
| A Formal Semantics for UML Interactions / Alexander Knapp |
| Panel 1 |
| UML 2.0 Architectural Crossroads: Sculpting or Mudpacking? / Moderator: 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 / Andy Evans ; Stuart Kent |
| A Metamodel for OCL / Mark Richters ; Martin Gogolla |
| Tools |
| Tool-Supported Compressing of UML Class Diagrams / Ferenc Dósa Rácz ; Kai Koskimies |
| A Pragmatic Approach for Building a User-Friendly and Flexible UML Model Repository / Mariano Belaunde |
| Components |
| Modeling Dynamic Software Components in UML / Axel Wienberg ; Florian Matthes ; Marko Boger |
| Extending UML for Modeling Reflective Software Components / Junichi Suzuki ; Yoshikazu Yamamoto |
| UML Extension Mechanisms |
| Nine Suggestions for Improving UML Extensibility / Nathan Dykman ; Martin Griss ; Robert Kessler |
| A Classification of Stereotypes for Object-Oriented Modeling Languages / Stefan Berner ; Martin Glinz ; Stefan Joos |
| First-Class Extensibility for UML - Packaging of Profiles, Stereotypes, Patterns / Aamod Sane ; Alan Birchenough |
| Process Modeling |
| UML-Based Fusion Analysis / Shane Sendall ; Alfred Strohmeier |
| Using UML for Modelling the Static Part of a Software Process / Xavier Franch ; Josep M. Ribó |
| Framework for Describing UML Compatible Development Processes / Pavel Hruby |
| Invited Talk 2 |
| On the Behavior of Complex Object-Oriented Systems / David Harel |
| Real-Time Systems |
| UML-RT as a Candidate for Modeling Embedded Real-Time Systems in the Telecommunication Domain / Dominikus Herzberg |
| Modeling Hard Real Time Systems with UML - The OOHARTS Approach / Laila Kabous ; Wolfgang Nebel |
| UML Based Performance Modeling Framework for Object-Oriented Distributed Systems / Pekka Kähkipuro |
| Constraint Languages |
| Defining the Context of OCL Expressions / Anneke Kleppe ; Richard Mitchell ; Jos Warmer ; Alan Wills |
| Mixing Visual and Textual Constraint Languages / John Howse |
| Correct Realizations of Interface Constraints with OCL / Michel Bidoit ; Rolf Hennicker ; Françoise Tort ; Martin Wirsing |
| Analyzing UML Models 1 |
| Generating Tests from UML Specifications / Jeff Offutt ; Aynur Abdurazik |
| Formalising UML State Machines for Model Checking / Johan Lilius ; Iván Porres Paltor |
| Panel 2 |
| SDL as UML: Why and What / Moderator: Bran Selic ; Philippe Dhaussy ; Anders Ek ; Øystein Haugen ; Philippe Leblanc,Birger Møller-Pedersen |
| Coding 1 |
| UML Behavior: Inheritance and Implementation in Current Object-Oriented Languages / Jean Louis Sourrouille |
| UML Collaboration Diagrams and Their Transformation to Java / Gregor Engels ; Roland Hücking ; Stefan Sauer ; Annika Wagner |
| Analyzing UML Models 2 |
| Towards Three-Dimensional Representation and Animation of UML Diagrams / Oliver Radfelder |
| Typechecking UML Static Models / Tony Clark |
| Precise Behavioral Modeling |
| Analysing UML Use Cases as Contracts / Ralph-Johan Back ; Luigia Petre |
| Closing the Gap Between Object-Oriented Modeling of Structure and Behavior / Holger Giese ; Jörg Graf ; Guido Wirtz |
| Static Modeling |
| Black and White Diamonds / Franck Barbier |
| Interconnecting Objects via Contracts / LuÃs Filipe Andrade ; José Luiz Fiadeiro |
| How Can a Subsystem Be Both a Package and a Classifier? / Joaquin Miller ; Rebecca Wirfs-Brock |
| Applying the UML |
| Using UML/OCL Constraints for Relational Database Design / Birgit Demuth ; Heinrich Hussmann |
| Towards a UML Extension for Hypermedia Design / Hubert Baumeister ; Nora Koch ; Luis Mandel |
| Why Unified is Not Universal? - UML Shortcomings for Coping with Round-Trip Engineering / Serge Demeyer ; Stéphane Ducasse ; Sander Tichelaar |
| Sequence Diagrams |
| Timed Sequence Diagrams and Tool-Based Analysis - A Case Study / Thomas Firley ; Michaela Huhn ; Karsten Diethers ; Thomas Gehrke ; Ursula Goltz |
| Timing Analysis of UML Sequence Diagrams / Xuandong Li |
| Coding 2 |
| The Normal Object Form: Bridging the Gap from Models to Code / Christian Bunse |
| Modeling Exceptional Behavior / Neelam Soundarajan ; Stephen Fridella |
| Panel 3 |
| Advanced Methods and Tools for a Precise UML / Moderator: Andy Evans ; Steve Mellor |
| Author Index |
| Invited Talk 1 (Abstract) |
| Architecting Web-Based Systems with the Unified Modeling Language / Grady Booch |
| Software Architecture |
図書
