Title :
System refinement in VDM-SL
Author_Institution :
Sch. of Comput. Studies, Leeds Univ., UK
Abstract :
We introduce the concept of the system specification as a way of specifying properties not normally associated with model-based specifications. This idea is extended by defining a notion of refinement between systems, and also data refinement between systems. These refinement criteria are contrasted with the conventional case. The use of these refinement techniques is demonstrated by specifying a problem of comparing resources, then refining it to remove the possibilities of deadlock and livelock
Keywords :
Vienna development method; concurrency control; distributed processing; formal specification; specification languages; VDM-SL; data refinement; deadlock; livelock; model-based specifications; resources; specification language; system refinement; system specification; Concurrent computing; Power system modeling; Specification languages; System recovery;
Conference_Titel :
Engineering of Complex Computer Systems, 1996. Proceedings., Second IEEE International Conference on
Conference_Location :
Montreal, Que.
Print_ISBN :
0-8186-7614-0
DOI :
10.1109/ICECCS.1996.558516
