Abstract
In this paper, we elaborate on modelling tuple-based coordination media in terms of observable sources providing coordination as a service. Only the medium’s part directly affecting its observable behaviour is explicitly represented, while its inner activity is represented only as a source for proactive behaviour, thus abstracting away from its details. As an example of this methodology, we formalise JavaSpaces’ time passing and leasing mechanisms, which are both modelled in terms of the medium’s inner activity. Then, the formalisation of tuple centres is also shown that emphasises the ability of our approach to deal with the explicit representation of complex coordination services.
This work has been partially supported by MIUR, and by Nokia Research Center, Burlington, MA, USA.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M. M. Bonsangue, F. Arbab, J. W. de Bakker, J. J. M. M. Rutten, A. Scutella, and G. Zavattaro. A transition system semantics for the control-driven coordination language MANIFOLD. Theoretical Computer Science, 240(1):3–47, June 2000.
N. Busi, R. Gorrieri, and G. Zavattaro. On the expressiveness of Linda coordination primitives. Information and Computation, 156(1–2):90–121, Jan. 2000.
N. Busi, R. Gorrieri, and G. Zavattaro. Process calculi for Coordination: From Linda to JavaSpaces. In T. Rus, editor, 8th International Conference, AMAST 2000, volume 1816 of LNCS, pages 198–212. Springer-Verlag, 2000.
N. Busi and G. Zavattaro. On the expressiveness of event notification in data-driven coordination languages. In 9th European Symposium on Programming, volume 1782 of LNCS, pages 41–55. Springer-Verlag, 2000.
P. Ciancarini, K. K. Jensen, and D. Yankelevich. On the operational sematics of a coordination language. In P. Ciancarini, O. Nierstrask, and O. Yonezawa, editors, Object-Based Models and Languages for Concurrent Systems, volume 924 of LNCS, pages 77–106. Springer-Verlag, 1994.
R. De Nicola and R. Pugliese. A process algebra based on LINDA. In P. Cincarini and C. Hankin, editors, Coordination Languages and Models, volume 1061 of LNCS, pages 160–178. Springer-Verlag, 1996.
E. Denti, A. Natali, and A. Omicini. On the expressive power of a language for programming coordination media. In 1998 ACM Symposium on Applied Computing (SAC’98), pages 169–177, Atlanta (GA), 27 Feb.–1 Mar. 1998. ACM. Track on Coordination Models, Languages and Applications.
E. Freeman, S. Hupfer, and K. Arnold. JavaSpaces: Principles, Patterns, and Practice. The Jini Technology Series. Addison-Wesley, 1999.
D. Gelernter. Generative communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1):80–112, January 1985.
A. Omicini. On the semantics of tuple-based coordination models. In 1999 ACM Symposium on Applied Computing (SAC’99), pages 175–182, San Antonio (TX), 28 Feb.–2 Mar. 1999. ACM. Track on Coordination Models, Languages and Applications.
A. Omicini and E. Denti. From tuple spaces to tuple centres. Science of Computer Programming, 41(3):277–294, Nov. 2001.
K. Sycara. Multi-agent infrastructure, agent discovery, middle agents for Web services. In M. Luck, V. Mařík, O. Štěpánková, and R. Trappl, editors, Multi-Agent Systems and Applications, volume 2086 of LNAI, pages 17–49. Springer-Verlag, 2001.
M. Viroli, G. Moro, and A. Omicini. On observation as a coordination pattern: An ontology and a formal framework. In 16th ACM Symposium on Applied Computing (SAC 2001), pages 166–175, Las Vegas (NV), 11–14 Mar. 2001. ACM.
M. Viroli and A. Omicini. Multi-agent systems as composition of observable systems. In WOA 2001-Dagli oggetti agli agenti: tendenze evolutive dei sistemi software, Modena, Italy, 4-5 Sept. 2001. Pitagora Editrice Bologna.
M. Viroli and A. Omicini. Specifying agents’ observable behaviour. In 1st International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), Bologna, Italy, 15–19 July 2002. ACM.
L. D. Zuch and D. Gelernter. On what Linda is: Formal description of Linda as a reactive system. In D. Garlan and D. Le Métayer, editors, Coordination Languages and Models, volume 1282 of LNCS, pages 187–204. Springer-Verlag, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Viroli, M., Omicini, A. (2002). Tuple-Based Models in the Observation Framework. In: Arbab, F., Talcott, C. (eds) Coordination Models and Languages. COORDINATION 2002. Lecture Notes in Computer Science, vol 2315. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46000-4_33
Download citation
DOI: https://doi.org/10.1007/3-540-46000-4_33
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43410-8
Online ISBN: 978-3-540-46000-8
eBook Packages: Springer Book Archive