Knowledge-based coordination with a reliable semantic subscription mechanism

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: Peter B. Andrews, Introduction to Mathematical Logic and Type Theory: To Truth through Proof, Kluwer Academic Publishers, Norwell, MA, 2002
• 3: Franz Baader , Diego Calvanese , Deborah L. McGuinness , Daniele Nardi , Peter F. Patel-Schneider, The description logic handbook: theory, implementation, and applications, Cambridge University Press, New York, NY, 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: Ming-Dong Feng , Y. Q. Gao , Chung-Kwong Yuen, Distributed Linda Tuplespace Algorithms and Implementations, Proceedings of the Third Joint International Conference on Vector and Parallel Processing: Parallel Processing, p.581-592, September 06-08, 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: Ludger Fiege , Gero Mühl , Felix C. Gärtner, A modular approach to build structured event-based systems, Proceedings of the 2002 ACM symposium on Applied computing, March 11-14, 2002, Madrid, Spain [doi>10.1145/508791.508864]
• 9: David Gelernter, Generative communication in Linda, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.1, p.80-112, Jan. 1985 [doi>10.1145/2363.2433]
• 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: Gregor Hohpe , Bobby Woolf, Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 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: Fred Kröger, Temporal logic of programs, Springer-Verlag New York, Inc., New York, NY, 1987
• 16: Eva Kuhn, Virtual Shared Memory for Distributed Architectures, Nova Science Publishers, Inc., Commack, NY, 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 3^rd Int'l Symp. on Leveraging Applications of Formal Methods (ISOLA), 2008.
• 18: David C. Luckham, The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2001
• 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 1^st Int'l workshop on emergent semantics and cooperation in open systems (ESTEEM). Rome, Italy, 2008.
• 22: Gero Mühl , Ludger Fiege , Peter Pietzuch, Distributed Event-Based Systems, Springer-Verlag New York, Inc., Secaucus, NJ, 2006
• 23: Lyndon Nixon , Olena Antonechko , Robert Tolksdorf, Towards Semantic tuplespace computing: the Semantic web spaces system, Proceedings of the 2007 ACM symposium on Applied computing, March 11-15, 2007, Seoul, Korea [doi>10.1145/1244002.1244087]
• 24: Lyndon j. b. Nixon , Elena Simperl , Reto Krummenacher , Francisco Martin-recuerda, Tuplespace-based computing for the semantic web: A survey of the state-of-the-art, The Knowledge Engineering Review, v.23 n.2, p.181-212, June 2008 [doi>10.1017/S0269888907001221]
• 25: Ontotext. OWLIM Fact Sheet, available at: http://www.ontotext.com/owlim/OWLIMFactSheet.pdf
• 26: Milenko Petrovic , Haifeng Liu , Hans-Arno Jacobsen, G-ToPSS: fast filtering of graph-based metadata, Proceedings of the 14th international conference on World Wide Web, May 10-14, 2005, Chiba, Japan [doi>10.1145/1060745.1060824]
• 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: 9^th Int'l Conf. on Coordination Models and Languages, 2007.
• 29: Jinling Wang , Beihong Jin , Jing Li, An ontology-based publish/subscribe system, Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware, October 18-22, 2004, Toronto, Canada

INDEX TERMS

Keywords:
coordination model, knowledge-based coordination, logic-based reasoning, reliable subscription mechanism