Abstraction and Refinement in Configuration Structures


Costantini, R. and Rensink, A. (1992) Abstraction and Refinement in Configuration Structures. [Report]

open access
Abstract:An abstraction operator for configuration structures is defined and it is proven that it is left inverse to the traditional refinement operator. The abstraction operator describes how concrete behaviour looks when observed from a more abstract level, where the difference between concrete and abstract is given by a transformation mapping. This generates a notion of implementation: L is said to implement H iff L is mapped to H by the abstraction operator. The implementation relation generated by the abstraction operator is strictly more general than the implementation function defined by a refinement operator, thus allowing a more flexible design process for distributed systems.
Item Type:Report
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/66518
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page