|
Tai Nguyen So - Vietnam National University, Ha Noi - VNU >
TRƯỜNG ĐẠI HỌC CÔNG NGHỆ >
PTN Micro Nano >
New - Articles of Universities of Vietnam from Scopus >
Search
|
Please use this identifier to cite or link to this item:
http://tainguyenso.vnu.edu.vn/jspui/handle/123456789/12929
|
| Title: | A method of verifying web service composition |
| Authors: | Quyet T.H.
Thi Q.P.
Hoang D.B. |
| Keywords: | BPEL
PROMELA
software verification
SPIN |
| Issue Date: | 2010 |
| Publisher: | ACM International Conference Proceeding Series |
| Citation: | Volume , Issue , Page 155-162 |
| Abstract: | Service composition is one of the primary tasks in developing service-oriented systems. However, there are currently some challenges to check its correction. In this paper, we propose a visual methodology and a tool for verifying business processes written in BPEL by using the SPIN model checker. We present algorithms to translate BPEL processes into PROMELA programs via labeled control flow graphs. The use of label control graphs in the tool will help regular users understand BPEL business processes and the verification process with a model checker more easily. Finally, the Spin model checker will verify important properties of the PROMELA program that represents a BPEL business process. © 2010 ACM. |
| URI: | http://tainguyenso.vnu.edu.vn/jspui/handle/123456789/12929 |
| ISSN: | |
| Appears in Collections: | New - Articles of Universities of Vietnam from Scopus
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
