Components, Contracts, and Connectors for the Unified Modelling Language UML

  • Claus Pahl
Conference paper

DOI: 10.1007/3-540-45251-6_15

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2021)
Cite this paper as:
Pahl C. (2001) Components, Contracts, and Connectors for the Unified Modelling Language UML. In: Oliveira J.N., Zave P. (eds) FME 2001: Formal Methods for Increasing Software Productivity. FME 2001. Lecture Notes in Computer Science, vol 2021. Springer, Berlin, Heidelberg

Abstract

The lack of a component concept for the UML is widely acknowledged. Contracts between components can be the starting point for introducing components and component interconnections. Contracts between service providers and service users are formulated based on abstractions of action and operation behaviour using the pre- and postcondition technique. A valid contract allows to establish an interconnection - a connector - between the provider and the user. The contract concept supports the re-use of components by providing means to establish and modify component interconnections. A flexible contract concept shall be based on a refinement relation for operations and classes, derived from operation abstractions. Abstract behaviour, expressed by pre- and postconditions, and refinement are the key elements in the definition of a formal and flexible component and component interconnection approach.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Claus Pahl
    • 1
  1. 1.School of Computer ApplicationsDublin City UniversityIreland

Personalised recommendations