Abstract
In this paper, a language based on the notion of concurrent, communicating objects is presented. Each object executes a specification given in temporal logic and communicates with other objects using asynchronous broadcast message-passing. In contrast to the notions of predicates as processes and stream parallelism seen in concurrent logic languages, Concurrent MetateM represents a more course-grained approach, where an object consists of a set of temporal rules and communication is achieved by the evaluation of certain types of predicate. Thus, Concurrent MetateM represents a combination of the direct execution of temporal specifications, together with a novel model of concurrent computation and, as such, it provides a new approach to the modelling of complex reactive systems.
This work was supported by SERC under Research Grant GR/H/18449.
This is a preview of subscription content, log in via an institution to check access.
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.
Gul Agha. Actors — A Model for Concurrent Computation in Distributed Systems. MIT Press, 1986.
Gregory R. Andrews. Paradigms for Process Interaction in Distributed Programs. ACM Computing Surveys, 23(1):49–90, March 1991.
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 Lecture Notes in Computer Science, volume 430, Springer Verlag).
H. Barringer, M. Fisher, D. Gabbay, and A. Hunter. Meta-Reasoning in Executable Temporal Logic. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR'91), Cambridge, Massachusetts, April 1991. Morgan Kaufmann.
Kenneth P. 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, pages 90–99, 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. (To appear).
M. Fisher and H. Barringer. Concurrent MetateM Processes—A Language for Distributed AI. In Proceedings of the European Simulation Multiconference, Copenhagen, Denmark, 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 Lecture Notes in Computer Science, volume 624, Springer Verlag).
Narian H. 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.
D. Harel and A. Pnueli. On the Development of Reactive Systems. Technical Report CS85-02, Department of Applied Mathematics, The Weizmann Institute of Science, Revohot, Israel, January 1985.
Carl Hewitt. Control Structure as Patterns of Passing Messages. In P. H. Winston and R. H. Brown, editors, Artificial Intelligence: An MIT Perspective (Volume 2), pages 433–465. MIT Press, 1979.
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, New York, 1992.
T. Maruichi, M. Ichikawa, and M. Tokoro. Modelling autonomous agents and their groups. In Y. Demazeau and J. P. Muller, editors, Decentralized A.I. (Volume 2), pages 215–234. Elsevier/North-Holland, 1990.
Ben Moszkowski. Executing Temporal Logic Programs. Cambridge University Press, Cambridge, U.K., 1986.
Amir Pnueli. Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends. Lecture Notes in Computer Science, 224, August 1986.
E. Shapiro and A. Takeuchi. Object Oriented Programming in Concurrent Prolog. In Ehud Shapiro, editor, Concurrent Prolog-Collected Papers, chapter 29, pages 251–273. MIT Press, 1987.
R. Strom and S. Yemini. Optimistic Recovery in Distributed Systems. ACM Transactions on Computer Systems, 3(3):204–226, August 1985.
Author information
Authors and Affiliations
Corresponding author
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fisher, M. (1993). Concurrent MetateM — A language for modelling reactive systems. In: Bode, A., Reeve, M., Wolf, G. (eds) PARLE '93 Parallel Architectures and Languages Europe. PARLE 1993. Lecture Notes in Computer Science, vol 694. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56891-3_15
Download citation
DOI: https://doi.org/10.1007/3-540-56891-3_15
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56891-9
Online ISBN: 978-3-540-47779-2
eBook Packages: Springer Book Archive