scholarly journals Petri Nets-based Models for Web Services Composition

10.5772/7491 ◽  
2010 ◽  
Author(s):  
Huaikou Miao ◽  
Tao He
Keyword(s):  
Web Services ◽  
Petri Nets ◽  
Web Services Composition ◽  
Services Composition

CTL Model Checking of Web Services Composition based on Open Workflow Nets Modeling

2016 ◽  
Vol 7 (1) ◽  
pp. 27-42 ◽  
Author(s):  
Zohra Sbaï ◽  
Rawand Guerfel
Keyword(s):  
Model Checking ◽  
Web Services ◽  
Petri Nets ◽  
Business Processes ◽  
Graphical Representation ◽  
Added Value ◽  
Model Checker ◽  
Web Services Composition ◽  
Services Composition ◽  
Bpel Processes

Web services composition (WSC) has an enormous potential for the organizations in the B2B area. In fact, different services collaborate through the exchange of messages to implement complex business processes. BPEL is one of the most used languages to develop such cooperation. However, it has been proved that its use is complex and can require some expertise in XML syntax. Even its graphical representation is not evident to handle. This is why the authors propose to model Web services using oWF-nets, a subclass of Petri nets, and then, to translate them to BPEL. Whilst, a WSC is with added value only if the involved services are compatible. So in this context, across the translation proposed the researchers develop a verification layer of the WSC compatibility. Hence, they propose a framework named D&A4WSC which allows to model the WSC by oWF-nets, to check their compatibility with the model checker NuSMV and to translate them if they are compatible in BPEL processes using the oWFN2BPEL compiler. D&A4WSC permits, furthermore, to formally analyze a BPEL process.

Hierarchical Colored Petri Nets Based Modeling and Analyzing for Web Service Composition

2011 ◽  
Vol 467-469 ◽  
pp. 1206-1211 ◽  
Author(s):  
Lian Zhang Zhu ◽  
Lian Xia Sun
Keyword(s):  
Web Services ◽  
Petri Nets ◽  
Service Composition ◽  
Process Model ◽  
Colored Petri Nets ◽  
Web Services Composition ◽  
Modeling And Analysis ◽  
Services Composition ◽  
Ontology Language ◽  
Composition Process

Web services composition is a complex and error-prone process, but there are no effective verification mechanisms among the existing composition specifications. Based on the semantics of web services ontology language OWL-S, a formal description and modeling method using Hierarchical Colored Petri nets(HCPN) for web services composition processes is proposed. In the method, the control and data flow information of web services composition process model which is described by the OWL-S can be transformed into HCPN model, with the ease of simulation and verification. On the other hand, the state space explosion problem can be transfered into the memory limit of computer which is not a serious problem now. With the help of CPN-Tools, the established HCPN model can be simulated dynamicly, the dynamic behaviors of the model can be obtained, and the correctness and effectiveness of web services composition can be verified. The method can be used to analyze and verify complex systems. An instance of hospital services is given to illustrate the modeling and analysis of the service composition process with HCPN.

Unified Formal Modeling and Analyzing both Functionality and QoS of Web Services Composition

2011 ◽  
Vol 22 (11) ◽  
pp. 2698-2715 ◽  
Author(s):  
Fang-Xiong XIAO ◽  
Zhi-Qiu HUANG ◽  
Zi-Ning CAO ◽  
Li-Zhong TU ◽  
Yi ZHU
Keyword(s):  
Web Services ◽  
Formal Modeling ◽  
Web Services Composition ◽  
Services Composition

scholarly journals A comparative illustration of AI planning-based web services composition

2006 ◽  
Vol 5 (5) ◽  
pp. 1-10 ◽  
Author(s):  
Seog-Chan Oh ◽  
Dongwon Lee ◽  
Soundar R. T. Kumara
Keyword(s):  
Web Services ◽  
Ai Planning ◽  
Web Services Composition ◽  
Services Composition
Sign in / Sign up

Export Citation Format

Share Document