Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition | SpringerLink
Skip to main content
Springer Nature Link
Log in

Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition

  • Conference paper
On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops (OTM 2005)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 3762))

  • 780 Accesses

Abstract

This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can be handled by different web services, and describes a system of inter-related web services as the flow of documents between them. The notation allows the typical web services composition pattern, asynchronous messaging, and has the capability to deal with long-running service-to-service interactions and dynamic configuration behaviors.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Booth, D., et al.: Web Services Architecture (2004), http://www.w3.org/

  2. Peltz, C.: Web services orchestration and choreography. IEEE Computer 36, 46–52 (2003)

    Google Scholar 

  3. Bunting, D., et al.: Web Services Composition Application Framework (WS-CAF) V1.0 (2003), http://www.oasis-open.org

  4. Andrews, T., et al.: Business Process Execution Language for Web Services Version 1.1 (2003), http://www.ibm.com/developerworks/library/ws-bpel/

  5. Henderson, P., Yang, J.: Reusable Web Services. In: Bosch, J., Krueger, C. (eds.) ICOIN 2004 and ICSR 2004. LNCS, vol. 3107, pp. 185–194. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  6. Yang, J., Cîrstea, C., Henderson, P.: An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination. In: accepted by First International Workshop on Services Engineering (SEIW 2005), Melbourne, Australia (2005)

    Google Scholar 

  7. Christensen, E., et al.: Web Services Description Language (WSDL) 1.1 (2001), http://www.w3.org/TR/wsdl

  8. Henderson, P.: Laws for Dynamic Systems. In: Proceedings of International Conference on Software Re-Use (ICSR 1998), Victoria, Canada (1998)

    Google Scholar 

  9. Henderson, P.: Modelling Architectures for Dynamic Systems. In: McIver, A., Morgan, C. (eds.) Programming Methodology, Monographs in Computer Science. Springer, Heidelberg (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Electronics and Computer Science, University of Southampton, Southampton, SO17 1BJ, UK

    Jingtao Yang, Corina Cîrstea & Peter Henderson

Authors
  1. Jingtao Yang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Corina Cîrstea
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Peter Henderson
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. STARLab, Vrije Universiteit Brussel (VUB), Bldg G/10, Pleinlaan 2, 1050, Brussels, Belgium

    Robert Meersman

  2. School of Computer Science and Information Technology, RMIT University, Bld 10.10, 376-392 Swanston Street, 3001, Melbourne, VIC, Australia

    Zahir Tari

  3. Facultad de Informática, Universidad Politécnica de Madrid, Campus de Montegancedo S/N, 28660, Boadilla del Monte, Madrid, Spain

    Pilar Herrero

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Yang, J., Cîrstea, C., Henderson, P. (2005). Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition. In: Meersman, R., Tari, Z., Herrero, P. (eds) On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops. OTM 2005. Lecture Notes in Computer Science, vol 3762. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11575863_19

Download citation

  • DOI: https://doi.org/10.1007/11575863_19

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-29739-0

  • Online ISBN: 978-3-540-32132-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics