Alloy-based verification of Web service composition
Service composition was the core problem of service computing,the validity and reliability of service composition had become the premise of service execution.A method was presented which utilizes the finite state machine (FSM)to model the business process’s state transitions,and described the requir...
| Main Authors: | , , , , , |
|---|---|
| Format: | Article |
| Sprog: | zho |
| Udgivet: |
Editorial Department of Journal on Communications
2012-11-01
|
| Serier: | Tongxin xuebao |
| Fag: | |
| Online adgang: | http://www.joconline.com.cn/zh/article/doi/10.3969/j.issn.1000-436x.2012.z2.001/ |
| _version_ | 1826875289531056128 |
|---|---|
| author | Jiu-xin CAO Jiang-lin WU Guo-jin WANG Bo LIU Peng-wei YANG Dan DONG |
| author_facet | Jiu-xin CAO Jiang-lin WU Guo-jin WANG Bo LIU Peng-wei YANG Dan DONG |
| author_sort | Jiu-xin CAO |
| collection | DOAJ |
| description | Service composition was the core problem of service computing,the validity and reliability of service composition had become the premise of service execution.A method was presented which utilizes the finite state machine (FSM)to model the business process’s state transitions,and described the required properties with Alloy language.Then,Alloy model was used to formalize the service FSM and the required properties of the system.Finally,Alloy Analyzer was used to verify the model that whether the required properties were satisfied.It is shown that the method of Alloy-based verification of the service composition is of good feasibility. |
| first_indexed | 2025-02-17T00:47:54Z |
| format | Article |
| id | doaj.art-e5ddfde1de6f43309d8a9ac0be6dc7c2 |
| institution | Directory Open Access Journal |
| issn | 1000-436X |
| language | zho |
| last_indexed | 2025-02-17T00:47:54Z |
| publishDate | 2012-11-01 |
| publisher | Editorial Department of Journal on Communications |
| record_format | Article |
| series | Tongxin xuebao |
| spelling | doaj.art-e5ddfde1de6f43309d8a9ac0be6dc7c22025-01-14T06:34:18ZzhoEditorial Department of Journal on CommunicationsTongxin xuebao1000-436X2012-11-01331859669448Alloy-based verification of Web service compositionJiu-xin CAOJiang-lin WUGuo-jin WANGBo LIUPeng-wei YANGDan DONGService composition was the core problem of service computing,the validity and reliability of service composition had become the premise of service execution.A method was presented which utilizes the finite state machine (FSM)to model the business process’s state transitions,and described the required properties with Alloy language.Then,Alloy model was used to formalize the service FSM and the required properties of the system.Finally,Alloy Analyzer was used to verify the model that whether the required properties were satisfied.It is shown that the method of Alloy-based verification of the service composition is of good feasibility.http://www.joconline.com.cn/zh/article/doi/10.3969/j.issn.1000-436x.2012.z2.001/Web serviceservice compositionfinite state machineAlloyverification |
| spellingShingle | Jiu-xin CAO Jiang-lin WU Guo-jin WANG Bo LIU Peng-wei YANG Dan DONG Alloy-based verification of Web service composition Tongxin xuebao Web service service composition finite state machine Alloy verification |
| title | Alloy-based verification of Web service composition |
| title_full | Alloy-based verification of Web service composition |
| title_fullStr | Alloy-based verification of Web service composition |
| title_full_unstemmed | Alloy-based verification of Web service composition |
| title_short | Alloy-based verification of Web service composition |
| title_sort | alloy based verification of web service composition |
| topic | Web service service composition finite state machine Alloy verification |
| url | http://www.joconline.com.cn/zh/article/doi/10.3969/j.issn.1000-436x.2012.z2.001/ |
| work_keys_str_mv | AT jiuxincao alloybasedverificationofwebservicecomposition AT jianglinwu alloybasedverificationofwebservicecomposition AT guojinwang alloybasedverificationofwebservicecomposition AT boliu alloybasedverificationofwebservicecomposition AT pengweiyang alloybasedverificationofwebservicecomposition AT dandong alloybasedverificationofwebservicecomposition |