Abstract
Tuple centres allow for dynamic programming of the coordination media: coordination laws are expressed and enforced as the behaviour specification of tuple centres, and can change over time. Since time is essential in a large number of coordination problems and patterns (involving timeouts, obligations, commitments), coordination laws should be expressive enough to capture and govern time-related issues.
Along this line, in this paper we discuss how tuple centres and the ReSpecT language for programming logic tuple centres can be extended to catch with time, and to support the definition and enforcement of time-aware coordination policies. Some examples are provided to demonstrate the expressiveness of the ReSpecT language to model timed coordination primitives and laws.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Omicini, A., Ricci, A., Viroli, M., Castelfranchi, C., Tummolini, L.: Coordination artifacts: Environment-based coordination for intelligent agents. In: Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M. (eds.) 3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), New York, USA, vol. 1, pp. 286–293. ACM, New York (2004)
Viroli, M., Ricci, A.: Instructions-based semantics of agent mediated interaction. In: Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M. (eds.) 3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), New York, USA, vol. 1, pp. 102–110. ACM, New York (2004)
Viroli, M., Omicini, A.: Coordination as a service: Ontological and formal foundation. In: Proceedings of1st International Workshop Foundations of Coordination Languages and Software Architecture (FOCLASA 2002), Brno, Czech Republic, August 24, 2002. Electronic Notes in Theoretical Computer Science, vol. 68 (2003)
Omicini, A., Zambonelli, F.: Coordination for Internet application development. In: Autonomous Agents and Multi-Agent Systems. Special Issue: Coordination Mechanisms for Web Agents, vol. 2, pp. 251–269 (1999)
TuCSoN: Home page (2001), http://lia.deis.unibo.it/research/TuCSoN/
Gelernter, D.: Generative communication in Linda. ACM Transactions on Programming Languages and Systems (TOPLAS) 7, 80–112 (1985)
Omicini, A., Denti, E.: From tuple spaces to tuple centres. Science of Computer Programming 41, 277–294 (2001)
Denti, E., Natali, A., Omicini, A.: On the expressive power of a language for programming coordination media. In: 1998 ACM Symposium on Applied Computing (SAC 1998), Atlanta, GA, USA. Special Track on Coordination Models, Languages and Applications, pp. 169–177. ACM, New York (1998)
Ricci, A., Omicini, A., Viroli, M.: Extending ReSpecT for multiple coordination flows. In: Arabnia, H.R. (ed.) International Conference on Parallel and Distributed Processing Techniques and Applications 2002, Las Vegas, NV, USA, vol. III, pp. 1407–1413. CSREA Press (2002)
Freeman, E., Hupfer, S., Arnold, K.: JavaSpaces: Principles, Patterns, and Practice. The Jini Technology Series. Addison-Wesley, Reading (1999)
Omicini, A., Denti, E.: Formal ReSpecT. In: Declarative Programming Selected Papers from AGP 2000, 48th edn., La Habana, Cuba, 4–6 December. Electronic Notes in Theoretical Computer Science, pp. 179–196 (2000)
Dijkstra, E.: Co-operating Sequential Processes. Academic Press, London (1965)
Wyckoff, P., McLaughry, S.W., Lehman, T.J., Ford, D.A.: T Spaces. IBM Journal of Research and Development 37, 454–474 (1998)
tuProlog: Home page (2001), http://lia.deis.unibo.it/research/tuProlog/
Berry, G., Gonthier, G.: The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming 19, 87–152 (1992)
Caspi, P., Pilaud, D., Halbwachs, N., Plaice, J.A.: LUSTRE: a declarative language for real-time programming. In: 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 178–188. ACM Press, New York (1987)
Jacquet, J.M., De Bosschere, K., Brogi, A.: On timed coordination languages. In: Porto, A., Roman, G.-C. (eds.) COORDINATION 2000. LNCS, vol. 1906, pp. 81–98. Springer, Heidelberg (2000)
de Boer, F., Gabbrielli, M., Meo, M.C.: A Timed Linda language and its denotational semantics. Fundamenta Informaticae 63, 309–330 (2004)
Denti, E., Natali, A., Omicini, A.: Programmable coordination media. In: Garlan, D., Le Métayer, D. (eds.) COORDINATION 1997. LNCS, vol. 1282, pp. 274–288. Springer, Heidelberg (1997)
Ricci, A., Viroli, M.: A timed extension of ReSpecT. In: 2005 ACM Symposium on Applied Computing (SAC 2005), Santa Fe, NM, USA. Special Track on Coordination Models, Languages and Applications, pp. 420–427. ACM, New York (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Omicini, A., Ricci, A., Viroli, M. (2005). Time-Aware Coordination in ReSpecT . In: Jacquet, JM., Picco, G.P. (eds) Coordination Models and Languages. COORDINATION 2005. Lecture Notes in Computer Science, vol 3454. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11417019_18
Download citation
DOI: https://doi.org/10.1007/11417019_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25630-4
Online ISBN: 978-3-540-32006-7
eBook Packages: Computer ScienceComputer Science (R0)