An Engineering Approach towards Action Refinement

Dick Quartel; Luis Ferreira Pires; Henry M. Franken; H.M. Franken; C.A. Vissers

doi:10.1109/FTDCS.1995.524994

An Engineering Approach towards Action Refinement

Dick Quartel, Luis Ferreira Pires, Henry M. Franken, H.M. Franken, C.A. Vissers

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

4 Citations (Scopus)

47 Downloads (Pure)

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

Original language	Undefined
Title of host publication	Proceedings of the Fifth IEEE Computer Society Workshop in Future Trends of Distributed Computing Systems
Place of Publication	Cheju Islands, Korea
Publisher	IEEE
Pages	266-273
ISBN (Print)	0-8186-7125-4
DOIs	https://doi.org/10.1109/FTDCS.1995.524994
Publication status	Published - 28 Aug 1995
Event	Fifth IEEE Computer Society Workshop in Future Trends of Distributed Computing Systems - Cheju Islands, Korea Duration: 28 Aug 1995 → 30 Aug 1995

Publication series

Name
Publisher	IEEE

Workshop

Workshop	Fifth IEEE Computer Society Workshop in Future Trends of Distributed Computing Systems
Period	28/08/95 → 30/08/95
Other	28-30 August 1995

Keywords

IR-19504
METIS-120027

Access to Document

10.1109/FTDCS.1995.524994

00524994
open

Cite this

@inproceedings{48b84c31fbf44e639ebc7bbc569df8c4,

title = "An Engineering Approach towards Action Refinement",

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",

keywords = "IR-19504, METIS-120027",

author = "Dick Quartel and {Ferreira Pires}, Luis and Franken, {Henry M.} and H.M. Franken and C.A. Vissers",

year = "1995",

month = aug,

day = "28",

doi = "10.1109/FTDCS.1995.524994",

language = "Undefined",

isbn = "0-8186-7125-4",

publisher = "IEEE",

pages = "266--273",

booktitle = "Proceedings of the Fifth IEEE Computer Society Workshop in Future Trends of Distributed Computing Systems",

address = "United States",

note = "null ; Conference date: 28-08-1995 Through 30-08-1995",

}

Quartel, D, Ferreira Pires, L, Franken, HM, Franken, HM & Vissers, CA 1995, An Engineering Approach towards Action Refinement. in Proceedings of the Fifth IEEE Computer Society Workshop in Future Trends of Distributed Computing Systems. IEEE, Cheju Islands, Korea, pp. 266-273, Fifth IEEE Computer Society Workshop in Future Trends of Distributed Computing Systems, 28/08/95. https://doi.org/10.1109/FTDCS.1995.524994

An Engineering Approach towards Action Refinement. / Quartel, Dick; Ferreira Pires, Luis; Franken, Henry M.; Franken, H.M.; Vissers, C.A.

Proceedings of the Fifth IEEE Computer Society Workshop in Future Trends of Distributed Computing Systems. Cheju Islands, Korea : IEEE, 1995. p. 266-273.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - An Engineering Approach towards Action Refinement

AU - Quartel, Dick

AU - Ferreira Pires, Luis

AU - Franken, Henry M.

AU - Franken, H.M.

AU - Vissers, C.A.

PY - 1995/8/28

Y1 - 1995/8/28

N2 - 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

AB - 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

KW - IR-19504

KW - METIS-120027

U2 - 10.1109/FTDCS.1995.524994

DO - 10.1109/FTDCS.1995.524994

M3 - Conference contribution

SN - 0-8186-7125-4

SP - 266

EP - 273

BT - Proceedings of the Fifth IEEE Computer Society Workshop in Future Trends of Distributed Computing Systems

PB - IEEE

CY - Cheju Islands, Korea

Y2 - 28 August 1995 through 30 August 1995

ER -