| | |
Summary: Shared Variables Interaction Diagrams
Rajeev Alur
Department of Computer and Information Science
University of Pennsylvania
alur@cis.upenn.edu
Radu Grosu
Department of Computer Science
State University of New York at Stony Brook
grosu@cs.sunysb.edu
Abstract
Scenario-based specifications offer an intuitive and vi-
sual way of describing design requirements of distributed
software systems. For the communication paradigm based
on messages, message sequence charts (MSC) offer a stan-
dardized and formal notation amenable to formal analysis.
In this paper, we define shared variables interaction dia-
grams (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
|
