Shared Variables Interaction Diagrams

DOI 10.1109/ase.2001.989814 dblp

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.

BibTeX

@inproceedings{Alur-Grosu:ASE01,
  author    = {Rajeev Alur and
               Radu Grosu},
  title     = {Shared Variables Interaction Diagrams},
  booktitle = {ASE},
  pages     = {281--288},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
}

Shared Variables Interaction Diagrams

Abstract

Related papers