Advertisement

Inference Queues for Communicating and Monitoring Declarative Information between Web Services

  • Bruce Spencer
  • Sandy Liu
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2876)

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.

This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Arkin, A.: Business Process Modeling Language (2002), http://www.bpmi.org/bpml-spec.esp
  2. 2.
    Boley, H.: The rule markup initiative (2003), http://www.ruleml.org
  3. 3.
    BPMI.org. BPML||BPEL4WS: A Convergence Path toward a Standard BPM Stack (2002), www.bpmi.org/downloads/BPML-BPEL4WS.pdf
  4. 4.
    DAML-S Coalition. DAML Services (2003), http://www.daml.org/services/
  5. 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. 6.
    Arkin, A., et al.: Web Services Choreography Interface (WSCI)1.0 (2002), http://www.w3.org/TR/wsci
  7. 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. 8.
    Wos, L., Carson, D., Robinson, G.: Efficiency, completeness and the set of support strategy in theorem proving. J. ACM 12, 536–541 (1965)zbMATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Levine, P.: ebXML business Process Specification Schema Version 1.01 (2001), http://www.ebxml.org/specs/ebBPSS.pdf
  10. 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. 11.
    Sun Microsystems. WSCI 1.0 Specification - FAQs (2003), http://wwws.sun.com/software/xml/developers/wsci/faq.html
  12. 12.
    Robinson, J.A.: A machine-oriented logic based on the resolution principle. J. ACM 12, 23–41 (1965)zbMATHCrossRefGoogle Scholar
  13. 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. 14.
    W3C. Semantic Web (2001), http://www.w3.org/2001/sw/
  15. 15.
    W3C. Semantic Web Web Services (2001), http://www.w3.org/2001/11/11-semwebwebservices
  16. 16.
    W3C. Web Services Choreography Working Group (2003), http://www.w3.org/2002/ws/chor/
  17. 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

Authors and Affiliations

  • Bruce Spencer
    • 1
  • Sandy Liu
    • 2
  1. 1.Institute for Information Technologye-Business National Research Council of CanadaFredericton, New BrunswickCanada
  2. 2.Faculty of Computer ScienceUniversity of New BrunswickFredericton, New BrunswickCanada

Personalised recommendations

Cite paper

Buy options