Skip to main content
SpringerLink
Log in

UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools

4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings

  • Conference proceedings
  • © 2001

Overview

Editors:
  1. Martin Gogolla

    1. Department of Mathematics and Computer Science Database Systems Group, University of Bremen, Bremen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Cris Kobryn

    1. Telelogic Technologies, Fallbrook, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2185)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (36 papers)

  1. Graph Transformations

    1. A Visualization of OCL Using Collaborations

      • Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer
      Pages 257-271

    2. Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model

      • Gregor Engels, Reiko Heckel, Jochen Malte Küster
      Pages 272-286

  2. Real-Time and Embedded Systems

    1. A New UML Profile for Real-Time System Formal Design and Validation

      • L. Apvrille, P. de Saqui-Sannes, C. Lohr, P. Sénac, J. -P. Courtiat
      Pages 287-301

    2. Representing Embedded System Sequence Diagrams as a Formal Language

      • Elizabeth Latronico, Philip Koopman
      Pages 302-316

    3. Scenario-Based Monitoring and Testing of Real-Time UML Models

      • Marc Lettrari, Jochen Klose
      Pages 317-328

  3. Associations and Ontology

    1. Semantics of the Minimum Multiplicity in Ternary Associations in UML

      • Gonzalo Génova, Juan Llorens, Paloma Martínez
      Pages 329-341

    2. Extending UML to Support Ontology Engineering for the Semantic Web

      • Kenneth Baclawski, Mieczyslaw K. Kokar, Paul A. Kogut, Lewis Hart, Jeffrey Smith, William S. Holmes III et al.
      Pages 342-360

    3. On Associations in the Unified Modelling Language

      • Perdita Stevens
      Pages 361-375

  4. Statecharts

    1. iState: A Statechart Translator

      • Emil Sekerinski, Rafik Zurob
      Pages 376-390

    2. Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML

      • Shane Sendall, Alfred Strohmeier
      Pages 391-405

    3. Formalization of UML-Statecharts

      • Michael von der Beeck
      Pages 406-421

  5. Invited Talk

    1. UML for Agent-Oriented Software Development: The Tropos Proposal

      • John Mylopoulos, Manuel Kolp, Jaelson Castro
      Pages 422-441

  6. Components

    1. A UML Meta-model for Contract Aware Components

      • Torben Weis, Christian Becker, Kurt Geihs, Noël Plouzeau
      Pages 442-456

    2. A Specification Model for Interface Suites

      • E. E. Roubtsova, L. C. M. van Gool, R. Kuiper, H. B. M. Jonkers
      Pages 457-471

  7. Use Cases

    1. Against Use Case Interleaving

      • Pierre Metz, John O’Brien, Wolfgang Weber
      Pages 472-486

    2. Estimating Software Development Effort Based on Use Cases — Experiences from Industry

      • Bente Anda, Hege Dreiem, Dag I. K. Sjøberg, Magne Jørgensen
      Pages 487-502

  8. Workshops and Tutorials

    1. Workshops and Tutorials at the UML 2001 Conference

      • Heinrich Hussmann
      Pages 503-507

  9. Back Matter

    Pages 509-510
    Download chapter PDF
Back to top

Keywords

About this book

This book constitutes the refereed proceedings of the 4th International Conference on the Unified Modeling Language, 2001, held in Toronto, Canada, in October 2001.
The 33 revised full papers presented together with one invited paper were carefully reviewed and selected from a total of 122 abstracts and 102 papers submitted. The papers are organized in topical sections on metamodeling, activity diagrams, OCL, architecture and patterns, analysis and testing, performance and databases, graph transformations, real-time and embedded systems, associations and ontology, statecharts, components, and use cases.

Editors and Affiliations

  • Department of Mathematics and Computer Science Database Systems Group, University of Bremen, Bremen, Germany

    Martin Gogolla

  • Telelogic Technologies, Fallbrook, USA

    Cris Kobryn

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation