3-Level Service Composition and Cashew: A Model for Orchestration and Choreography in Semantic Web Services

  • Barry Norton
  • Carlos Pedrinaci
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4277)


There are two types of behavioural model in the WSMO semantic description of services: an orchestration and a choreography, together called the interface. While an orchestration defines a service’s behaviour as a composition of existing parts, a choreography is intended to document the conversation of messages exchanged with a single client. In this paper we present a three-level model for behavioural descriptions, and how the Cashew workflow model fits into this, building on existing work in, and establishing connections with, semantic web services, workflow, and software engineering design.


Service Composition Activity Diagram Business Process Execution Language Abstract State Machine Service Choreography 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Ankolekar, A., Huch, F., Sycara, K.: Concurrent semantics for the web services specification language DAML-S. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol. 2315, Springer, Heidelberg (2002)CrossRefGoogle Scholar
  2. 2.
    Börger, E., Stärk, R.: Abstract State Machines. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  3. 3.
    Cabral, L., Domingue, J.: Mediation of semantic web services in IRS-III. In: Proc. Workshop on Mediation in Semantic Web Services (MEDIATE 2005), in conjunction with ICSOC 2005 (2005)Google Scholar
  4. 4.
    Domingue, J., Cabral, L., Hakimpour, F., Sell, D., Motta, E.: IRS-III: A platform and infrastructure for creating WSMO-based semantic web services. In: Proc. of the Workshop on WSMO Implementations (WIW 2004). CEUR Workshop Proceedings (2004) ISSN 1613-0073Google Scholar
  5. 5.
    Domingue, J., Galizia, S., Cabral, L.: Choreography in IRS-III: Coping with heterogeneous interaction patterns. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, Springer, Heidelberg (2005)Google Scholar
  6. 6.
    Dumas, M., ter Hofstede, A.H.M.: UML Activity Diagrams as a workflow specification language. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, Springer, Heidelberg (2001)Google Scholar
  7. 7.
    Roman, D., et al.: Orchestration in WSMO (working version) (January 2005),
  8. 8.
    Roman, D., et al.: Web service modeling ontology WSMO v1.2 (April 2005),
  9. 9.
    Roman, D., et al.: Ontology-based choreography of wsmo services v0.3 (May 2006),
  10. 10.
    Martin, D., et al.: OWL-S: Semantic markup for web services (2004),
  11. 11.
    Kopecky, J., et al.: WSMO use case: Amazon e-commerce service v0.1 (December 2005),
  12. 12.
    Stollberg, M., et al.: DIP interface description ontology, Annex to DIP Deliverables D3.4 and D3.5 (January 2005),
  13. 13.
    Kavantzas, N., et al.: Web services choreography description language v1.0 (November 2005),
  14. 14.
    Bhiri, S., et al.: An orchestration and business process ontology, DIP Deliverable D3.4 (January 2005),
  15. 15.
    Galizia, S., et al.: An ontology for web service choreography, DIP Deliverable D3.5 (January 2005),
  16. 16.
    Thatte, S., et al.: Business process execution language for web services version 1.1 (2003),
  17. 17.
    Object Management Group. UML 1.4.2 specification. Technical Report ISO/IEC 19501, ISO (2005)Google Scholar
  18. 18.
    Haller, A., Cimpian, E., Mocan, A., Oren, E., Bussler, C.: WSMX - a semantic service-oriented architecture. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, Springer, Heidelberg (2005)Google Scholar
  19. 19.
    Leymann, F.: Web services flow language (WSFL 1.0) (2001),
  20. 20.
    Norton, B.: Experiences with OWL-S, directions for service composition: The Cashew position. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, Springer, Heidelberg (2005), Google Scholar
  21. 21.
    Norton, B.: Dataflow for orchestration in WSMO (July 2006),
  22. 22.
    Norton, B., Foster, S., Hughes, A.: A compositional semantics for OWL-S. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW/WS-EM 2005. LNCS, vol. 3670, Springer, Heidelberg (2005)CrossRefGoogle Scholar
  23. 23.
    Norton, B., Lüttgen, G., Mendler, M.: A compositional semantic theory for synchronous component-based design. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol. 2761, Springer, Heidelberg (2003)CrossRefGoogle Scholar
  24. 24.
    Pistore, M., Barbon, F., Bertoli, P., Shaparau, D., Traverso, P.: Planning and Monitoring Web Service Composition. In: Proceedings of the Workshop on Planning and Scheduling for Web and Grid Services held in conjunction with ICAPS 2004, Whistler, British Columbia, Canada, June 3-7 (2004)Google Scholar
  25. 25.
    van der Aalst, W.M.P.: Formalization and verification of event-driven process chains. Information & Software Technology 41(10), 636–650 (1999)Google Scholar
  26. 26.
    van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and Parallel Databases 14(3), 5–51 (2003)CrossRefGoogle Scholar
  27. 27.
    Wohed, P., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M., Ruseell, N.: Pattern-based analysis of UML activity diagrams. BETA Working Paper Series WP 129, Eindhoven University of Technology (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Barry Norton
    • 1
  • Carlos Pedrinaci
    • 1
  1. 1.Knowledge Media Institute, Centre for Research in ComputingOpen UniversityMilton KeynesUK

Personalised recommendations