skip to main content
10.1145/1529282.1529588acmconferencesArticle/Chapter ViewAbstractPublication PagessacConference Proceedingsconference-collections
research-article

Knowledge-based coordination with a reliable semantic subscription mechanism

Published: 08 March 2009 Publication History

Abstract

Semantic technologies promise to solve challenging problems of current enterprise information systems, e.g., the integration of heterogeneous information clients and the evaluation of complex data dependencies. As many of these problems also apply to coordination applications, recent research initiatives have proposed to integrate coordination models with semantic technology. In this paper, we present such an integrated coordination model which combines logic-based reasoning with a reliable semantic subscription mechanism. We present a formal definition of the model's behavioral semantics and investigate the added value of using semantic technologies. Finally, we draw first conclusions about the practical applicability of the proposed approach based on performance benchmarks of a prototype implementation.

References

[1]
Alpern, B., Schneider, F. B. Defining liveness. Information Processing Letters, 1985.
[2]
Andrews, P. D. An introduction to mathematical logic and type theory: to truth through proof. Kluwer Academic Publishers, 2002.
[3]
Baader, F., Calvanese, D., McGuinness, D. L., Nardi, D., Patel-Schneider, P. F. The description logic handbook: theory, implementation, applications. Cambridge University Press, Cambridge, UK, 2003.
[4]
Catarci, T. And Lenzerini, M. Representing and using interschema knowledge in cooperative information systems. Journal of Intelligent and Cooperative Information Systems, 2(4): 375--398, 1993.
[5]
Feng, M. D., Gao, Y. Q., and Yuen, C. K. Distributed Linda Tuplespace Algorithms and Implementations. In Proc. of the 3rd Joint Int'l Conf. on Vector and Parallel Processing, 1994.
[6]
Fensel, D., Kühn, e., Leymann, F., and Tolksdorf, R. Queues Are Spaces - Yet Still Both Are Not The Same? Technical Report, DERI, Univ. Innsbruck, October 2007.
[7]
Fensel, D., Krummenacher, R., Shafiq, O., Kühn, e., Riemer, J., Ding, Y., and Draxler, B. TSC - Triple Space Computing, In Special issue on ICT research in Austria, Journal of Electronics & Information Technology (e&i Elektrotechnik & Informationstechnik), January-February, 2007.
[8]
Fiege, L., Mühl, G., F. C. Gärtner. A modular approach to build structured event-based systems. In Proc. of 2002 ACM Symposium on Applied Computing (SAC'02). ACM, 2002.
[9]
Gelernter, D. Generative Communication in Linda, In ACM Transactions in Programming Languages and Systems (TOPLAS), 7(1), 80--112, 1985.
[10]
Gigaspaces. http://www.gigaspaces.com: August 2008.
[11]
Guo, Y., Pan, Z., Heflin, J. LUBM: A Benchmark for OWL Knowledge Base Systems. In Journal of Web Semantics 3(2), 2005, pp158--182.
[12]
Halaschek-Wiener, C., Parsia, B., Sirin, E.: Description Logic Reasoning with Syntactic Updates. OTM Conferences (1) 2006: 722--737.
[13]
Hohpe, G, Woolf, B. Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions, Addison-Wesley Professional, 2003.
[14]
Khushraj, D., Lassila, O. and Finin, T. W. sTuples: Semantic Tuple Spaces. In 1st Ann. Int'l Conf. on Mobile and Ubiquitous Systems, August 2004.
[15]
Kröger, F. Temporal Logic of Programs. Springer, 1987.
[16]
Kühn, e. Virtual shared memory for distributed architecture. Nova Science Publishers, 2001.
[17]
Kühn, e., Mordinyi, R., Schreiber, C. An Extensible Space-based Coordination Approach for Modeling Complex Patterns in Large Systems. In: Proc. of 3rd Int'l Symp. on Leveraging Applications of Formal Methods (ISOLA), 2008.
[18]
Luckham, D. The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems. Addison-Wesley, 2002.
[19]
Manola, F. and Miller, E. RDF Primer W3C-Recommend., 2004. Available at: http://www.w3.org/TR/rdf-primer/
[20]
McGuinness, D. L. and van Harmelen, F. OWL Web Ontology Language, W3C Recommendation, 2004. Available at: http://www.w3.org/TR/owl-features/
[21]
Murth, M. and Kühn, e. Knowledge-driven coordination using a semantic event notification service. In Proc. of 1st Int'l workshop on emergent semantics and cooperation in open systems (ESTEEM). Rome, Italy, 2008.
[22]
Mühl, G., Fiege, L., Pietzuch, P. R. Distributed event-based systems, Springer-Verlag, 2006.
[23]
Nixon, L. J. B., Paslaru Bontas Simperl, E., Antonenko, O., and Tolksdorf, R. Towards Semantic Tuplespace Computing: The Semantic Web Spaces System. In 22nd Ann. ACM Symposium on Applied Computing, March 2007.
[24]
Nixon, L. J. B., Simperl, E., Krummenacher, R., and Martin-Recuerda, F.: Tuplespace-based computing for the Semantic Web: a survey of the state-of-the-art. The Knowledge Engineering Review, Volume 23, Issue 02, 2008.
[25]
Ontotext. OWLIM Fact Sheet, available at: http://www.ontotext.com/owlim/OWLIMFactSheet.pdf
[26]
Petrovic, M., Liu, H., and Jacobsen, H. G-ToPSS: fast filtering of graph-based metadata. In Procc of the 14th Intl. Conf. on World Wide Web (WWW '05), ACM Press, 2005.
[27]
RDFCube. Database grid grid - RDFCube. Available at: http://projects.gtrc.aist.go.jp/dbwiki/pukiwiki.php?RDFCub,
[28]
Simperl, E., Krummenacher, R., and Nixon, L. A Coordination Model for Triplespace Computing. In Proc. of: 9th Int'l Conf. on Coordination Models and Languages, 2007.
[29]
Wang, J., Jin, B., and Li, J. An Ontology-Based Publish/Subscribe System. In Proceedings of the 5th ACM/IFIP/USENIX Intl. Conf. on Middleware, 2004.

Cited By

View all
  • (2020)Twenty Years of Coordination Technologies: COORDINATION contribution to the State of ArtJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2020.100531(100531)Online publication date: Feb-2020
  • (2018)C Minor: a Semantic Publish/Subscribe Broker for the Internet of Musical ThingsProceedings of the 23rd Conference of Open Innovations Association FRUCT10.5555/3299905.3299960(405-415)Online publication date: 19-Nov-2018
  • (2018)From Heterogeneous Sensor Networks to Integrated Software Services: Design and Implementation of a Semantic Architecture for the Internet of Things at ARCES@UNIBOProceedings of the 23rd Conference of Open Innovations Association FRUCT10.5555/3299905.3299907(12-20)Online publication date: 19-Nov-2018
  • Show More Cited By
  1. Knowledge-based coordination with a reliable semantic subscription mechanism

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    SAC '09: Proceedings of the 2009 ACM symposium on Applied Computing
    March 2009
    2347 pages
    ISBN:9781605581668
    DOI:10.1145/1529282
    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: 08 March 2009

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. coordination model
    2. knowledge-based coordination
    3. logic-based reasoning
    4. reliable subscription mechanism

    Qualifiers

    • Research-article

    Funding Sources

    Conference

    SAC09
    Sponsor:
    SAC09: The 2009 ACM Symposium on Applied Computing
    March 8, 2009 - March 12, 2008
    Hawaii, Honolulu

    Acceptance Rates

    Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

    Upcoming Conference

    SAC '25
    The 40th ACM/SIGAPP Symposium on Applied Computing
    March 31 - April 4, 2025
    Catania , Italy

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

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

    Other Metrics

    Citations

    Cited By

    View all
    • (2020)Twenty Years of Coordination Technologies: COORDINATION contribution to the State of ArtJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2020.100531(100531)Online publication date: Feb-2020
    • (2018)C Minor: a Semantic Publish/Subscribe Broker for the Internet of Musical ThingsProceedings of the 23rd Conference of Open Innovations Association FRUCT10.5555/3299905.3299960(405-415)Online publication date: 19-Nov-2018
    • (2018)From Heterogeneous Sensor Networks to Integrated Software Services: Design and Implementation of a Semantic Architecture for the Internet of Things at ARCES@UNIBOProceedings of the 23rd Conference of Open Innovations Association FRUCT10.5555/3299905.3299907(12-20)Online publication date: 19-Nov-2018
    • (2018)Enabling Interoperability in the Internet of ThingsInternational Journal on Semantic Web & Information Systems10.4018/IJSWIS.201701010913:1(148-168)Online publication date: 19-Dec-2018
    • (2018)Dynamic Linked Data: A SPARQL Event Processing ArchitectureFuture Internet10.3390/fi1004003610:4(36)Online publication date: 20-Apr-2018
    • (2018)C Minor: a Semantic Publish/Subscribe Broker for the Internet of Musical Things2018 23rd Conference of Open Innovations Association (FRUCT)10.23919/FRUCT.2018.8588087(405-415)Online publication date: Nov-2018
    • (2018)From Heterogeneous Sensor Networks to Integrated Software Services: Design and Implementation of a Semantic Architecture for the Internet of Things at ARCES@UNIBO2018 23rd Conference of Open Innovations Association (FRUCT)10.23919/FRUCT.2018.8588024(10-18)Online publication date: Nov-2018
    • (2017)SPediaInternational Journal on Semantic Web and Information Systems10.4018/IJSWIS.201701010813:1(128-147)Online publication date: Jan-2017
    • (2016)A Semantic Publish-Subscribe Architecture for the Internet of ThingsIEEE Internet of Things Journal10.1109/JIOT.2016.25873803:6(1274-1296)Online publication date: Dec-2016
    • (2015)Design of semantic information broker for localized computing environments in the internet of thingsProceedings of the 17th Conference of Open Innovations Association FRUCT10.1109/FRUCT.2015.7117968(36-43)Online publication date: 27-Apr-2015
    • 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