An Engineering Approach towards Action Refinement

Authors:
Dick A. C. Quartel;Luis Ferreira Pires;Henry M. Franken;Chris A. Vissers
Affiliations:
-;-;-;-
Venue:
FTDCS '95 Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems
Year:
1995

Citing 0
Cited 2

On Architectural Support For Behaviour Refinement In Distributed Systems Design

Journal of Integrated Design & Process Science
On the refinement of use case models with variability support

Innovations in Systems and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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, consider ing the context in which the concrete activity and the abstract action are embedded.