Zobrazit v EDS

The semantics and verification of timed service choreography.

Uloženo v:
Podrobná bibliografie
Název: The semantics and verification of timed service choreography.
Autoři: Zhao, Yongxin, Xiao, Hao, Wang, Zheng, Pu, Geguang, Su, Ting
Zdroj: International Journal of Computer Mathematics; Mar2014, Vol. 91 Issue 3, p384-402, 19p
Témata: SEMANTICS, CONFIRMATION (Logic), CHOREOGRAPHY, ENGLISH language, COMPUTER simulation, WEB services, COORDINATE constructions (Linguistics)
Abstrakt: As a service composition and coordination language, the service choreography gives the global and neutral view on the collaboration among a collection of highly distributed services involving multiple different organizations or heterogeneous independent processes. In this paper, we extend the service choreography by introducing the explicit time activity, which can be used to specify and reason about the timed behaviour of Web service choreography. Then we explore an execution model for the proposed timed service choreography which possesses several novel features, such as timed activity, choreography composition, exception handling and finalization. Furthermore, a set of mapping rules is elaborately designed to translate the timed choreography into communicating sequential programs processes, thus the corresponding simulation and verification of Web services choreographies with timing restrictions can be carried out in the model checker process analysis toolkit. The case study shows that our approach is both effective and practical. [ABSTRACT FROM AUTHOR]
Copyright of International Journal of Computer Mathematics is the property of Taylor & Francis Ltd and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Databáze: Complementary Index
Popis
Abstrakt:As a service composition and coordination language, the service choreography gives the global and neutral view on the collaboration among a collection of highly distributed services involving multiple different organizations or heterogeneous independent processes. In this paper, we extend the service choreography by introducing the explicit time activity, which can be used to specify and reason about the timed behaviour of Web service choreography. Then we explore an execution model for the proposed timed service choreography which possesses several novel features, such as timed activity, choreography composition, exception handling and finalization. Furthermore, a set of mapping rules is elaborately designed to translate the timed choreography into communicating sequential programs processes, thus the corresponding simulation and verification of Web services choreographies with timing restrictions can be carried out in the model checker process analysis toolkit. The case study shows that our approach is both effective and practical. [ABSTRACT FROM AUTHOR]
ISSN:00207160
DOI:10.1080/00207160.2013.796369