Abstract
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.
An erratum to this chapter can be found at http://dx.doi.org/10.1007/11915034_125.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
Börger, E., Stärk, R.: Abstract State Machines. Springer, Heidelberg (2003)
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)
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-0073
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)
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)
Roman, D., et al.: Orchestration in WSMO (working version) (January 2005), http://www.wsmo.org/TR/d15/v0.1/
Roman, D., et al.: Web service modeling ontology WSMO v1.2 (April 2005), http://www.wsmo.org/TR/d2/v1.2/
Roman, D., et al.: Ontology-based choreography of wsmo services v0.3 (May 2006), http://www.wsmo.org/TR/d14/v0.3/
Martin, D., et al.: OWL-S: Semantic markup for web services (2004), http://www.daml.org/services/owl-s/1.1/overview/
Kopecky, J., et al.: WSMO use case: Amazon e-commerce service v0.1 (December 2005), http://www.wsmo.org/TR/d3.4/v0.1/
Stollberg, M., et al.: DIP interface description ontology, Annex to DIP Deliverables D3.4 and D3.5 (January 2005), http://dip.semanticweb.org/documents/DIO-Annex-to-D3.4-and-D3.5.pdf
Kavantzas, N., et al.: Web services choreography description language v1.0 (November 2005), http://www.w3.org/TR/ws-cdl-10/
Bhiri, S., et al.: An orchestration and business process ontology, DIP Deliverable D3.4 (January 2005), http://dip.semanticweb.org/documents/D3.4.pdf
Galizia, S., et al.: An ontology for web service choreography, DIP Deliverable D3.5 (January 2005), http://dip.semanticweb.org/documents/D3-5.pdf
Thatte, S., et al.: Business process execution language for web services version 1.1 (2003), ftp://www6.software.ibm.com/software/developer/library/ws-bpel.pdf
Object Management Group. UML 1.4.2 specification. Technical Report ISO/IEC 19501, ISO (2005)
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)
Leymann, F.: Web services flow language (WSFL 1.0) (2001), http://www-3.ibm.com/software/solutions/webservices/pdf/WSFL.pdf
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), http://www.mindswap.org/OWLWorkshop/sub23.pdf
Norton, B.: Dataflow for orchestration in WSMO (July 2006), http://www.wsmo.org/TR/d15/d15.1
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)
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)
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)
van der Aalst, W.M.P.: Formalization and verification of event-driven process chains. Information & Software Technology 41(10), 636–650 (1999)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Norton, B., Pedrinaci, C. (2006). 3-Level Service Composition and Cashew: A Model for Orchestration and Choreography in Semantic Web Services. In: Meersman, R., Tari, Z., Herrero, P. (eds) On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops. OTM 2006. Lecture Notes in Computer Science, vol 4277. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11915034_28
Download citation
DOI: https://doi.org/10.1007/11915034_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-48269-7
Online ISBN: 978-3-540-48272-7
eBook Packages: Computer ScienceComputer Science (R0)