Abstract
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].
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Bibliography
H. Barringer, M. Fisher, D. Gabbay, G. Gough, and R. Owens. METATEM: An Introduction. Formal Aspects of Computing, 7 (5): 533–549, 1995.
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.
K. P. Birman. The Process Group Approach to Reliable Distributed Computing. Techanical Report TR91–1216, Department of Computer Science, Cornell University, July 1991.
E. A. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 996–1072. Elsevier, 1990.
M. Finger, M. Fisher, and R. Owens. METATEM at Work: Modelling Reactive Systems Using Executable Temporal Logic. In Sixth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (TEA/ATE),Edinburgh, U.K., June 1993. Gordon and Breach Publishers.
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).
M. Fisher. Representing and Executing Agent-Based Systems. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents. Springer-Verlag, 1995.
M. Fisher. An Introduction to Executable Temporal Logics. Knowledge Engineering Review, 11 (1): 43–56, March 1996.
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.
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).
M. Fisher. A Normal Form for Temporal Logic and its Application in Theorem-Proving and Execution. Journal of Logic and Computation, 7 (4), August 1997.
M. Fisher. An Open Approach to Concurrent Theorem-Proving. In Parallel Processing for Artificial Intelligence III. North-Holland, 1997.
D. Gabbay. Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems. In B. Banieqbal, H. Barringer, and A. Pnueli, editors, Proceedings of Colloquium on Temporal Logic in Specification, pages 402–450, Altrincham, U.K., 1987. (Published in Lecture Notes in Computer Science, volume 398, Springer-Verlag), 1989.
A. Kellett. Implementation Techniques for Concurrent METATEM. PhD Thesis. In preparation.
N. A. Lynch and M. R. Tuttle. An Introduction to Input/Output Automata. Technical Report MIT/LCS/I’M-373, Laboratory for Computer Science, Massachusetts Institute of Technology, November 1988.
Jean-Marc Andreoli, Herve Gallaire, and Remo 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.
Zohar Manna and Amir Pnueli. The Anchored Version of the Temporal Framework In Linear Time, Branching lime and Partial Order Logics and Models for Concurrency. LNCS 354. Springer-Verlag. 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Kellett, A., Fisher, M. (2002). Coordinating Heterogeneous Components Using Executable Temporal Logic. In: Meyer, JJ.C., Treur, J. (eds) Agent-Based Defeasible Control in Dynamic Environments. Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol 7. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-1741-0_5
Download citation
DOI: https://doi.org/10.1007/978-94-017-1741-0_5
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-6109-6
Online ISBN: 978-94-017-1741-0
eBook Packages: Springer Book Archive