Skip to main content
SpringerLink
Log in

Conformance Test of Federated Choreographies

  • Conference paper
Enterprise Interoperability II

Abstract

Web Services technology is constantly gaining importance for automation of business processes. A major contribution of this technology is its integration capability, i.e. compositions allowing several autonomous but cooperating web services to implement a business process going beyond the boundaries of a single organization. Federated choreographies provide a framework for modular modeling complex collections of choreographies and orchestrations. In this paper we present a conformance test to check the structural conformance of the choreographies and orchestration of the proposed model in order to hold the model structurally consistent. We can formally check whether an orchestration realizing (one part of) a choreography, resp. two related choreographies fit together.

Work partly supported by the Commission of the European Union within the project WS-Diamond in FP6.STREP

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 259.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 329.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Barros AP, Dumas M, Oaks P (2005) Standards for web service choreography and orchestration: Status and perspectives. Proc. of the 1st International Workshop on Web Service Choreography and Orchestration for Business Process Management, Nancy, France

    Google Scholar 

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

    Google Scholar 

  3. Andrews T, et al (2003) Business process execution language for web services (bpel4ws). ver. 1.1, BEA, IBM, Microsoft, SAP, Siebel Systems

    Google Scholar 

  4. Kavantzas N, Burdett D, Ritzinger G (2004) Web services choreography description language (ws-cdl) 1.0. W3C Working Draft

    Google Scholar 

  5. Arkin A, et al (2002) Web Service Choreography Interface (wsci) 1.0. W3C

    Google Scholar 

  6. Eder J, Lehmann M, Tahamtan A (2006) Choreographies as Federations of Choreographies and Orchestrations. Proc. of CoSS, Tucson, AZ, USA

    Google Scholar 

  7. Dijkman RM, Dumas M (2004) Service-oriented design: A multi-viewpoint approach. Int. J. Cooperative Inf. Syst. 13(4):337–368

    Article  Google Scholar 

  8. Eder J, Gruber W (2002) A meta model for structured workflows supporting workflow transformations. Proc. of ADBIS, Bratislava, Slovakia

    Google Scholar 

  9. Lehmann M (2006) Data Access in Workflow Management Systems. Ph.D. Thesis, University of Klagenfurt, Austria

    Google Scholar 

  10. Van der Aalst WMP (1998) The application of petri nets to workflow management. Journal of Circuits, Systems, and Computers. 8(1):21–66

    Article  Google Scholar 

  11. Burdett D, Kavantzas N (2004) WS choreography model overview. W3C

    Google Scholar 

  12. Van der Aalst WMP, Basten T (2002) Inheritance of workflows: an approach to tackling problems related to change. Theor. Comput. Sci. 270(1–2):125–203

    Article  MATH  Google Scholar 

  13. Basten T (1998) In Terms of Nets: System Design with Petri Nets and Process Algebra. Ph.D thesis, TU Eindhoven, The Netherlands

    MATH  Google Scholar 

  14. Van Glabbeek RJ, Weijland WP (1998) Branching time and abstraction in bisimulation semantics (extended abstract). Proc. of IFIP 11th World Comput. Congr. San Francisco, CA, USA

    Google Scholar 

  15. Van Glabbeek RJ, Weijland WP (1996) Branching time and abstraction in bisimulation semantics. J. ACM. 43(3):555–600

    Article  Google Scholar 

  16. Murata T (1989) Petri nets: Properties, analysis and applications. Proc. of IEEE. 77(4):541–580

    Article  Google Scholar 

  17. Peterson JL (1977) Petri nets. ACM Comput. Surv. 9(3):223–252

    Article  MATH  Google Scholar 

  18. Graf S (1986) A complete inference system for an algebra or regular acceptance models. Proc. of MFCS, Bratislava, Czechoslovakia

    Google Scholar 

  19. Hennessy M (1985) Acceptance trees. J. ACM. 32(4):896–928

    Article  MATH  Google Scholar 

  20. Kanellakis PC, Smolka SA (1983) Ccs expressions, finite state processes, and three problems of equivalence. Inf. Comput. 86(1):43–86

    Article  Google Scholar 

  21. Milner R (1982) A Calculus of Communicating Systems. Springer, New York

    Google Scholar 

  22. Olderog ER (1985) Specification-oriented programming in TCSP. In: Krzysztof R (ed) Logics and Models of Concurrent Systems, NATO ASI Series F, volume 13, Springer, New York

    Google Scholar 

  23. Bergstra JA, Klop JW (1985) Algebra of communicating processes with abstraction. Comput. Sci. 37:77–121

    MATH  Google Scholar 

  24. Basten T (1996) Branching bisimilarity is an equivalence indeed! Inf. Process. Lett. 58(3):141–147

    Article  MATH  Google Scholar 

  25. Groote JF, Vaandrager FW (1990) An efficient algorithm for branching bisimulation and stuttering equivalence. proc. of ICALP, Warwick, England

    Google Scholar 

  26. Verbeek HMW, Van der Aalst WMP (2000) Woflan 2.0: A petri-net-based workflow diagnosis tool. Proc. of ICATPN, Aarhus, Denmark

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Knowledge and Business Engineering, University of Vienna, Rathausstrasse 19/9, A-1010, Vienna, Austria

    J. Eder, M. Lehmann & A. Tahamtan

Authors
  1. J. Eder
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. M. Lehmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. A. Tahamtan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. UNINOVA, New University of Lisbon, Quinta da Torre, 2829-516, Caparica, Portugal

    Ricardo J. Gonçalves PhD

  2. Institut für Informatik, Technische Universität Clausthal, Julius-Albert-Str. 4, 38678, Clausthal-Zellerfeld, Germany

    Jörg P. Müller (Dr. rer. nat., Dipl.-Inform.) (Dr. rer. nat., Dipl.-Inform.)

  3. Fraunhofer IPK, Pascalstr. 8-9, 10587, Berlin, Germany

    Kai Mertins (Dr.-Ing.) (Dr.-Ing.)

  4. CIMOSA Association e.V. at WZL Forum/ADITEC, Steinbachstr. 23, 52074, Aachen, Germany

    Martin Zelm (Dr. rer. nat., Dipl.-Phys.) (Dr. rer. nat., Dipl.-Phys.)

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag London Limited

About this paper

Cite this paper

Eder, J., Lehmann, M., Tahamtan, A. (2007). Conformance Test of Federated Choreographies. In: Gonçalves, R.J., Müller, J.P., Mertins, K., Zelm, M. (eds) Enterprise Interoperability II. Springer, London. https://doi.org/10.1007/978-1-84628-858-6_23

Download citation

  • DOI: https://doi.org/10.1007/978-1-84628-858-6_23

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-84628-857-9

  • Online ISBN: 978-1-84628-858-6

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation