article

A Semantical Framework for the Orchestration and Choreography of Web Services

Authors:

Yaoling ZhuAuthors Info & Claims

Electronic Notes in Theoretical Computer Science (ENTCS), Volume 151, Issue 2

Pages 3 - 18

https://doi.org/10.1016/j.entcs.2005.07.033

Published: 01 May 2006 Publication History

Abstract

Web Services are software services that can be advertised by providers and invoked by customers using Web technologies. This concept is currently carried further to address the composition of individual services through orchestration and choreography to services processes that communicate and interact with each other. We propose an ontology framework for these Web service processes that provides techniques for their description, matching, and composition. A description logic-based knowledge representation and reasoning framework provides the foundations. We will base this ontological framework on an operational model of service process behaviour and composition.

References

[1]

Alonso, G., Casati, F., Kuno, H. and Machiraju, V., Web Services -- Concepts, Architectures and Applications. 2004. Springer-Verlag.

[2]

http://www.w3.org/2002/ws

[3]

Chen, L., Shadbolt, N., Goble, C.A., Tao, F., Cox, S.J., Puleston, C. and Smart, P.R., Towards a Knowledge-Based Approach to Semantic Service Composition. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (Eds.), Springer LNCS, 2870.

[4]

Rao, J., Küngas, P. and Matskin, M., Logic-Based Web Services Composition: From Service Description to Process Model. In: International Conference on Web Services ICWS 2004, IEEE Press. pp. 446-453.

[5]

Peltz, C., Web Service orchestration and choreography: a look at WSCI and BPEL4WS. Web Services Journal. v3 i7.

[6]

Szyperski, C., Component Software: Beyond Object-Oriented Programming. 2002. 2nd Ed. Addison-Wesley.

[7]

Sangiorgi, D. and Walker, D., The π-calculus -- A Theory of Mobile Processes. 2001. Cambridge University Press.

[8]

In: Baader, F., McGuiness, D., Nardi, D., Schneider, P.P. (Eds.), The Description Logic Handbook, Cambridge University Press.

[9]

K. Schild. A Correspondence Theory for Terminological Logics: Preliminary Report. In Proc. 12th Int. Joint Conference on Artificial Intelligence. 1991

[10]

Pahl, C., An Ontology for Software Component Matching. In: Pezzè, M. (Ed.), LNCS, 2621. Springer-Verlag. pp. 6-21.

[11]

R. Zhang, I.B. Arpinar, and B. Aleman-Meza. Automatic Composition of Semantic Web Services. In Proc. International Conference in Web Services ICWS'2003. 2003

[12]

Lara, R., Roman, D., Polleres, A. and Fensel, D., A Conceptual Comparison of WSMO and OWL-S. In: Zhang, L.-J., Jeckle, M. (Eds.), LNCS, 3250. Springer-Verlag. pp. 254-269.

[13]

DAML-S Coalition. DAML-S: Web Services Description for the Semantic Web. In: Horrocks, I., Hendler, J. (Eds.), LNCS, 2342. Springer-Verlag. pp. 279-291.

[14]

Bertrand Meyer. Applying Design by Contract. Computer, pages 40--51, October 1992

[15]

Kozen, D. and Tiuryn, J., Logics of programs. In: van Leeuwen, J. (Ed.), Handbook of Theoretical Computer Science, vol. B. Elsevier.

[16]

Moorman Zaremski, A. and Wing, J.M., Specification Matching of Software Components. ACM Trans. on Software Eng. and Meth. v6 i4. 333-369.

Cited By

Vaddi SMohanty H(2014)Web Service Composition Using Service MapsProceedings of the 8th International Workshop on Multi-disciplinary Trends in Artificial Intelligence - Volume 887510.1007/978-3-319-13365-2_18(196-207)Online publication date: 8-Dec-2014
https://dl.acm.org/doi/10.1007/978-3-319-13365-2_18
Mihindukulasooriya NGarcía-Castro REsteban-Gutiérrez M(2013)Linked data platform as a novel approach for enterprise application integrationProceedings of the Fourth International Conference on Consuming Linked Data - Volume 103410.5555/2874359.2874374(146-157)Online publication date: 22-Oct-2013
https://dl.acm.org/doi/10.5555/2874359.2874374
Ntshinga WOjo SNgassam EKroeze Jde Villiers R(2012)A framework for the choreography of intelligent e-servicesProceedings of the South African Institute for Computer Scientists and Information Technologists Conference10.1145/2389836.2389850(111-118)Online publication date: 1-Oct-2012
https://dl.acm.org/doi/10.1145/2389836.2389850
Show More Cited By

A Semantical Framework for the Orchestration and Choreography of Web Services
1. Information systems
  1. World Wide Web
2. Theory of computation

Recommendations

Web services choreography and orchestration in Reo and constraint automata
SAC '07: Proceedings of the 2007 ACM symposium on Applied computing

Currently web services constitute one of the most important topics in the realm of the World Wide Web. Composition of web services lets developers create applications on top of service-oriented computing platforms. Current web services choreography and ...
Preparing and re-using web services for choreography

Web Service technologies offer a new and successful way for interoperability among web applications. However, there is not a unique standard opinion as to how Web Service composition must be implemented. Besides, services involved in compositions are ...
Model-Based Methods for Linking Web Service Choreography and Orchestration
APSEC '10: Proceedings of the 2010 Asia Pacific Software Engineering Conference

In recent years, many Web service composition languages have been proposed. Web service choreography describes collaboration protocols of cooperating Web service participants from a global view. Web service orchestration describes collaboration of the ...

Comments

Information & Contributors

Information

Published In

cover image Electronic Notes in Theoretical Computer Science (ENTCS)

Electronic Notes in Theoretical Computer Science (ENTCS) Volume 151, Issue 2

May, 2006

120 pages

ISSN:1571-0661

Issue’s Table of Contents

Copyright © Elsevier B.V. © 2006.

Publisher

Elsevier Science Publishers B. V.

Netherlands

Publication History

Published: 01 May 2006

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 30 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Vaddi SMohanty H(2014)Web Service Composition Using Service MapsProceedings of the 8th International Workshop on Multi-disciplinary Trends in Artificial Intelligence - Volume 887510.1007/978-3-319-13365-2_18(196-207)Online publication date: 8-Dec-2014
https://dl.acm.org/doi/10.1007/978-3-319-13365-2_18
Mihindukulasooriya NGarcía-Castro REsteban-Gutiérrez M(2013)Linked data platform as a novel approach for enterprise application integrationProceedings of the Fourth International Conference on Consuming Linked Data - Volume 103410.5555/2874359.2874374(146-157)Online publication date: 22-Oct-2013
https://dl.acm.org/doi/10.5555/2874359.2874374
Ntshinga WOjo SNgassam EKroeze Jde Villiers R(2012)A framework for the choreography of intelligent e-servicesProceedings of the South African Institute for Computer Scientists and Information Technologists Conference10.1145/2389836.2389850(111-118)Online publication date: 1-Oct-2012
https://dl.acm.org/doi/10.1145/2389836.2389850
Pahl CGacitua-Decar VWang MBandara K(2011)Ontology-based composition and matching for dynamic cloud service coordinationInternational Journal of Metadata, Semantics and Ontologies10.1504/IJMSO.2011.0480296:3/4(195-206)Online publication date: 1-Jul-2011
https://dl.acm.org/doi/10.1504/IJMSO.2011.048029
Overbeek SGong YJanssen M(2010)Architectures for Enabling Flexible Business ProcessesInternational Journal of Organizational and Collective Intelligence10.4018/joci.20100701011:3(1-19)Online publication date: 1-Jul-2010
https://dl.acm.org/doi/10.4018/joci.2010070101
Gong YJanssen MOverbeek SZuurmond A(2009)Enabling flexible processes by ECA orchestration architectureProceedings of the 3rd international conference on Theory and practice of electronic governance10.1145/1693042.1693048(19-26)Online publication date: 10-Nov-2009
https://dl.acm.org/doi/10.1145/1693042.1693048
Meng SArbab FCho YWainwright RHaddad HShin SKoo Y(2007)Web services choreography and orchestration in Reo and constraint automataProceedings of the 2007 ACM symposium on Applied computing10.1145/1244002.1244085(346-353)Online publication date: 11-Mar-2007
https://dl.acm.org/doi/10.1145/1244002.1244085

View Options

View options

Figures

Tables

Media

View Issue’s Table of Contents