|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
2011 Fourth International Symposium on Computational Intelligence and Design
Categorical Description and Checking for Web Services Composition Model
Hangzhou, China
October 28-October 30
ISBN: 978-0-7695-4500-4
| ASCII Text | x | ||
| Zhang Xinlin, "Categorical Description and Checking for Web Services Composition Model," Computational Intelligence and Design, International Symposium on, vol. 1, pp. 206-210, 2011 Fourth International Symposium on Computational Intelligence and Design, 2011. | |||
| BibTex | x | ||
| @article{ 10.1109/ISCID.2011.60, author = {Zhang Xinlin}, title = {Categorical Description and Checking for Web Services Composition Model}, journal ={Computational Intelligence and Design, International Symposium on}, volume = {1}, year = {2011}, isbn = {978-0-7695-4500-4}, pages = {206-210}, doi = {http://doi.ieeecomputersociety.org/10.1109/ISCID.2011.60}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Computational Intelligence and Design, International Symposium on TI - Categorical Description and Checking for Web Services Composition Model SN - 978-0-7695-4500-4 SP206 EP210 A1 - Zhang Xinlin, PY - 2011 KW - Category KW - Formal method KW - Services composition KW - Model checking KW - Reachable tree VL - 1 JA - Computational Intelligence and Design, International Symposium on ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISCID.2011.60
Web service composition, as a new technology to fulfill the user's requirements using existing ones, has become a pop topic in the research of Service Oriented Architecture (SOA). Composition rules describe how to compose coherent global services, and the formal method is prefect to describe composition rules and check composition model. This paper proposes an approach to describing and checking Web services composition model based on the category theory, gives a categorical conception of Web service and the description of the services composition control structure, and suggests model choice method and a model generation arithmetic based category, and takes the order service business process as an example to build up a model and adopts the reachable tree method to check the properties of this model.
Index Terms:
Category, Formal method, Services composition, Model checking, Reachable tree
Citation:
Zhang Xinlin, "Categorical Description and Checking for Web Services Composition Model," iscid, vol. 1, pp.206-210, 2011 Fourth International Symposium on Computational Intelligence and Design, 2011
Usage of this product signifies your acceptance of the Terms of Use.