Departmental Papers (CIS)

Document Type

Conference Paper

Subject Area

CPS Formal Methods

Date of this Version

November 2001

Publication Title

Proceedings of the 16th IEEE International Conference on Automated Software Engineering 2001 (ASE 2001)

First Page

281

Last Page

288

DOI

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.

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.

Share

COinS
 

Date Posted: 21 November 2004

This document has been peer reviewed.