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 …
The recent development in scientific computing related areas has shown an increasing interest in scientific workflows because of their abilities to solve complex challenges …
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 …
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 …
The recent development in scientific computing related areas has shown an increasing interest in scientific workflows because of their abilities to solve complex challenges …