Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
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.
E. A. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 996–1072. Elsevier, 1990.
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).
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kellett, A., Fisher, M. (1997). Concurrent Metatem as a coordination language. In: Garlan, D., Le Métayer, D. (eds) Coordination Languages and Models. COORDINATION 1997. Lecture Notes in Computer Science, vol 1282. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63383-9_96
Download citation
DOI: https://doi.org/10.1007/3-540-63383-9_96
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63383-9
Online ISBN: 978-3-540-69527-1
eBook Packages: Springer Book Archive