Reference Hub2
Unified Modelling Functional and Non-Functional Aspects of Web Services Composition Using PTCCS

Unified Modelling Functional and Non-Functional Aspects of Web Services Composition Using PTCCS

Fangxiong Xiao, Zhiqiu Huang, Zining Cao, Jun Hu, Linyuan Liu, Min Yuan
Copyright: © 2011 |Volume: 8 |Issue: 4 |Pages: 34
ISSN: 1545-7362|EISSN: 1546-5004|EISBN13: 9781613509746|DOI: 10.4018/jwsr.2011100103
Cite Article Cite Article

MLA

Xiao, Fangxiong, et al. "Unified Modelling Functional and Non-Functional Aspects of Web Services Composition Using PTCCS." IJWSR vol.8, no.4 2011: pp.47-80. http://doi.org/10.4018/jwsr.2011100103

APA

Xiao, F., Huang, Z., Cao, Z., Hu, J., Liu, L., & Yuan, M. (2011). Unified Modelling Functional and Non-Functional Aspects of Web Services Composition Using PTCCS. International Journal of Web Services Research (IJWSR), 8(4), 47-80. http://doi.org/10.4018/jwsr.2011100103

Chicago

Xiao, Fangxiong, et al. "Unified Modelling Functional and Non-Functional Aspects of Web Services Composition Using PTCCS," International Journal of Web Services Research (IJWSR) 8, no.4: 47-80. http://doi.org/10.4018/jwsr.2011100103

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

Unified modelling and analyzing functional and non-functional aspects of Web services composition reduces the gap caused by modelling them in different models respectively, increases development speed, and reduces development cost. Though existing process algebras have advantages over modelling concurrent and composite systems, including Web services composition, they lack the capability of modelling cost that is an important non-functional property. This paper proposes a process algebra called PTCCS (Priced Temporal Calculus of Communicating Systems) based on the existing TCCS (Temporal Calculus of Communicating Systems) by associating action of TCCS with price information. The authors present the syntax and semantics of PTCCS and prove that PTCCS extends TCCS with cost modelling capability. Cost state space for a process in PTCCS is proposed and an algorithm to generate it to support cost optimal Web services composition or time optimal Web services composition is presented. The authors present another algorithm that can generate cost optimal path for cost optimal Web services composition and time optimal path for time optimal Web services composition based on cost state space. An experiment shows that PTCCS can effectively support unified modelling functionality, time, and cost of Web services composition.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.