Departmental Papers (CIS)

Date of this Version

November 2001

Document Type

Conference Paper


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


Last Page




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.