{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,13]],"date-time":"2025-03-13T04:24:53Z","timestamp":1741839893490,"version":"3.38.0"},"reference-count":40,"publisher":"IGI Global","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,10,1]]},"abstract":"<p>This paper presents a Chu spaces semantics of typical control flow of WS-BPEL including fault handling and link semantics. BPEL-CF is proposed as a simplification of this subset of WS-BPEL. For the compositional modeling of BPEL, the authors present a Chu spaces process algebra. This algebra allows faults to be thrown at any point of execution and take link-based synchronization into consideration. The paper gives the abstract syntax of BPEL-CF, the semantic algebra, and the valuation functions for computing the Chu spaces denotations of BPEL-CF programs.<\/p>","DOI":"10.4018\/jisss.2011100101","type":"journal-article","created":{"date-parts":[[2011,10,19]],"date-time":"2011-10-19T16:31:29Z","timestamp":1319041889000},"page":"1-21","source":"Crossref","is-referenced-by-count":1,"title":["Modeling Control Flow in WS-BPEL with Chu Spaces"],"prefix":"10.4018","volume":"3","author":[{"given":"Xutao","family":"Du","sequence":"first","affiliation":[{"name":"Institute of Electronic System Engineering, China"}]},{"given":"Chunxiao","family":"Xing","sequence":"additional","affiliation":[{"name":"Tsinghua University, China"}]},{"given":"Lizhu","family":"Zhou","sequence":"additional","affiliation":[{"name":"Tsinghua University, China"}]},{"given":"Ke","family":"Han","sequence":"additional","affiliation":[{"name":"Institute of Electronic System Engineering, China"}]}],"member":"2432","reference":[{"journal-title":"Handbook of process algebra","year":"2000","author":"J. A.Bergstra","key":"jisss.2011100101-0"},{"key":"jisss.2011100101-1","doi-asserted-by":"crossref","unstructured":"Chen, X., Li, Q., & Deng, Z. (2007). Chu space and approximable concept lattice in fuzzy setting. In Proceedings of the IEEE International Conference on Fuzzy Systems (pp. 1-6).","DOI":"10.1109\/FUZZY.2007.4295349"},{"key":"jisss.2011100101-2","doi-asserted-by":"crossref","unstructured":"Du, X., Xing, C., & Zhou, L. (2009a). A Chu spaces semantics of BPEL-like fault handling. In Proceedings of the 4th International Conference on Frontier of Computer Science and Technology, Shanghai, China (pp. 317-323).","DOI":"10.1109\/FCST.2009.90"},{"key":"jisss.2011100101-3","doi-asserted-by":"crossref","unstructured":"Du, X., Xing, C., & Zhou, L. (2009b). A Chu spaces semantics of control flow in BPEL. In Proceedings of the IEEE Asia-Pacific Services Computing Conference, Biopolis, Singapore (pp. 142-149).","DOI":"10.1109\/APSCC.2009.5394130"},{"key":"jisss.2011100101-4","doi-asserted-by":"publisher","DOI":"10.1007\/s11390-010-9397-y"},{"key":"jisss.2011100101-5","doi-asserted-by":"crossref","unstructured":"Ferrara, A. (2004). Web services: A process algebra approach. In Proceedings of the 2nd International Conference on Service Oriented Computing (pp. 242-251).","DOI":"10.1145\/1035167.1035202"},{"journal-title":"A rigorous approach to engineering web service compositions","year":"2006","author":"H.Foster","key":"jisss.2011100101-6"},{"journal-title":"Formal specification and verification of asynchronously communicating web services","year":"2004","author":"X.Fu","key":"jisss.2011100101-7"},{"issue":"5-6","key":"jisss.2011100101-8","first-page":"573","article-title":"A topologist's view of Chu spaces.","volume":"15","author":"E.Giuli","year":"2007","journal-title":"Electronic Notes in Theoretical Computer Science"},{"journal-title":"Chu spaces: A model of concurrency","year":"1994","author":"V.Gupta","key":"jisss.2011100101-9"},{"key":"jisss.2011100101-10","doi-asserted-by":"crossref","unstructured":"Gupta, V., & Pratt, V. R. (1993). Gates accept concurrent behavior. In Proceedings of the 34th Annual Symposium on Foundations of Computer Science.","DOI":"10.1109\/SFCS.1993.366881"},{"key":"jisss.2011100101-11","unstructured":"Kov\u00e1cs, M., G\u00f6nczy, L., & Varr\u00f3, D. (2008). Formal analysis of BPEL workflows with compensation by model checking. International Journal of Computer Systems and Engineering, 23."},{"key":"jisss.2011100101-12","unstructured":"Kreinovich, V., Liu, G., & Nguyen, H. T. (1999). Chu spaces-a new approach to describing uncertainty in systems. In Proceedings of the 42nd Midwest Symposium on Circuits and Systems, Las Cruces, NM (Vol. 1, pp. 427-430)."},{"key":"jisss.2011100101-13","doi-asserted-by":"crossref","unstructured":"Lapadula, A., Pugliese, R., & Tiezzi, F. (2007). A calculus for orchestration of web services. In Proceedings of the 16th European Symposium on Programming (pp. 33-47).","DOI":"10.1007\/978-3-540-71316-6_4"},{"key":"jisss.2011100101-14","doi-asserted-by":"crossref","unstructured":"Lapadula, A., Pugliese, R., & Tiezzi, F. (2008). A formal account of WS-BPEL. In Proceedings of the 10th International Conference on Coordination Models and Languages (pp. 199-215).","DOI":"10.1007\/978-3-540-68265-3_13"},{"key":"jisss.2011100101-15","doi-asserted-by":"crossref","unstructured":"Lohmann, N. (2007a). A feature-complete Petri net semantics for WS-BPEL 2.0. In Proceedings of the Fourth International Workshop on Web Services and Formal Methods (pp. 77-91).","DOI":"10.1007\/978-3-540-79230-7_6"},{"journal-title":"A feature-complete Petri net semantics for WS-BPEL 2.0 and its compiler BPEL2oWFN","year":"2007","author":"N.Lohmann","key":"jisss.2011100101-16"},{"key":"jisss.2011100101-17","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2007.06.006"},{"key":"jisss.2011100101-18","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2006.05.007"},{"key":"jisss.2011100101-19","doi-asserted-by":"crossref","unstructured":"Morimoto, S. (2008). A survey of formal verification for business process modeling. In M. Bubak, G. D. van Albada, J. Dongarra, & P. M. A. Sloot (Eds.), Proceedings of the 8th International Conference on Computational Science (LNCS 5102, pp. 514-522).","DOI":"10.1007\/978-3-540-69387-1_58"},{"key":"jisss.2011100101-20","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.07.038"},{"key":"jisss.2011100101-21","unstructured":"Nguyen, H. T., Kreinovich, V., & Wu, B. (1999). Chu spaces - a new approach to diagnostic information fusion. In Proceedings of the 2nd International Conference on Information Fusion, Sunnyvale, CA (pp. 323-330)."},{"key":"jisss.2011100101-22","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1098-111X(200005)15:5<425::AID-INT3>3.0.CO;2-K"},{"issue":"3","key":"jisss.2011100101-23","doi-asserted-by":"crossref","first-page":"149","DOI":"10.20965\/jaciii.2001.p0149","article-title":"Chu spaces: Towards new foundations for fuzzy logic and fuzzy control, with applications to information flow on the World Wide Web.","volume":"5","author":"N.Nguyen","year":"2001","journal-title":"Journal of Advanced Computational Intelligence and Intelligent Informatics"},{"key":"jisss.2011100101-24","unstructured":"OASIS. (2007). Web services business process execution language version 2.0. Retrieved from http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/CS01\/wsbpel-v2.0-CS01.html"},{"key":"jisss.2011100101-25","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.03.002"},{"key":"jisss.2011100101-26","doi-asserted-by":"crossref","unstructured":"Pratt, V. R. (1995a). Chu spaces and their interpretation as concurrent objects. In J. van Leeuwen (Eds.), Computer Science Today: Recent Trends and Developments (LNCS 1000, pp. 392-405).","DOI":"10.1007\/BFb0015256"},{"key":"jisss.2011100101-27","doi-asserted-by":"crossref","unstructured":"Pratt, V. R. (1995b). Rational mechanisms and natural mathematics. In Proceedings of the 6th International Joint Conference CAAP\/FASE on Theory and Practice of Software Development (pp. 108-122).","DOI":"10.1007\/3-540-59293-8_190"},{"key":"jisss.2011100101-28","unstructured":"Pratt, V. R. (1999). Chu spaces: Course notes for the school in category theory and applications. Retrieved from http:\/\/boole.stanford.edu\/pub\/coimbra.pdf"},{"key":"jisss.2011100101-29","unstructured":"Pratt, V. R. (2001). Orthocurrence as both interaction and observation. In Proceedings of the Workshop on Spatial and Temporal Reasoning."},{"key":"jisss.2011100101-30","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129503004031"},{"key":"jisss.2011100101-31","unstructured":"Pu, G., Zhao, X., Wang, S., & Qiu, Z. (2005). Towards the semantics and verification of BPEL4WS. In Proceedings of the International Workshop on Web Languages and Formal Methods."},{"key":"jisss.2011100101-32","doi-asserted-by":"crossref","unstructured":"Qian, Y., Xu, Y., Wang, Z., Pu, G., Zhu, H., & Cai, C. (2007). Tool support for BPEL verification in ActiveBPEL engine. In Proceedings of the Australian Software Engineering Conference (pp. 90-100).","DOI":"10.1109\/ASWEC.2007.50"},{"key":"jisss.2011100101-33","doi-asserted-by":"crossref","unstructured":"Schlingloff, H., Martens, A., & Schmidt, K. (2005). Modeling and model checking web services. In Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems.","DOI":"10.1016\/j.entcs.2004.11.011"},{"journal-title":"Denotational semantics: A methodology for language development","year":"1988","author":"D.Schmidt","key":"jisss.2011100101-34"},{"key":"jisss.2011100101-35","doi-asserted-by":"publisher","DOI":"10.1142\/S0218488504002801"},{"key":"jisss.2011100101-36","unstructured":"van Breugel, F., & Koshkina, M. (2006). Models and verification of BPEL. Retrieved from http:\/\/www.cse.yorku.ca\/~franck\/research\/drafts\/tutorial.pdf"},{"key":"jisss.2011100101-37","doi-asserted-by":"crossref","unstructured":"Yang, Y., Tan, Q., Xiao, Y., Liu, F., & Yu, J. (2006). Transform BPEL workflow into hierarchical CP-Nets to make tool support for verification. In Proceedings of the 8th Asia-Pacific Web Conference on Frontiers of WWW Research and Development (pp. 137-142).","DOI":"10.1007\/11610113_25"},{"key":"jisss.2011100101-38","doi-asserted-by":"crossref","unstructured":"Yeung, W. L. (2006, December 4-6). Mapping WS-CDL and BPEL into CSP for behavioural specification and verification of web services. In Proceedings of the Fourth IEEE European Conference on Web Services, Zurich, Switzerland (pp. 297-305).","DOI":"10.1109\/ECOWS.2006.26"},{"key":"jisss.2011100101-39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78839-3_25"}],"container-title":["International Journal of Information Systems in the Service Sector"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=58907","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,13]],"date-time":"2025-03-13T02:48:02Z","timestamp":1741834082000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/jisss.2011100101"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2011,10,1]]},"references-count":40,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,10]]}},"URL":"https:\/\/doi.org\/10.4018\/jisss.2011100101","relation":{},"ISSN":["1935-5688","1935-5696"],"issn-type":[{"type":"print","value":"1935-5688"},{"type":"electronic","value":"1935-5696"}],"subject":[],"published":{"date-parts":[[2011,10,1]]}}}