A specification model for interface suites

E.E. Roubtsova, L.C.M. Gool, van, R. Kuiper, H.B.M. Jonkers

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)

Abstract

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.
Original languageEnglish
Title of host publicationThe unified modeling language : modeling languages, concepts, and tools ; 4th international conference, Toronto, Canada, October 1 - 5, 2001 ; proceedings / "UML" 2001s 4th International Conference on Modeling Languages, Concepts, and Tools, Toronto, Canada, October 1-5, 2001)
EditorsM. Gogolla, C. Kobryn
Place of PublicationBerlin
PublisherSpringer
Pages457-471
ISBN (Print)3-540-42667-1
DOIs
Publication statusPublished - 2001

Publication series

NameLecture Notes in Computer Science
Volume2185
ISSN (Print)0302-9743

Fingerprint Dive into the research topics of 'A specification model for interface suites'. Together they form a unique fingerprint.

  • Cite this

    Roubtsova, E. E., Gool, van, L. C. M., Kuiper, R., & Jonkers, H. B. M. (2001). A specification model for interface suites. In M. Gogolla, & C. Kobryn (Eds.), The unified modeling language : modeling languages, concepts, and tools ; 4th international conference, Toronto, Canada, October 1 - 5, 2001 ; proceedings / "UML" 2001s 4th International Conference on Modeling Languages, Concepts, and Tools, Toronto, Canada, October 1-5, 2001) (pp. 457-471). (Lecture Notes in Computer Science; Vol. 2185). Springer. https://doi.org/10.1007/3-540-45441-1_33