Abstract

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.
Original languageEnglish
Title of host publicationProceedings 5th PROGRESS Symposium on Embedded Systems (Nieuwegein, The Netherlands, October 20, 2004)
Place of PublicationUtrecht
PublisherSTW Technology Foundation
Pages35-40
ISBN (Print)90-73461-41-3
Publication statusPublished - 2004

Fingerprint Dive into the research topics of 'Plug-ins for ISpec'. Together they form a unique fingerprint.

  • Cite this

    Gool, van, L. C. M., Jonkers, H. B. M., Luit, E. J., Kuiper, R., & Roubtsov, S. A. (2004). Plug-ins for ISpec. In Proceedings 5th PROGRESS Symposium on Embedded Systems (Nieuwegein, The Netherlands, October 20, 2004) (pp. 35-40). STW Technology Foundation.