Advertisement

Coordinating durative actions

  • I. Nunes
  • J.L. Fiadeiro
  • W.M. Turski
Regular Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1282)

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.

Keywords

System State Global State Operational Semantic Durative Action Label Transition System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    J.P.Banâtre and D.LeMétayer, “Programming by Multiset Transformation”, Communications ACM16, 1 pp. 55–77, 1993.Google Scholar
  2. 2.
    P.Ciancarini, C.Hankin, “Coordination Languages and Models”, LNCS 1061, Springer-Verlag, 1996.Google Scholar
  3. 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
  4. 4.
    D.Gelernter, “Generative Communication in Linda”, ACM Trans. Prog. Lang. Syst. 7, 1, pp. 80–112, 1985.CrossRefGoogle Scholar
  5. 5.
    D.Gelernter, N.Carriero, “Coordination Languages and their Significance”, Communications ACM 35, 2, pp. 97–107, 1992.Google Scholar
  6. 6.
    Z.Manna, A.Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag 1991.Google Scholar
  7. 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. 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. 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. 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
  11. 11.
    W.M.Turski, “On Specification of Multiprocessor Computing”, Acta Informatica 27, pp. 685–696, 1990.CrossRefGoogle Scholar
  12. 12.
    W.M.Turski, “Extending the Computing Paradigm”, Structured Programming 13, pp. 1–9, 1992.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • I. Nunes
    • 1
  • J.L. Fiadeiro
    • 1
  • W.M. Turski
    • 2
  1. 1.Department of Informatics Faculty of SciencesUniversity of LisbonLisboaPortugal
  2. 2.Institute of InformaticsWarsaw UniversityWarsawPoland

Personalised recommendations