Plug-ins for ISpec

ISpec is an interface specification approach where templates provide slots to write interface requirements. These requirements can be written in various "plugin" formalisms. The practical question how to implement this in a tool is answered for regular expressions as a plug-in language. The requirements expressed by the regular expressions are used to assess the correctness of requirements expressed in sequence diagrams. In fact, an editor is coupled to the tool in which a plug-in language can be defined and a slot in a template can be linked to a particular language. The theoretical question how to formalise plug-ins in a relation calculus framework is investigated

Compositional MDA

In this paper we present a language that models an important aspect of ASML waferscanners, called coordination. The language is a compositional subset of UML2.0 activity diagrams which by themselves are not compositional in our sense of the word. We show how we transform models in this language into models for the ASML platform that implements coordination. The fact that the language is compositional enables us to define the transformation in a simple and compact manner

A specification model for interface suites

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

A specification model for interface suites

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

Compositional MDA

In this paper we present a language that models an important aspect of ASML waferscanners, called coordination. The language is a compositional subset of UML2.0 activity diagrams which by themselves are not compositional in our sense of the word. We show how we transform models in this language into models for the ASML platform that implements coordination. The fact that the language is compositional enables us to define the transformation in a simple and compact manner