CPS Formal Methods
Date of this Version
Proceedings of the 16th IEEE International Conference on Automated Software Engineering 2001 (ASE 2001)
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.
© 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.
Rajeev Alur and Radu Grosu, "Shared Variables Interaction Diagrams", Proceedings of the 16th IEEE International Conference on Automated Software Engineering 2001 (ASE 2001) , 281-288. November 2001. http://dx.doi.org/10.1109/ASE.2001.989814
Date Posted: 21 November 2004
This document has been peer reviewed.