Advertisement

Concurrent Metatem as a coordination language

  • Adam Kellett
  • Michael Fisher
Short Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1282)

Abstract

In the area of concurrent and reactive system design, the use of temporal logic as a formal notation has become widespread. Concurrent MetateM is a language designed to support such systems by allowing the direct execution of temporal specifications. Programs in this language consist of asynchronous, concurrent objects which communicate via broadcast message passing. Each object executes its own temporal specification representing a required behaviour. In this paper we present work on the development of Concurrent MetateM as a coordination language. By using the temporal specifications as a high-level mechanism whereby properties required of coordinated applications can be concisely defined, we show how Concurrent Metatem can be extended to utilize the functionality of an underlying language.

Keywords

Temporal Logic Atomic Formula Safety Property Liveness Property Temporal Formula 
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.
    H. Barringer, M. Fisher, D. Gabbay, R. Owens, and M. Reynolds, editors. The Imperative Future: Principles of Executable Temporal Logics. Research Studies Press, Chichester, United Kingdom, 1996.Google Scholar
  2. 2.
    E. A. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 996–1072. Elsevier, 1990.Google Scholar
  3. 3.
    M. Fisher. A Survey of Concurrent Metatem — The Language and its Applications. In First International Conference on Temporal Logic (ICTL), Bonn, Germany, July 1994. (Published in Lecture Notes in Computer Science, volume 827, Springer-Verlag).Google Scholar
  4. 4.
    M. Fisher. Representing and Executing Agent-Based Systems. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents. Springer-Verlag, 1995.Google Scholar
  5. 5.
    M. Fisher. An Introduction to Executable Temporal Logics. Knowledge Engineering Review, 11(1):43–56, March 1996.Google Scholar
  6. 6.
    M. Fisher and M. Wooldridge. A Logical Approach to the Representation of Societies of Agents. In N. Gilbert and R. Conte, editors, Artificial Societies. UCL Press, 1995.Google Scholar
  7. 7.
    M. Fisher. Concurrent Metatem — A Language for Modeling Reactive Systems. In Parallel Architectures and Languages, Europe (PARLE), Munich, Germany, June 1993. (Published in Lecture Notes in Computer Science, volume 694, Springer-Verlag).Google Scholar
  8. 8.
    J-M. Andreoli, H. Gallaire, and R. Pareschi. Rule Based Object Coordination. Object-Based Models and Languages for Concurrent Systems ed. P Ciancarini, O. Nierstrsz, A. Yonezawa. LNCS 924. Springer-Verlag. 1994.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Adam Kellett
    • 1
  • Michael Fisher
    • 1
  1. 1.Department of ComputingManchester Metropolitan UniversityManchesterUnited Kingdom

Personalised recommendations