Action Refinement as an Implementation Relation


Share/Save/Bookmark

Rensink, A. and Gorrieri, R. (1997) Action Refinement as an Implementation Relation. In: Theory and Practice of Software Development (TAPSOFT).

[img]
Preview
PDF
271Kb
Abstract:We propose a theory of process refinement which relates behavioural descriptions belonging to conceptually different abstraction levels, through a so-called vertical implementation relation. The theory is based on action refinement, which permits to relate abstract actions of the implementation to concrete computations of the implementation; it is developed in the standard interleaving approach. A number of proof rules is shown to be sound for the particular vertical implementation relation (based on observation congruence) we study in this paper. We give an illustrative example.
Item Type:Conference or Workshop Item
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/66673
Official URL:http://dx.doi.org/10.1007/BFb0030640
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page