Interface suites as contracts : composition of contracts in UML

E.E. Roubtsova, H.B.M. Jonkers, R. Kuiper

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

51 Downloads (Pure)


We present a tool for composition of component specifications. The tool uses UML diagrams to model the composition. A fixed component specification is a contract between some roles communicating via interfaces. A contract has a specific underlying model that we present. Composition of contracts is a contract that extends contracts of composites, but does not change them. To guarantee this feature we built some rules of the composition into our tool. Our tool is an ADD-IN of the Rational Rose that allows to produce consistent interface suite specifications in form of UML diagrams and documentation and to reuse such specifications in system design by composition.
Original languageEnglish
Title of host publicationProceedings 3rd PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 24, 2002)
EditorsF. Karelse
Place of PublicationUtrecht, The Netherlands
PublisherSTW Technology Foundation
Publication statusPublished - 2002


Dive into the research topics of 'Interface suites as contracts : composition of contracts in UML'. Together they form a unique fingerprint.

Cite this