skip to main content
10.1145/1620432.1620466acmconferencesArticle/Chapter ViewAbstractPublication PagesideasConference Proceedingsconference-collections
research-article

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

Published: 16 September 2009 Publication History

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.

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
IDEAS '09: Proceedings of the 2009 International Database Engineering & Applications Symposium
September 2009
347 pages
ISBN:9781605584027
DOI:10.1145/1620432
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 16 September 2009

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. coordination
  2. data model
  3. extensible virtual shared memory
  4. language independent protocol
  5. query language
  6. space-based computing
  7. tuple spaces

Qualifiers

  • Research-article

Conference

IDEAS '09
Sponsor:
  • ACM
  • Concordia University

Acceptance Rates

Overall Acceptance Rate 74 of 210 submissions, 35%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 15 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2022)The Peer-Model tool-chainScience of Computer Programming10.1016/j.scico.2022.102876(102876)Online publication date: Sep-2022
  • (2018)An Initial User Study Comparing the Readability of a Graphical Coordination Model with Event-B NotationSoftware Engineering and Formal Methods10.1007/978-3-319-74781-1_38(574-590)Online publication date: 2-Feb-2018
  • (2018)Towards a Hybrid Verification ApproachSoftware Technologies: Applications and Foundations10.1007/978-3-030-04771-9_27(367-386)Online publication date: 6-Dec-2018
  • (2017)Flexible Transactional Coordination in the Peer ModelFundamentals of Software Engineering10.1007/978-3-319-68972-2_8(116-131)Online publication date: 11-Oct-2017
  • (2014)Harnessing coherence of area decomposition and semantic shared spaces for task allocation in a robotic fleetInformation Processing in Agriculture10.1016/j.inpa.2014.03.0011:1(23-33)Online publication date: Aug-2014
  • (2014)Modeling a Flexible Replication Framework for Space-Based ComputingSoftware Technologies10.1007/978-3-662-45943-0_16(256-272)Online publication date: 1-Oct-2014
  • (2014)Modeling a Flexible Replication Framework for Space-Based ComputingSoftware Technologies10.1007/978-3-662-44920-2_16(256-272)Online publication date: 1-Oct-2014
  • (2013)Peer-Based Programming Model for Coordination PatternsCoordination Models and Languages10.1007/978-3-642-38493-6_9(121-135)Online publication date: 2013
  • (2013)Semantic Shared Spaces for Task Allocation in a Robotic Fleet for Precision AgricultureMetadata and Semantics Research10.1007/978-3-319-03437-9_43(440-446)Online publication date: 2013
  • (2012)A coordination-based access control model for space-based computingProceedings of the 27th Annual ACM Symposium on Applied Computing10.1145/2245276.2232026(1560-1562)Online publication date: 26-Mar-2012
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media