
Departmental Papers (CIS)
Date of this Version
November 2001
Document Type
Conference Paper
Recommended Citation
Rajeev Alur and Radu Grosu, "Shared Variables Interaction Diagrams", Proceedings of the 16th IEEE International Conference on Automated Software Engineering 2001 (ASE 2001) , 281-288. November 2001. http://dx.doi.org/10.1109/ASE.2001.989814
Abstract
Scenario-based specifications offer an intuitive and visual way of describing design requirements of distributed software systems. For the communication paradigm based on messages, message sequence charts (MSC) offer a standardized and formal notation amenable to formal analysis. In this paper, we define shared variables interaction diagrams (SVID) as the counterpart of MSCs when processes communicate via shared variables. After formally defining SVIDs, we develop an intuitive as well as formal definition of refinement for SVIDs. This notion provides a basis for systematically adding details to SVID requirements.
Subject Area
CPS Formal Methods
Publication Source
Proceedings of the 16th IEEE International Conference on Automated Software Engineering 2001 (ASE 2001)
Start Page
281
Last Page
288
DOI
10.1109/ASE.2001.989814
Copyright/Permission Statement
© 2001 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Date Posted: 21 November 2004
This document has been peer reviewed.