The paper describes a model and tool support for a UMLbased specification approach, extending UML with templates for structured
specifications deriving from the ISpec approach. The approach is component-oriented where the unit of description is an interface
suite: a coherent collection of interfaces defining interactions that transcend component boundaries. To handle complexity,
descriptions from various points of view are necessary, expressed by UML diagrams, templates, etc. The issue is to ensure
that the views are consistent. For this, we provide a model to integrate the views. The model is sequence-based; the elements
of the sequences are carefully designed tuples that reflect the interface suite approach. Abstractions from the model reflect
the views. The model provides the underlying structure for tooling. We developed extensions to Rational Rose by customizing
specifications, automating diagram generation and enabling some consistency checks.
Supported by PROGRESS grant EES.5141 and ITEA grant IT990211.