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