An Engineering Approach towards Action Refinement


Share/Save/Bookmark

Quartel, Dick A.C. and Ferreira Pires, Luis and Franken, Henry M. and Vissers, Chris A. (1995) An Engineering Approach towards Action Refinement. In: Fifth IEEE Computer Society Workshop in Future Trends of Distributed Computing Systems, 28-30 August 1995 , Cheju Islands, Korea (pp. pp. 266-273).

open access
[img]
Preview
PDF
839kB
Abstract:In the abstract modelling of distributed systems we may need methods to replace abstract behaviours by more concrete behaviours which are closer to implementation mechanisms. Furthermore, we may want these methods to preserve the correctness of such a replacement. This paper introduces an approach towards action refinement in which an abstract action is replaced by a concrete activity. This approach is based on a careful consideration of the `action' and `causality relation' architectural concepts, which enable an abstract action to be replaced by many alternative concrete activities in a general way. This approach is based on the application of abstraction rules to determine whether a concrete activity conforms to an abstract action, considering the context in which the concrete activity and the abstract action are embedded
Item Type:Conference or Workshop Item
Copyright:©1995 IEEE
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/19504
Official URL:http://dx.doi.org/10.1109/FTDCS.1995.524994
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 120027