Coordinating Heterogeneous Components Using Executable Temporal Logic

Concurrent MetateM is a programming language for reactive systems [Fisher, 1993] that has been shown to be particularly useful in representing and developing multi-agent systems [Fisher, 1995]. It is based on the combination of two complementary elements: the direct execution of temporal logic specifications providing the behaviour of an individual object [Fisher, 1996]; and a concurrent operational model in which such objects execute asynchronously, communicate via broadcast message-passing, and are organized using a grouping mechanism [Fisher, 1994].

[1]  Michael Fisher,et al.  An introduction to executable temporal logics , 1996, The Knowledge Engineering Review.

[2]  Michael Fisher,et al.  Concurrent METATEM - A Language for Modelling Reactive Systems , 1993, PARLE.

[3]  Jean-Marc Andreoli,et al.  Rule-Based Object Coordination , 1994, ECOOP Workshop.

[4]  R. Keith Sawyer,et al.  Artificial Societies , 2003 .

[5]  Marcelo Finger,et al.  Metatem at work: modelling reactive systems using executable temporal logic , 1993 .

[6]  Nancy A. Lynch,et al.  An introduction to input/output automata , 1989 .

[7]  Michael Fisher,et al.  A Survey of Concurrent METATEM - the Language and its Applications , 1994, ICTL.

[8]  Zohar Manna,et al.  The anchored version of the temporal framework , 1988, REX Workshop.

[9]  Dov M. Gabbay,et al.  The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems , 1987, Temporal Logic in Specification.

[10]  Michael Fisher,et al.  Representing and Executing Agent-Based Systems , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[11]  Michael Wooldridge,et al.  A Logical Approach to the Representation of Societies of Agents , 1995 .

[12]  Dov M. Gabbay,et al.  The imperative future: principles of executable temporal logic , 1996 .

[13]  Oscar Nierstrasz,et al.  Object-Based Models and Languages for Concurrent Systems , 1994, Lecture Notes in Computer Science.

[14]  Michael Fisher,et al.  A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution , 1997, J. Log. Comput..

[15]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[16]  J. Van Leeuwen,et al.  Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .

[17]  Kenneth P. Birman,et al.  The process group approach to reliable distributed computing , 1992, CACM.