{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T16:02:07Z","timestamp":1781107327378,"version":"3.54.1"},"reference-count":30,"publisher":"IGI Global Scientific Publishing","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,10,1]]},"abstract":"<p>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.<\/p>","DOI":"10.4018\/jwsr.2011100103","type":"journal-article","created":{"date-parts":[[2011,10,19]],"date-time":"2011-10-19T12:57:37Z","timestamp":1319029057000},"page":"47-80","source":"Crossref","is-referenced-by-count":2,"title":["Unified Modelling Functional and Non-Functional Aspects of Web Services Composition Using PTCCS"],"prefix":"10.4018","volume":"8","author":[{"given":"Fangxiong","family":"Xiao","sequence":"first","affiliation":[{"name":"Nanjing University of Aeronautics and Astronautics, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhiqiu","family":"Huang","sequence":"additional","affiliation":[{"name":"Nanjing University of Aeronautics and Astronautics, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zining","family":"Cao","sequence":"additional","affiliation":[{"name":"Nanjing University of Aeronautics and Astronautics, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jun","family":"Hu","sequence":"additional","affiliation":[{"name":"Nanjing University of Aeronautics and Astronautics, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Linyuan","family":"Liu","sequence":"additional","affiliation":[{"name":"Nanjing University of Aeronautics and Astronautics, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Min","family":"Yuan","sequence":"additional","affiliation":[{"name":"Nanjing University of Aeronautics and Astronautics, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2432","reference":[{"key":"jwsr.2011100103-0","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2003.10.038"},{"key":"jwsr.2011100103-1","doi-asserted-by":"crossref","unstructured":"Behrmann, G., Fehnker, A., & Hune, T. (2001). Minimum-cost reachability for priced timed automata. In M. D. Di Benedetto, & A. Sangiovanni-Vincentelli (Eds.), Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control (LNCS 2034, pp. 147-161).","DOI":"10.1007\/3-540-45351-2_15"},{"key":"jwsr.2011100103-2","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(84)80025-X"},{"key":"jwsr.2011100103-3","author":"H. T.Cormen","year":"2001","journal-title":"Introduction to algorithms"},{"issue":"1-2","key":"jwsr.2011100103-4","doi-asserted-by":"crossref","first-page":"47","DOI":"10.3233\/FUN-2005-681-203","article-title":"$-Calculus of bounded rational agents: Flexible optimization as search under bounded resources in interactive system.","volume":"68","author":"E.Eberbach","year":"2005","journal-title":"Fundamenta Informaticae"},{"key":"jwsr.2011100103-5","doi-asserted-by":"crossref","unstructured":"Gilmore, S., & Hillston, J. (2004). Software performance modelling using PEPA nets. In Proceedings of the 4th International Workshop on Software and Performance, Redwood Shores, CA (pp. 13-23).","DOI":"10.1145\/974043.974047"},{"key":"jwsr.2011100103-6","doi-asserted-by":"crossref","unstructured":"Haddad, J., Manouvrier, M., Ramirez, G., & Rukoz, M. (2008). QoS-driven selection of web services for transactional composition. In Proceedings of the 6th IEEE International Conference on Web Services, Beijing, China (pp. 653-660).","DOI":"10.1109\/ICWS.2008.116"},{"key":"jwsr.2011100103-7","doi-asserted-by":"crossref","unstructured":"Hillston, J. (1996). A compositional approach to performance modelling. Unpublished doctoral dissertation, Cambridge University, Cambridge, UK.","DOI":"10.1017\/CBO9780511569951"},{"key":"jwsr.2011100103-8","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"jwsr.2011100103-9","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(90)90025-D"},{"key":"jwsr.2011100103-10","doi-asserted-by":"crossref","unstructured":"Kksalan, M., & Zionts, S. (2001). Multiple criteria decision making in the new millennium. Berlin, Germany: Spring-Verlag.","DOI":"10.1007\/978-3-642-56680-6"},{"key":"jwsr.2011100103-11","doi-asserted-by":"publisher","DOI":"10.1145\/1022494.1022526"},{"key":"jwsr.2011100103-12","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194008003787"},{"issue":"4","key":"jwsr.2011100103-13","first-page":"635","article-title":"Describing and verifying web service using pi-calculus.","volume":"28","author":"J.Liao","year":"2005","journal-title":"Chinese Journal of Computers"},{"issue":"8","key":"jwsr.2011100103-14","first-page":"1416","article-title":"Modelling and analysis of grid computing application based price timed Petri net.","volume":"33","author":"W. D.Liu","year":"2005","journal-title":"Acta Electronica Sinica"},{"key":"jwsr.2011100103-15","doi-asserted-by":"publisher","DOI":"10.1360\/jos180001"},{"issue":"10","key":"jwsr.2011100103-16","first-page":"1037","article-title":"Research and progress on Internetware.","volume":"36","author":"J.L\u00fc","year":"2006","journal-title":"Science in China"},{"key":"jwsr.2011100103-17","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2006.05.007"},{"key":"jwsr.2011100103-18","doi-asserted-by":"crossref","unstructured":"Ma, Q., & Wang, H. (2008). A semantic QoS-aware discovery framework for web services. In Proceedings of the 6th IEEE International Conference on Web Services, Beijing, China (pp. 129-136).","DOI":"10.1109\/ICWS.2008.44"},{"key":"jwsr.2011100103-19","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","author":"R.Milner","year":"1980","journal-title":"A calculus of communicating systems"},{"key":"jwsr.2011100103-20","doi-asserted-by":"crossref","unstructured":"Milner, R. (2004). Theories for the global ubiquitous computer. In I. Walukiewicz (Eds.), Proceedings of the 7th International Conference on Foundations of Software Science and Computation Structures (LNCS 2987, pp. 5-11).","DOI":"10.1007\/978-3-540-24727-2_2"},{"key":"jwsr.2011100103-21","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"jwsr.2011100103-22","doi-asserted-by":"crossref","unstructured":"Moller, F., & Tofts, C. (1990). A temporal calculus of communicating systems. In J. C. M. Baeten & J. W. Klop (Eds.), Proceedings of the Conference on Theories of Concurrency: Unification and Extension (LNCS 458, pp. 401-415).","DOI":"10.1007\/BFb0039073"},{"key":"jwsr.2011100103-23","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3540-6","author":"D. A.Peled","year":"2001","journal-title":"Software reliability methods"},{"key":"jwsr.2011100103-24","doi-asserted-by":"crossref","unstructured":"Sala\u00fcn, G., Bordeaux, L., & Schaerf, M. (2004). Describing and reasoning on web services using process algebra. In Proceedings of the 2nd IEEE International Conference on Web Services, San Diego, CA (pp. 43-50).","DOI":"10.1109\/ICWS.2004.1314722"},{"key":"jwsr.2011100103-25","unstructured":"Srivastava, B., & Koehler, J. (2003). Web service composition - Current solutions and open problems. In Proceedings of the 13th International Conference on Automated Planning and Scheduling, Trento, Italy (pp. 1-8)."},{"key":"jwsr.2011100103-26","unstructured":"Uppsala University. (2006). The mobility workbench. Retrieved fromhttp:\/\/www.it.uu.se\/research\/group\/mobility\/mwb"},{"key":"jwsr.2011100103-27","doi-asserted-by":"crossref","unstructured":"Xiao, F. X., Huang, Z. Q., Cao, Z. N., Hu, J., & Liu, L. Y. (2009). Modeling cost-aware web services composition using PTCCS. In Proceedings of the 7th IEEE International Conference on Web Services, Los Angeles, CA (p. 58).","DOI":"10.1109\/ICWS.2009.56"},{"key":"jwsr.2011100103-28","doi-asserted-by":"crossref","unstructured":"Xiao, F. X., Huang, Z. Q., Cao, Z. N., Yuan, M., & Zhang, J. H. (2008). Support web services composition with optimal cost using PPA. In Proceedings of the 6th IEEE International Conference on Web Services, Beijing, China (pp. 760-761).","DOI":"10.1109\/ICWS.2008.50"},{"issue":"5","key":"jwsr.2011100103-29","first-page":"1","article-title":"QoS-aware middleware for web services composition.","volume":"30","author":"L. Z.Zeng","year":"2004","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["International Journal of Web Services Research"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=60166","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,12]],"date-time":"2025-03-12T22:52:01Z","timestamp":1741819921000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/jwsr.2011100103"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2011,10,1]]},"references-count":30,"aliases":["10.4018\/ijwsr.2011100103"],"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,10]]}},"URL":"https:\/\/doi.org\/10.4018\/jwsr.2011100103","relation":{},"ISSN":["1545-7362","1546-5004"],"issn-type":[{"value":"1545-7362","type":"print"},{"value":"1546-5004","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,10,1]]}}}