Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Shared Variables Interaction Diagrams Rajeev Alur
 

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

  

Source: Alur, Rajeev - Department of Computer and Information Science, University of Pennsylvania

 

Collections: Computer Technologies and Information Sciences