Skip to main content
SpringerLink
Log in

Towards a semantics for concurrent MetateM

  • Conference paper
  • First Online:
Executable Modal and Temporal Logics (IJCAI 1993)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 897))

Included in the following conference series:

Abstract

Concurrent MetateM is a programming language based on the notion of concurrent, communicating objects, where each object directly executes a specification given in temporal logic, and communicates with other objects using asynchronous broadcast message-passing. Thus, Concurrent MetateM represents a combination of the direct execution of temporal specifications, together with a novel model of concurrent computation. In contrast to the notions of predicates as processes and stream parallelism seen in concurrent logic languages, Concurrent MetateM represents a more coarse-grained approach, where an object consists of a set of logical rales and communication is achieved by the evaluation of certain types of predicate. Representing concurrent systems as groups of such objects provides a powerful tool for modelling complex reactive systems. Being based upon executable temporal logic, objects in isolation have an intuitive semantics. However, the addition of both operational constraints upon the object's execution and global constraints provided by the model of concurrency and communication, complicates the overall semantics of networks of objects. It is this, more complex, semantics that we address here, where a basis for the full semantics of Concurrent MetateM is provided.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. Agha. Actors — A Model for Concurrent Computation in Distributed Systems. MIT Press, 1986.

    Google Scholar 

  2. G. Andrews. Paradigms for Process Interaction in Distributed Programs. ACM Computing Surveys, 23(1):49–90, March 1991.

    Google Scholar 

  3. H. Bal, J. Steiner, and A. Tanenbaum. Programming Languages for Distributed Computing Systems. ACM Computing Surveys, 21(3):261–322, September 1989.

    Google Scholar 

  4. 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).

    Google Scholar 

  5. H. Barringer, R. Kuiper, and A. Pnueli. A Really Abstract Concurrent Model and its Temporal Logic. In Proceedings of the Thirteenth ACM Symposium on the Principles of Programming Languages, St. Petersberg Beach, Florida, January 1986.

    Google Scholar 

  6. K. Birman and T. Joseph. Reliable Communication in the Presence of Failures. ACM Transactions on Computer Systems, 5(1):47–76, February 1987.

    Google Scholar 

  7. K. Birman. The Process Group Approach to Reliable Distributed Computing. Techanical Report TR91-1216, Department of Computer Science, Cornell University, July 1991.

    Google Scholar 

  8. 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).

    Google Scholar 

  9. E. A. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science. Elsevier, 1990.

    Google Scholar 

  10. M. Fisher. A Survey of Concurrent MetateM — The Language and its Applications. In First International Conference on Temporal Logic (ICTL), July 1994.

    Google Scholar 

  11. M. Fisher and R. Owens. From the Past to the Future: Executing Temporal Logic Programs. In Proceedings of Logic Programming and Automated Reasoning, St. Petersberg, Russia, July 1992. (Published in Lecture Notes in Computer Science, volume 624, Springer-Verlag)

    Google Scholar 

  12. 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.

    Google Scholar 

  13. 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 Lecture Notes in Computer Science, volume 607, Springer-Verlag)

    Google Scholar 

  14. M. Fisher. Concurrent METATEM — A Language for Modeling Reactive Systems. In Parallel Architectures and Languages, Europe (PARLE), Munich, Germany, June 1993. Springer-Verlag.

    Google Scholar 

  15. 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, Altrincham, U.K., 1987. (Published in Lecture Notes in Computer Science, volume 398, Springer-Verlag).

    Google Scholar 

  16. 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.

    Google Scholar 

  17. C. Hewitt. Control Structure as Patterns of Passing Messages. In P. H. Winston and R. H. Brown, editors, Artificial Intelligence: An MIT Perspective (Volume 2). MIT Press, 1979.

    Google Scholar 

  18. K. Kahn, E. Tribble, M. Miller, and D. Bobrow. Vulcan: Logical Concurrent Objects. In B. Shriver and P. Wegner, editors, Research Directions in Object-Oriented Programming. MIT Press, 1987.

    Google Scholar 

  19. H. Lieberman. Concurrent Object-Oriented Programming in Act 1. In A. Yonezawa and M. Tokoro, editors, Object-Oriented Concurrent Programming. MIT Press, 1986.

    Google Scholar 

  20. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, New York, 1992.

    Google Scholar 

  21. T. Maruichi, M. Ichikawa, and M. Tokoro. Modelling Autonomous Agents and their Groups. In Y. Demazeau and J. P. Muller, editors, Decentralized AI 2 — Proceedings of the 2 nd European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW '90). Elsevier/North Holland, 1991.

    Google Scholar 

  22. A. 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.

    Google Scholar 

  23. K. V. S. Prasad. A Calculus of Broadcasting Systems. In S. Abramsky and T. Maibaum, editors, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Brighton, U.K., April 1991. (Published in Lecture Notes in Computer Science, volume 493, Springer Verlag).

    Google Scholar 

  24. E. Shapiro and A. Takeuchi. Object Oriented Programming in Concurrent Prolog. In E. Shapiro, editor, Concurrent Prolog-Collected Papers, chapter 29. MIT Press, 1987.

    Google Scholar 

  25. R. Strom and S. Yemini. Optimistic Recovery in Distributed Systems. ACM Transactions on Computer Systems, 3(3):204–226, August 1985.

    Google Scholar 

  26. M. Wooldridge. This is MyWorld: The Logic of an Agent-Oriented Testbed for DAI. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents — Proceedings of the 1994 Workshop on Agent Theories, Architectures, and Languages, Springer-Verlag, 1995.

    Google Scholar 

  27. A. Yonezawa, editor. ABCL: An Object-Oriented Concurrent System. MIT Press, 1990.

    Google Scholar 

  28. A. Yonezawa and M. Tokoro. Object-Oriented Concurrent Programming. In A. Yonezawa and M. Tokoro, editors, Object-Oriented Concurrent Programming. MIT Press, 1986.

    Google Scholar 

Download references

Authors
  1. Michael Fisher
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Michael Fisher Richard Owens

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fisher, M. (1995). Towards a semantics for concurrent MetateM . In: Fisher, M., Owens, R. (eds) Executable Modal and Temporal Logics. IJCAI 1993. Lecture Notes in Computer Science, vol 897. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58976-7_6

Download citation

  • DOI: https://doi.org/10.1007/3-540-58976-7_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58976-1

  • Online ISBN: 978-3-540-49168-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation