Abstract
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 language | English |
---|---|
Title of host publication | Proceedings 3rd PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 24, 2002) |
Editors | F. Karelse |
Place of Publication | Utrecht, The Netherlands |
Publisher | STW Technology Foundation |
Pages | 203-210 |
Publication status | Published - 2002 |