3-Level service composition and cashew: A model for orchestration and choreography in semantic web services

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4277 LNCS - I, Issue , 2006, Pages 58-67

  Norton, Barry ^a   Pedrinaci, Carlos ^a  

^a OPEN UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRONIC DATA INTERCHANGE; INTERFACES (COMPUTER); MATHEMATICAL MODELS; SEMANTICS; SOFTWARE ENGINEERING; WORLD WIDE WEB;

CASHEW WORKFLOW MODELS; CHOREOGRAPHY; ORCHESTRATION; SEMANTIC WEB SERVICES;

TELECOMMUNICATION SERVICES;

EID: 33845432818     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11915034_28     Document Type: Conference Paper

References (27)

1. A. Ankolekar, F. Huch, and K. Sycara. Concurrent semantics for the web services specification language DAML-S. In Proc. 5th Intl. Conf. on Coordination, volume 2315 of LNCS, 2002.
2. E. Börger and R. Stärk. Abstract State Machines. Springer, 2003.
3. L. Cabral and J. Domingue. 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.
4. J. Domingue, L. Cabrai, F. Hakimpour, D. Sell, and E. Motta. IRS-III: A platform and infrastructure for creating WSMO-based semantic web services. In Proc. of the Workshop on WSMO Implementations (WIW 2004), volume ISSN 1613-0073. CEUR Workshop Proceedings, 2004.
5. J. Domingue, S. Galizia, and L. Cabrai. Choreography in IRS-III: Coping with heterogeneous interaction patterns. In Proc. 4th Intl. Semantic Web Conference (ISWC 2005), number 3729 in LNCS, 2005.
6. M. Dumas and A. H. M. ter Hofstede. UML Activity Diagrams as a workflow specification language. In Proc. 4th Intl. Conf. on the Unified Modeling Language (UML), number 2185 in LNCS, 2001.
7. D. Roman et al. Orchestration in WSMO (working version). http://www. wsmo.org/TR/d15/v0.1/, January 2005.
8. D. Roman et al. Web service modeling ontology WSMO vl.2. http://www.wsmo.org/TR/d2/vl.2/, April 2005.
9. D. Roman et al. Ontology-based choreography of wsmo services v1.3. http://www.wsmo.org/TR/d14/v0.3/, May 2006.
10. David Martin et al. OWL-S: Semantic markup for web services, http://www.daml.org/services/owl-s/1.1/overview/, 2004.
11. J. Kopecky et al. WSMO use case: Amazon e-commerce service v0.1. http://www.wsmo.org/TR/d3.4/v0.1/, December 2005.
12. M. Stollberg et al. DIP interface description ontology, http://dip.semanticweb.org/documents/DIO-Annex-tc-D3.4-and-D3.5.pdf, January 2005. Annex to DIP Deliverables D3.4 and D3.5.
13. N. Kavantzas et al. Web services choreography description language v1.0 http://www.w3.org/TR/ws-cdl-10/, November 2005.
14. S. Bhiri et al. An orchestration and business process ontology. http://dip. semanticweb.org/documents/D3.4.pdf, January 2005. DIP Deliverable D3.4.
15. S. Galizia et al. An ontology for web service choreography. http://dip.semanticweb. org/documents/D3-5.pdf, January 2005. DIP Deliverable D3.5.
16. S. Thatte et al. Business process execution language for web services version 1.1. ftp://www6.software.ibm.com/software/developer/library/ws-bpel.pdf, 2003.
17. Object Management Group. UML 1.4.2 specification. Technical Report ISO/IEC 19501, ISO, 2005.
18. A. Haller, E. Cimpian, A. Mocan, E. Oren, and C. Bussler. WSMX - a semantic service-oriented architecture. In Proc. 4th Intl. Semantic Web Conference (ISWC 2005), number 3729 in LNCS, 2005.
19. F. Leymann. Web services flow language (WSFL 1.0). http://www-3.ibm.com/ software/solutions/webservices/pdf/WSFL.pdf, 2001.
20. B. Norton. Experiences with OWL-S, directions for service composition: The Cashew position. In OWL: Experiences and Directions Workshop (co-located with ESWC 2005), 2005. http://www.mindswap.org/OWLWorkshop/sub23.pdf.
21. B. Norton. Dataflow for orchestration in WSMO. http://www.wsmo.org/TR/ d15/d15.1, July 2006.
22. B. Norton, S. Foster, and A. Hughes. A compositional semantics for OWL-S. In Proc. 2nd Intl. Workshop on Web Services and Formal Methods (WS-FM 05), number 3670 in LNCS, Sept 2005.
23. B. Norton, G. Lüttgen, and M. Mendler. A compositional semantic theory for synchronous component-based design. In 14th Intl. Conference on Concurreny Theory (CONCUR '03), number 2761 in LNCS. Springer-Verlag, 2003.
24. M. Pistore, F. Barbon, P. Bertoli, D. Shaparau, and P. Traverso. 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 5-7, 2004.
25. W. M. P. van der Aalst. Formalization and verification of event-driven process chains. Information & Software Technology, 41(10):636-650, 1999.
26. W. M. P. van der Aalst, A. H. M ter Hofstede, B. Kiepuszewski, and A. P. Barros. Workflow patterns. Distributed and Parallel Databases, 14(3):5-51, June 2003.
27. P. Wohed, W. M. P. van der Aalst, M. Dumas, A. H. M. ter Hofstede, and N. Ruseell. Pattern-based analysis of UML activity diagrams. BETA Working Paper Series WP 129, Eindhoven University of Technology, 2005.