Abstract
In this paper we present a survey of work relating to the Concurrent MetateM programming language. In addition to a description of the basic Concurrent MetateM system, which incorporates the direct execution of temporal formulae, a variety of extensions that have either been implemented or proposed are outlined. Although still in the development stage, there appear to be many areas where such a language could be applied. We present a variety of sample applications, highlighting the particular features of Concurrent MetateM that we believe will make it appropriate for use in these areas.
Preview
Unable to display preview. Download preview PDF.
References
M. Abadi and Z. Manna. Temporal Logic Programming. Journal of Symbolic Computation, 8: 277–295, 1989.
G. Agha. Actors — A Model for Concurrent Computation in Distributed Systems. MIT Press, 1986.
H. Barringer, M. Fisher, D. Gabbay, G. Gough, and R. Owens. MetateM: A Framework for Programming in Temporal Logic. In Proceedings of REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, Mook, Netherlands, June 1989. (Published in LNCS volume 430, Springer Verlag).
H. Barringer, M. Fisher, D. Gabbay, and A. Hunter. Meta-Reasoning in Executable Temporal Logic. In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), Cambridge, Massachusetts, April 1991.
H. Barringer and D. Gabbay. Executing temporal logic: Review and prospects (Extended Abstract). In Proceedings of Concurrency '88, 1988.
K. Birman. The Process Group Approach to Reliable Distributed Computing. Techanical Report TR91-1216, Department of Computer Science, Cornell University, July 1991.
A. Borg, J. Baumbach, and S. Glazer. A Message System Supporting Fault Tolerance. In Proceedings of the Ninth ACM Symposium on Operating System Principles, New Hampshire, October 1983. ACM. (In ACM Operating Systems Review, vol. 17, no. 5).
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 (IEA/AIE-93), Edinburgh, U.K., June 1993. Gordon and Breach Publishers.
M. FisherandH. Barringer. Concurrent MetateM Processes — A Language for Distributed AI. In Proceedings of the European Simulation Multiconference, Copenhagen, June 1991.
M. Fisher and R. Owens. From the Past to the Future: Executing Temporal Logic Programs. In Proceedings of Logic Programming and Automated Reasoning (LPAR), St. Petersberg, Russia, July 1992. (Published in LNCS volume 624, Springer Verlag).
M. Fisher and M. Wooldridge. A Logical Approach to the Representation of Societies of Agents. In Proceedings of Second International Workshop on Simulating Societies (SimSoc), Certosa di Pontignano, Siena, Italy, July 1993.
M. Fisher and M. Wooldridge. Executable Temporal Logic for Distributed A.I. In Twelfth International Workshop on Distributed A.I., Hidden Valley Resort, Pennsylvania, May 1993.
M. Fisher andM. Wooldridge. Specifying and Verifying Distributed Intelligent Systems. In Portuguese Conference on Artificial Intelligence (EPIA). Springer-Verlag, October 1993.
M. Fisher. A Normal Form for First-Order Temporal Formulae. In Proceedings of Eleventh International Conference on Automated Deduction (CADE), Saratoga Springs, New York, June 1992. (Published in LNCS volume 607, Springer Verlag).
M. Fisher. Concurrent MetateM — A Language for Modeling Reactive Systems. In Parallel Architectures and Languages, Europe (PARLE), Munich, Germany, June 1993.
N. Gehani. Broadcasting Sequential Processes. IEEE Transactions on Software Engineering, 10(4):343–351, July 1984.
D. Gelernter, N. Carriero, S. Chandran, and S. Chang. Parallel programming in Linda. In International Conference on Parallel Processing, August 1985.
T. Maruichi, M. Ichikawa, and M. Tokoro. Modelling Autonomous Agents and their Groups. In Decentralized AI 2 — Proceedings of the 2 nd European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW). Elsevier/North Holland, 1991.
B. Moszkowski. Executing Temporal Logic Programs. Cambridge University Press, Cambridge, U.K., 1986.
K. V. S. Prasad. A Calculus of Broadcasting Systems. In Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), pages 338–358, Brighton, U.K., April 1991. (Published in LNCS volume 493, Springer Verlag).
Y. Shoham. Agent Oriented Programming. Technical Report STAN-CS-1335-90, Department of Computer Science, Stanford University, California, USA, 1990.
R. G. Smith and R. Davis. Frameworks for Cooperation in Distributed Problem Solving. IEEE Transactions on Systems, Man and Cybernetics, 11(1):61–70, 1981.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fisher, M. (1994). A survey of concurrent MetateM — The language and its applications. In: Gabbay, D.M., Ohlbach, H.J. (eds) Temporal Logic. ICTL 1994. Lecture Notes in Computer Science, vol 827. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014005
Download citation
DOI: https://doi.org/10.1007/BFb0014005
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58241-0
Online ISBN: 978-3-540-48585-8
eBook Packages: Springer Book Archive