Utilizing fuzzy petri net for choreography based semantic web services discovery

Authors:
Peng Men;Zhenhua Duan;Bin Yu
Affiliations:
Institute of Computing Theory and Technology, Xidian University, Xi'an, P.R. China;Institute of Computing Theory and Technology, Xidian University, Xi'an, P.R. China;Institute of Computing Theory and Technology, Xidian University, Xi'an, P.R. China
Venue:
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Year:
2007

Citing 9
Cited 0

Fuzzy Petri nets for rule-based decisionmaking

IEEE Transactions on Systems, Man and Cybernetics
Knowledge Representation Using Fuzzy Petri Nets

IEEE Transactions on Knowledge and Data Engineering
Semantic Matching of Web Services Capabilities

ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Reasoning about digital circuits

Reasoning about digital circuits
Matchmaking for Business Processes Based on Choreographies

EEE '04 Proceedings of the 2004 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'04)
Transforming OWL-S Process Model into EDFA for Service Discovery

ICWS '06 Proceedings of the IEEE International Conference on Web Services
Analyzing web service based business processes

FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Fuzzy backward reasoning using fuzzy Petri nets

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Fuzzy reasoning Petri nets

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans

Quantified Score

Hi-index	0.00

Visualization

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.