39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems (TOOLS39) Extensions of Standard Z Refinement Relation for Multiple Viewpoints Oriented Requirements Method Santa Barbara, California July 29-August 03 ISBN: 0-7695-1251-8
Abstract: This paper we extend the standard Z refinement relation for multiple viewpoints oriented requirements method (MVORM). The original motivation is that we found the standard Z refinement is not adequate or correct when considering specifications that have temporal relationships of operations. We do our work under a generic framework of MVORM. The concept of temporal state variables is introduced into Z. Then new implementation relations are defined and new refinement relations are deduced, mainly for temporal state variables to process temporal relationships of operations. We use state transition system to abstract temporal state transitions. A simple example is used to show the usage of MVORM
Index Terms:
State transition system; Implementation relation; Refinement relation; MVORM.
Citation:
He Yanxiang, Song Qiang, Huang Qian, "Extensions of Standard Z Refinement Relation for Multiple Viewpoints Oriented Requirements Method," tools, pp.0253, 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems (TOOLS39), 2001 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb