Inference Queues for Communicating and Monitoring Declarative Information between Web Services
Conference paper
Abstract
We introduce the inference queue as a mechanism for communicating and transforming data in Web services choreography. The insert operation provides definite clauses to the inference queue, and the remove operation generates output that is sound, complete, fair, and irredundant. Both operations are thread safe and responsive. The inference queue can form part of a highly configurable data transformation system. Rules can also monitor for events of interest based on the occurrence of certain conditions. Our suggestion of system wide monitoring of communication is complementary to existing Web services proposals.
Preview
Unable to display preview. Download preview PDF.
References
- 1.Arkin, A.: Business Process Modeling Language (2002), http://www.bpmi.org/bpml-spec.esp
- 2.Boley, H.: The rule markup initiative (2003), http://www.ruleml.org
- 3.BPMI.org. BPML||BPEL4WS: A Convergence Path toward a Standard BPM Stack (2002), www.bpmi.org/downloads/BPML-BPEL4WS.pdf
- 4.DAML-S Coalition. DAML Services (2003), http://www.daml.org/services/
- 5.The DAML Services Coalition. DAML-S: Semantic Markup for Web Services. In: Proceedings of SWWS 2001 The First Semantic Web Working Symposium, pp. 404–411 (2003) Google Scholar
- 6.Arkin, A., et al.: Web Services Choreography Interface (WSCI)1.0 (2002), http://www.w3.org/TR/wsci
- 7.Andrews, T., et al.: Business Process Execution Language for Web Services version 1.1 (2003), ftp://www6.software.ibm.com/software/developer/library/ws-bpel11.pdf
- 8.Wos, L., Carson, D., Robinson, G.: Efficiency, completeness and the set of support strategy in theorem proving. J. ACM 12, 536–541 (1965)MATHCrossRefMathSciNetGoogle Scholar
- 9.Levine, P.: ebXML business Process Specification Schema Version 1.01 (2001), http://www.ebxml.org/specs/ebBPSS.pdf
- 10.McCune, W.W.: Otter 3.0 users guide. Technical Report ANL-94/6, Mathematics and Computer Science Division, Argonne National Laboratories, Argonne, IL (1994) Google Scholar
- 11.Sun Microsystems. WSCI 1.0 Specification - FAQs (2003), http://wwws.sun.com/software/xml/developers/wsci/faq.html
- 12.Robinson, J.A.: A machine-oriented logic based on the resolution principle. J. ACM 12, 23–41 (1965)MATHCrossRefGoogle Scholar
- 13.Spencer, B.: The design of j-drew: a deductive reasoning engine for the web. In: Carro, K.-K.L.M., Vaucheret, C. (eds.) First Colognet Workshop on Component-based Software Development and Implementation Technology for Computational Logic Systems, Universidad Politécnica de Madrid, September 2002, pp. 155–166 (2002), CLIP4/02.0Google Scholar
- 14.W3C. Semantic Web (2001), http://www.w3.org/2001/sw/
- 15.W3C. Semantic Web Web Services (2001), http://www.w3.org/2001/11/11-semwebwebservices
- 16.W3C. Web Services Choreography Working Group (2003), http://www.w3.org/2002/ws/chor/
- 17.Weerawarana, S., Curbera, F.: Business Process with BPEL4WS: Understanding BPEL4WS, Part 1 (2002), http://www-106.ibm.com/developerworks/library/wsbpelcol1
Copyright information
© Springer-Verlag Berlin Heidelberg 2003