Plug-ins for ISpec Practical and theoretical aspects of plug-in formalisms to express the requirements in the templates of the ISpec interface specification approach.
Louis van Gool, Hans B. M. Jonkers, Ruurd Kuiper, E.J. Luit, Seguei Roubtsov · 2004
ISpec is an interface specification approach where templates provide slots to write interface require- ments. These requirements can be written various plug- in formalisms. The practical question how to implement this a tool is answered for regular expressions as a plug-in language. The requirements expressed by the regular ex- pressions are used to assess the correctness of requirements expressed sequence diagrams. In fact, an editor is cou- pled to the tool which a plug-in language can be defined and a slot a template can be linked to a particular lan- guage. The theoretical question how to formalise plug-ins a relation calculus framework is investigated. Keywords—Interface specification, component-based de- velopment, plug-in, formalization, CASE tool