Model checking based web service verification: A systematic literature review
GN Rai, GR Gangadharan - IEEE Transactions on Services …, 2018 - ieeexplore.ieee.org
Model checking is a popular formal technique facilitating automatic verification of finite-state
transition systems, and it has been applied to almost all of the Web service verification …
transition systems, and it has been applied to almost all of the Web service verification …
Model checking Airline tickets reservation system based on BPEL
Z Wei, R Dong, X Luo, F Liu - 2009 Third International …, 2009 - ieeexplore.ieee.org
BPEL is a business flow language which describes the composition of web services. Since
business flow is very complex, the method of formalized analysis can help ensure the …
business flow is very complex, the method of formalized analysis can help ensure the …
Behavioral analysis of scientific workflows with semantic information
J Fabra, MJ Ibáñez, J Ezpeleta - IEEE Access, 2018 - ieeexplore.ieee.org
The recent development in scientific computing related areas has shown an increasing
interest in scientific workflows because of their abilities to solve complex challenges …
interest in scientific workflows because of their abilities to solve complex challenges …
A deduction-based system for formal verification of agent-ready web services
R Klimek - Advanced Methods and Technologies for Agent and …, 2013 - ebooks.iospress.nl
The work concerns the formal verification of systems using logical inference and considers
web service models expressed in BPEL. Agent technologies and web services may be …
web service models expressed in BPEL. Agent technologies and web services may be …
Parallel, Distributed Model Checking of Composite Web Services with Integrated Choreography and Orchestration
D Sungeetha, BS Sathish Kumar - Machine Learning and Mechanics …, 2023 - Springer
Abstract Business Process Execution Language (BPEL) specification is transformed into
communicating finite state machines (CFSMs) specification for interacting, synchronizable …
communicating finite state machines (CFSMs) specification for interacting, synchronizable …
[PDF][PDF] 基于SPIN 的SAS 协议和NS 公钥协议分析
刘芳， 魏昭， 董荣胜 - Journal of Guangxi Academy of Sciences, 2008 - gxkx.ijournals.cn
基于SPIN的SAS协议和NS公钥协议分析 Page 1 广西科学院学报 Journal of Guangxi
Academy of Sciences 2008,24(4):307~309 V01.24,No.4 November 2008 基于SPIN的SAS协议 …
Academy of Sciences 2008,24(4):307~309 V01.24,No.4 November 2008 基于SPIN的SAS协议 …
Behavioral analysis of scientific workflows with semantic information
FJ Fabra Caro, J Ezpeleta, P Álvarez, MJ Ibáñez - 2018 - zaguan.unizar.es
The recent development in scientific computing related areas has shown an increasing
interest in scientific workflows because of their abilities to solve complex challenges …
interest in scientific workflows because of their abilities to solve complex challenges …