Concurrent Metatem as a coordination language
- 111 Downloads
In the area of concurrent and reactive system design, the use of temporal logic as a formal notation has become widespread. Concurrent MetateM is a language designed to support such systems by allowing the direct execution of temporal specifications. Programs in this language consist of asynchronous, concurrent objects which communicate via broadcast message passing. Each object executes its own temporal specification representing a required behaviour. In this paper we present work on the development of Concurrent MetateM as a coordination language. By using the temporal specifications as a high-level mechanism whereby properties required of coordinated applications can be concisely defined, we show how Concurrent Metatem can be extended to utilize the functionality of an underlying language.
KeywordsTemporal Logic Atomic Formula Safety Property Liveness Property Temporal Formula
Unable to display preview. Download preview PDF.
- 1.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.Google Scholar
- 2.E. A. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 996–1072. Elsevier, 1990.Google Scholar
- 3.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).Google Scholar
- 4.M. Fisher. Representing and Executing Agent-Based Systems. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents. Springer-Verlag, 1995.Google Scholar
- 5.M. Fisher. An Introduction to Executable Temporal Logics. Knowledge Engineering Review, 11(1):43–56, March 1996.Google Scholar
- 6.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.Google Scholar
- 7.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).Google Scholar
- 8.J-M. Andreoli, H. Gallaire, and R. 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.Google Scholar