Algebraic foundation of a data model for an extensible space-based collaboration protocol

ABSTRACT

Space-based computing middleware offers a data driven style for the coordination of processes. The interaction requirements between these processes can be complex, and the template matching coordination law of the Linda and JavaSpaces model is not sufficient. Moreover, the usage should not be limited to a single platform. Several authors have proposed coordination extensions, but besides the suggestion to use XML or RDF based query facilities, a formalization of a general and extensible space-based coordination model has not yet been realized. In this paper we present the algebraic data structures and the coordination model based on a navigational query language for the extensible virtual shared memory architecture, and show how they can be adapted to support arbitrary coordination laws by the introduction of user-definable matchmaker and selector functions. The platform independence is achieved through a language independent communication protocol. The formal specification of the data model is the necessary basis for this protocol.

References

1. S. Abiteboul, O. Benjelloun, and T. Milo. The active xml project: an overview. The VLDB Journal, 17(5):1019--1040, 2008.
2. M. Bravetti, R. Gorrieri, R. Lucchi, and G. Zavattaro. On the expressiveness of probabilistic and prioritized data-retrieval in Linda. Electr. Notes Theor. Comput. Sci., 128(5):39--53, 2005.
3. M. Bravetti, R. Gorrieri, R. Lucchi, and G. Zavattaro. Quantitative information in the tuple space coordination model. Theor. Comput. Sci., 346(1):28--57, 2005.
4. N. Busi, R. Gorrieri, and G. Zavattaro. Process calculi for coordination: From Linda to JavaSpaces. In Proc. of the 8th Int. Conf. on Algebraic Methodology and Software Technology (AMAST), pages 198--212, London, UK, 2000. Springer-Verlag.
5. P. Ciancarini. Coordination models and languages as software integrators. ACM Comput. Surv., 28(2):300--302, 1996.
6. D. Fensel, R. Krummenacher, O. Shafiq, E. Kühn, J. Riemer, Y. Ding, and B. Draxler. Tsc triple space computing. Springer, Elektrotechnik&Informationstechnik, pages 31--38, 2007.
7. E. Freeman, K. Arnold, and S. Hupfer. JavaSpaces Principles, Patterns, and Practice. Addison-Wesley Longman Ltd., Essex, UK, 1999.
8. D. Gelernter. Generative communication in Linda. ACM Trans. Program. Lang. Syst., 7(1):80--112, 1985.
9. D. Gelernter. Multiple tuple spaces in linda. In PARLE '89: Proceedings of the Parallel Architectures and Languages Europe, Volume II: Parallel Languages, pages 20--27, London, UK, 1989. Springer-Verlag.
10. L. Keszthelyi. Design and implementation of the JavaSpaces API standard for XVSM. Master's thesis, TU Vienna, Inst. of Computer Languages, 2008.
11. E. Kühn. Virtual Shared Memory for Distributed Architecture. Nova Science Publishers, 2001.
12. E. Kühn, R. Mordinyi, L. Keszthelyi, and C. Schreiber. Introducing the concept of customizable structured spaces for agent coordination in the production automation domain. In The 8th Int. Conference on Autonomous Agents and Multiagent Systems (AAMAS), May 10--15 2009.
13. E. Kühn, R. Mordinyi, and C. Schreiber. An extensible space-based coordination approach for modeling complex patterns in large systems. 3rd Int. Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Special Track on Formal Methods for Analysing and Verifying Very Large Systems, 2008.
14. E. Kühn, J. Riemer, R. Mordinyi, and L. Lechner. Integration of XVSM spaces with the web to meet the challenging interaction demands in pervasive scenarios. Ubiquitous Computing And Communication Journal (UbiCC), special issue on "Coordination in Pervasive Environments", 3, 2008.
15. R. Milner. The polyadic pi-calculus: a tutorial. Technical report, Logic and Algebra of Specification, 1991.
16. R. De Nicola, G. L. Ferrari, and R. Pugliese. Klaim: a kernel language for agents interaction and mobility. IEEE Trans. on Software Eng., 24(5):315--330, 1998.
17. L. Nixon, O. Antonechko, and R. Tolksdorf. Towards semantic tuplespace computing: the semantic web spaces system. In SAC '07: Proc. of the 2007 ACM symposium on Applied computing, pages 360--365, New York, NY, USA, 2007. ACM.
18. G. P. Picco, D. Balzarotti, and P. Costa. Lights: a lightweight, customizable tuple space supporting context-aware applications. In SAC '05: Proceedings of the 2005 ACM symposium on Applied computing, pages 413--419, New York, NY, USA, 2005. ACM.
19. N. Shavit and D. Touitou. Software transactional memory. In Proc. of the 14th ACM Symp. on Principles of Distributed Computing (PODC), pages 204--213, 1995.
20. R. Tolksdorf, F. Liebsch, and D. M. Nguyen. XML Spaces. NET: An extensible tuplespace as XML middleware. In Proc. 2nd Int. Workshop on .NET Technologies, 2004.

Index Terms

• Computer systems organization

  • Architectures

    • Distributed architectures

• Software and its engineering

  • Software notations and tools

    • Formal language definitions

  • Software organization and properties

    • Software system structures

      • Distributed systems organizing principles

• Theory of computation

  • Formal languages and automata theory