Abstract
Semantic Web Services have received great popularity these days for their capability of providing more automatic web services discoveries and compositions. However, the issue of behavior compatibility is still not properly solved. In this paper, we propose a choreography-based formal approach to discover semantic web services that are compatible with their behaviors. The fuzzy petri net is used to perform the modeling, verification, analysis and evaluation for the matchmaking of semantic web services. The requested and provided services are modeled by two fuzzy petri nets combined through a set of combination rules. By analyzing the composite fuzzy petri net, the behavior compatibility can be verified, and the matching degree between requested and provided services can be obtained. With our approach, the success rate and accuracy of the semantic web services discoveries can be improved, and the final services set can be optimized.
This research is supported by the NSFC Grant No. 60373103 and 60433010.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Chinnic, R., Gudgin, M., Moreau, J-J., Weeawarana, S.: Web Services Description Language Version 1.2 (2003) http://www.w3.org/TR/2003/WD-wsdl12-20030303
Andrews, T., Curbera, F., Dholakia, H., et al.: Business Process Execution Language for Web Services (BPEL4WS) version 1.1 (May 2003)
The OWL-S Coalition. OWL-S 1.1 Draft Release (2004) http://www.daml.org/services/owl-s/1.1/
Paolucci, M., Kawamura, T., Payne, T.R., Sycara, K.: Semantic Matching of Web Services Capabilities. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 333–347. Springer, Heidelberg (2002)
Martens, A.: Analyzing Web Service Based Business Processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 19–33. Springer, Heidelberg (2005)
Wombacher, A., Fankhauser, P., Mahleko, B.: Matchmaking for Business Processes based on Choreographies. In: Proceedings of the IEEE International Conference on e-Technology, e-Commerce and e-Service (2004)
Lei, L., Duan, Z.: Transforming OWL-S Process Model into EDFA for Service Discovery. In: Proceedings of the IEEE international Conference on Web Services (Icws’06), vol. 00, pp. 137–144 (2006)
Jian, W.U.: Web service fuzzy matching in internet based manufacturing. Journal of Zhejiang University, vol. 9 (2006)
Xu, J., Zhu, Q., Li, J., Tang, J., Zhang, P., Wang, K.: Semantic Based Web Services Discovery. In: Proceedings of the AWCC 2004. LNCS, vol. 3309, pp. 388-393 (2004)
Sycara, K.: Dynamic Discovery, Invocation and Composition. In: Vouros, G.A., Panayiotopoulos, T. (eds.) SETN 2004. LNCS (LNAI), vol. 3025, Springer, Heidelberg (2004)
Moszkowski, B.C.: Reasoning about digital circuits. Ph.D Thesis, Stanford University. TRSTAN-CS-83-970 (1983)
Looney, C.G.: Fuzzy Petri nets for rule based decision making. IEEE Transactions on System, Man, and Cybernetics-Part A SMC218 (1), 178–183 (1988)
Chen, S.M., Ke, J.S., Chang, J.F.: Knowledge representation using fuzzy Petri nets. IEEE Transactions on Knowledge and Data Engineering 2(3), 311–319 (1990)
Pedrycz, W., Gomide, F.: A generalized fuzzy Petri net model. IEEE Transaction Fuzzy Systems 2, 295–301 (1994)
Chen, S M: Fuzzy backward reasoning using fuzzy Petri nets. In: IEEE Transactions SMC Part B: Cybernetics, vol. 30, pp. 846–855
Yang, R., Heng, P-A., Leung, K-S.: Backward Reasoning on Rule-Based System Modeled by Fuzzy Petri Nets through Backward Tree. FSKD, pp. 18-22 (2002)
Meimei, G., Mengchu, Z., Xiaoguang, H., et al.: Fuzzy reasoning Petri nets. IEEE Transactions on System, Man, and Cybernetics-Part A 33(3), 314–324 (2003)
Guangsheng, Z., Changjun, J., Zhijun, D.: Service Discovery Framework Using Fuzzy Petri Net. Journal of Computer Research and Development (2006)
Rong, Z.: Study on ontology based Web service discovery and composition technique: [Master dissertation] Shenyang: Northeastern University (2004)
Funk, K.: Petrinetz basierte Analyse von BPEL4WS Geschäftsprozessen. Master’s thesis, Fachhochschule Nordostniedersachsen, FB Wirtschaft (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Men, P., Duan, Z., Yu, B. (2007). Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery. In: Kleijn, J., Yakovlev, A. (eds) Petri Nets and Other Models of Concurrency – ICATPN 2007. ICATPN 2007. Lecture Notes in Computer Science, vol 4546. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73094-1_22
Download citation
DOI: https://doi.org/10.1007/978-3-540-73094-1_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73093-4
Online ISBN: 978-3-540-73094-1
eBook Packages: Computer ScienceComputer Science (R0)