Fourth International Conference on the Unified Modeling Language: UML 2001

1-5th October, 2001, Toronto, Canada (Conference Home)

Invited Talk

• Jim Rumbaugh: The Preacher at Arrakeen, p. 1, (BibTeX entry).

Metamodeling

• José M. Álvarez, Tony Clark, Andy Evans, Paul Sammut: An Action Semantics for MML, p. 2-18, (BibTeX entry).
• Colin Atkinson, Thomas Kühne: The Essence of Multilevel Metamodeling, p. 19-33, (BibTeX entry).
• José M. Álvarez, Andy Evans, Paul Sammut: Mapping between Levels in the Metamodel Architecture, p. 34-46, (BibTeX entry).

Activity Diagrams

• Rik Eshuis, Roel Wieringa: An Execution Algorithm for UML Activity Graphs, p. 47-61, (BibTeX entry).
• Li Xuandong, Cui Meng, Pei Yu, Zhao Jianhua, Zheng Guoliang: Timing Analysis of UML Activity Diagrams, p. 62-75, (BibTeX entry).
• Marlon Dumas, Arthur H. M. ter Hofstede: UML Activity Diagrams as a Workflow Specification Language, p. 76-90, (BibTeX entry).

OCL

• David H. Akehurst, B. Bordbar: On Querying UML Data Models with OCL, p. 91-103, (BibTeX entry).
• Birgit Demuth, Heinrich Hussmann, Sten Loecher: OCL as a Specification Language for Business Rules in Database Applications, p. 104-117, (BibTeX entry).
• María Victoria Cengarle, Alexander Knapp: A Formal Semantics for OCL 1.4, p. 118-133, (BibTeX entry).

Architecture and Patterns

• Gerson Sunyé, Damien Pollet, Yves Le Traon, Jean-Marc Jézéquel: Refactoring UML Models, p. 134-148, (BibTeX entry).
• Sherif M. Yacoub, Hany H. Ammar: UML Support for Designing Software Systems as a Composition of Design Patterns, p. 149-165, (BibTeX entry).
• Valentin Crettaz, Mohamed Mancona Kandé, Shane Sendall, Alfred Strohmeier: Integrating the ConcernBASE Approach with SADL, p. 166-181, (BibTeX entry).

Analysis and Testing

• Frank Devos, Eric Steegmans: The Message Paradigm in Object-Oriented Analysis, p. 182-193, (BibTeX entry).
• Lionel Briand, Yvan Labiche: A UML-Based Approach to System Testing, p. 194-208, (BibTeX entry).

Performance and Databases

• Vincenzo Grassi, Raffaela Mirandola: UML Modelling and Performance Analysis of Mobile Software Architectures, p. 209-224, (BibTeX entry).
• E. Marcos, B. Vela, J. M. Cavero: Extending UML for Object-Relational Database Design, p. 225-239, (BibTeX entry).

Invited Talk

• Werner Damm: Understanding UML - Pains and Rewards, p. 240, (BibTeX entry).

Graph Transformation

• Sabine Kuske: A Formal Semantics of UML State Machines Based on Structured Graph Transformation, p. 241-256, (BibTeX entry).
• Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer: A Visualization of OCL Using Collaborations, p. 257-271, (BibTeX entry).
• Gregor Engels, Reiko Heckel, Jochen Malte Küster: Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model, p. 272-286, (BibTeX entry).

Real-Time and Embedded Systems

• L. Apvrille, P. de Saqui-Sannes, C. Lohr, P. Sénac, J.-P. Courtiat: A New UML Profile for Real-Time System Formal Design and Validation, p. 287-301, (BibTeX entry).
• Elizabeth Latronico, Philip Koopman: Representing Embedded System Sequence Diagrams as a Formal Language, p. 302-316, (BibTeX entry).
• Marc Lettrari, Jochen Klose: Scenario-Based Monitoring and Testing of Real-Time UML Models, p. 317-328, (BibTeX entry).

Associations and Ontology

• Gonzalo Génova, Juan Llorens, Paloma Martínez: Semantics of the Minimum Multiplicity in Ternary Associations in UML, p. 329-341, (BibTeX entry).
• Kenneth Baclawski, Mieczyslaw K. Kokar, Paul A. Kogut, Lewis Hart, Jeffrey Smith, William S. Holmes, Jerzy Letkowski, Michael L. Aronson: Extending UML to Support Ontology Engineering for the Semantic Web, p. 342-360, (BibTeX entry).
• Perdita Stevens: On Associations in the Unified Modelling Language, p. 361-375, (BibTeX entry).

Statecharts

• Emil Sekerinski, Rafik Zurob: iState: A Statechart Translator, p. 376-390, (BibTeX entry).
• Shane Sendall, Alfred Strohmeier: Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML , p. 391-405, (BibTeX entry).
• Michael van der Beeck: Formalization of UML-Statecharts, p. 406-421, (BibTeX entry).

Invited Talk

• John Mylopoulos, Manuel Kolp, Jaelson Castro: UML for Agent-Oriented Software Development: The Tropos Proposal, p. 422-441, (BibTeX entry).

Components

• Torben Weis, Christian Becker, Kurt Geihs, Noël Plouzeau: A UML Meta-model for Contract Aware Components, p. 442-456, (BibTeX entry).
• Ella Roubtsova, L. C. M. van Gool, R. Kuiper, H. B. M. Jonkers: A Specification Model for Interface Suites, p. 457-471, (BibTeX entry).

Use Cases

• Pierre Metz, John O'Brian, Wolfgang Weber: Against Use Case Interleaving, p. 472-486, (BibTeX entry).
• Bente Anda, Hege Dreiem, Dag I. K. Sjřberg, Magne Jřrgensen: Estimating Software Development Effort Based on Use Cases - Experiences from Industry, p. 1, (BibTeX entry).

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