DocumentCode
2317495
Title
System refinement in VDM-SL
Author
Mukherjee, Paul
Author_Institution
Sch. of Comput. Studies, Leeds Univ., UK
fYear
1996
fDate
21-25 Oct 1996
Firstpage
483
Lastpage
492
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Engineering of Complex Computer Systems, 1996. Proceedings., Second IEEE International Conference on
Conference_Location
Montreal, Que.
Print_ISBN
0-8186-7614-0
Type
conf
DOI
10.1109/ICECCS.1996.558516
Filename
558516
Link To Document