Coordinating durative actions
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.
KeywordsSystem State Global State Operational Semantic Durative Action Label Transition System
Unable to display preview. Download preview PDF.
- 1.J.P.Banâtre and D.LeMétayer, “Programming by Multiset Transformation”, Communications ACM16, 1 pp. 55–77, 1993.Google Scholar
- 2.P.Ciancarini, C.Hankin, “Coordination Languages and Models”, LNCS 1061, Springer-Verlag, 1996.Google Scholar
- 3.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.Google Scholar
- 5.D.Gelernter, N.Carriero, “Coordination Languages and their Significance”, Communications ACM 35, 2, pp. 97–107, 1992.Google Scholar
- 6.Z.Manna, A.Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag 1991.Google Scholar
- 7.I.Nunes, J.L.Fiadeiro and W.M.Turski, “A Modal Logic of Durative Actions”, in ICTL97, Kluwer, in print, 1997.Google Scholar
- 8.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.Google Scholar
- 9.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.Google Scholar
- 10.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.Google Scholar
- 12.W.M.Turski, “Extending the Computing Paradigm”, Structured Programming 13, pp. 1–9, 1992.Google Scholar