Login (DCU Staff Only)
Login (DCU Staff Only)

DORAS | DCU Research Repository

Explore open access research and scholarly works from DCU

Advanced Search

Components, contracts, and connectors for the Unified Modelling Language UML

Pahl, Claus orcid logoORCID: 0000-0002-9049-212X (2001) Components, contracts, and connectors for the Unified Modelling Language UML. In: FME’01 Symposium Formal Methods Europe, 12-16 Mar 2001, Berlin, Germany.

Abstract
The lack of a component concept for the UML is widely ac- knowledged. 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 postcon- dition 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 renement relation for operations and classes, derived from operation abstractions. Abstract behaviour, expressed by pre- and post-conditions, and renement are the key elements in the denition of a formal and flexible component and component interconnection approach.
Metadata
Item Type:Conference or Workshop Item (Paper)
Event Type:Conference
Refereed:Yes
Uncontrolled Keywords:Formal methods; unified modelling language; UML
Subjects:UNSPECIFIED
DCU Faculties and Centres:DCU Faculties and Schools > Faculty of Engineering and Computing > School of Computing
Published in: Formal Methods for Increasing Software Productivity. Lecture Notes in Computer Science 2021.
Official URL:http://www.springerlink.com/content/eye373183up246...
Copyright Information:© 2001 Springer-Verlag. The original publication is available at www.springerlink.com
Use License:This item is licensed under a Creative Commons Attribution-NonCommercial-Share Alike 3.0 License. View License
ID Code:15923
Deposited On:24 Jun 2011 11:40 by Shane Harper . Last Modified 19 Jan 2021 15:11
Documents

Full text available as:

[thumbnail of Components,_Contracts,_and_Connectors_for_the_Unified_Modelling_Language_UML.pdf]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
308kB
Downloads

Downloads

Downloads per month over past year

Archive Staff Only: edit this record