Abstract
It is a prerequisite for automating business processes integration to dynamically discover usable web services. A formal approach to semantic matching of web services based on choreographies is presented to support it. First, an extended deterministic finite automaton (EDFA) is proposed by labeling state transitions with binary-tuples (input, output) rather than letters. EDFAs represent services more accurately: the nodes represent the states maintained by the service; the state transitions represent the communication activities of the service. Thus, the automata depicts the temporal sequences of communication activities that describe the behavior of services. Second, the semantics-based intersection of EDFAs is presented and the compatibility of services is evaluated by testing the emptiness of the languages accepted by EDFAs. Finally, component structures are introduced to describe services with two roles: invoking another service and/or being invoked by another service. The compatibility of services can be employed to discover usable services, moreover, to validate collaborative business processes.
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.
References
Ballinger, K., et al.: Specification: Web services inspection language Version 1.0 (2001)
UDDI (2000), http://www.uddi.org/
Wombacher, A., Fankhauser, P., Mahleko, B.: Matchmaking for Business Processes based on Choreographies. In: Proc. IEEE International Conference on e-Technology, e-Commerce and e-Service, pp. 359–368 (2004)
Paolucci, M., et al.: Semantic Matching of Web Services Capabilities. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 333–347. Springer, Heidelberg (2002)
Zou, Z., Duan, Z., Wang, J.: A Comprehensive Framework for Dynamic Web Services Integration. In: Proc. 4th IEEE European Conference on Web Services, pp. 211–220 (2006)
Bultan, T., et al.: Conversation Specification: A New Approach to Design and Analysis of E-Service Composition. In: Proc. of WWW2003, pp. 403–410 (2003)
Zou, Z., Duan, Z.: Building Business Process or Assembling Service Components: Reuse Services with BPEL4WS and SCA. In: Proc. 4th IEEE European Conference on Web Services, pp. 138–147 (2006)
The DAML Services Coalition. DAML-S: Semantic Markup for Web Services.
The OWL-S Coalition: OWL-S 1.1 Draft Release. http://www.daml.org/services/owl-s/1.1/
Xu, J., et al.: Semantic Based Web Services Discovery. In: Chi, C.-H., Lam, K.-Y. (eds.) AWCC 2004. LNCS, vol. 3309, pp. 388–393. Springer, Heidelberg (2004)
Sycara, K.: Dynamic Discovery, Invocation and Composition. In: Vouros, G.A., Panayiotopoulos, T. (eds.) SETN 2004. LNCS (LNAI), vol. 3025, pp. 3–12. Springer, Heidelberg (2004)
Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading (2001)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lei, L., Duan, Z., Yu, B. (2007). Semantic Matching of Web Services for Collaborative Business Processes. In: Shen, W., Luo, J., Lin, Z., Barthès, JP.A., Hao, Q. (eds) Computer Supported Cooperative Work in Design III. CSCWD 2006. Lecture Notes in Computer Science, vol 4402. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72863-4_49
Download citation
DOI: https://doi.org/10.1007/978-3-540-72863-4_49
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72862-7
Online ISBN: 978-3-540-72863-4
eBook Packages: Computer ScienceComputer Science (R0)