Abstract
A computing paradigm is presented for coordinating the execution of durative actions, i.e. actions which, although executed atomically on a private local state, have a duration in the sense that the system state in which they finish executing is not necessarily the same in which they started. Just as in traditional coordination languages, the coordination model that is responsible for controlling the interference between the actions is independent from the computation model in which actions execute. This coordination model is formalised through an operational and a denotational semantics, both parameterised by those of the underlying computational model.
This work was partially supported by JNICT through contracts PRAXIS XXI 2/2.1/MAT/46/94 (ESCOLA), PCSH/OGE/1038/95 (MAGO) and PRAXIS XXI 2/2.1/TIT/1662/95 (SARA).
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
J.P.Banâtre and D.LeMétayer, “Programming by Multiset Transformation”, Communications ACM16, 1 pp. 55–77, 1993.
P.Ciancarini, C.Hankin, “Coordination Languages and Models”, LNCS 1061, Springer-Verlag, 1996.
J.L.Fiadeiro and A.Lopes, “Semantics of Architectural Connectors”, Theory and Practice of Software Development, M.Bidoit and M.Dauchet (eds), LNCS 1214, pp. 505–519, Springer-Verlag, 1997.
D.Gelernter, “Generative Communication in Linda”, ACM Trans. Prog. Lang. Syst. 7, 1, pp. 80–112, 1985.
D.Gelernter, N.Carriero, “Coordination Languages and their Significance”, Communications ACM 35, 2, pp. 97–107, 1992.
Z.Manna, A.Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag 1991.
I.Nunes, J.L.Fiadeiro and W.M.Turski, “A Modal Logic of Durative Actions”, in ICTL97, Kluwer, in print, 1997.
I.Nunes, J.L.Fiadeiro and W.M.Turski, “Semantics of Behavioural Programs”, Research Report, Department of Informatics, Faculty of Sciences, University of Lisbon, December 1996.
A.Porto, V.Vasconcelos, “Truth and Action Osmosis (the TAO Computational Model)”, in J.M.Andreoli, C.Hankin and D.LeMetayer (eds), Coordination Programming, mechanisms, models and semantics, pp. 65–97, Imperial College Press, 1996.
C.Stirling, “Modal and Temporal Logics”, in S.Abramsky, D.Gabbay and T.Maibaum (eds), Handbook of Logic in Computer Science 2, pp. 477–563, 1992.
W.M.Turski, “On Specification of Multiprocessor Computing”, Acta Informatica 27, pp. 685–696, 1990.
W.M.Turski, “Extending the Computing Paradigm”, Structured Programming 13, pp. 1–9, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nunes, I., Fiadeiro, J., Turski, W. (1997). Coordinating durative actions. In: Garlan, D., Le Métayer, D. (eds) Coordination Languages and Models. COORDINATION 1997. Lecture Notes in Computer Science, vol 1282. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63383-9_76
Download citation
DOI: https://doi.org/10.1007/3-540-63383-9_76
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63383-9
Online ISBN: 978-3-540-69527-1
eBook Packages: Springer Book Archive