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 |