Author
Listed:
- Fangxiong Xiao
(Nanjing University of Aeronautics and Astronautics, China)
- Zhiqiu Huang
(Nanjing University of Aeronautics and Astronautics, China)
- Zining Cao
(Nanjing University of Aeronautics and Astronautics, China)
- Jun Hu
(Nanjing University of Aeronautics and Astronautics, China)
- Linyuan Liu
(Nanjing University of Aeronautics and Astronautics, China)
- Min Yuan
(Nanjing University of Aeronautics and Astronautics, China)
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.
Suggested Citation
Fangxiong Xiao & Zhiqiu Huang & Zining Cao & Jun Hu & Linyuan Liu & Min Yuan, 2011.
"Unified Modelling Functional and Non-Functional Aspects of Web Services Composition Using PTCCS,"
International Journal of Web Services Research (IJWSR), IGI Global, vol. 8(4), pages 47-80, October.
Handle:
RePEc:igg:jwsr00:v:8:y:2011:i:4:p:47-80
Download full text from publisher
Corrections
All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:igg:jwsr00:v:8:y:2011:i:4:p:47-80. See general information about how to correct material in RePEc.
If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.
We have no bibliographic references for this item. You can help adding them by using this form .
If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.
For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Journal Editor (email available below). General contact details of provider: https://www.igi-global.com .
Please note that corrections may take a couple of weeks to filter through
the various RePEc services.