{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,7]],"date-time":"2023-09-07T23:58:45Z","timestamp":1694131125455},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,2,1]],"date-time":"2007-02-01T00:00:00Z","timestamp":1170288000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sc. China"],"published-print":{"date-parts":[[2007,2]]},"DOI":"10.1007\/s11704-007-0002-7","type":"journal-article","created":{"date-parts":[[2007,3,20]],"date-time":"2007-03-20T00:16:29Z","timestamp":1174349789000},"page":"9-19","source":"Crossref","is-referenced-by-count":31,"title":["A model for BPEL-like languages"],"prefix":"10.1007","volume":"1","author":[{"given":"Jifeng","family":"He","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huibiao","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Geguang","family":"Pu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Thatte S. XLANG: Web Service for Business Process Design. Microsoft, 2001, http:\/\/www.gotdotnet.com\/team\/xml_wsspecs\/xlangc\/default.html"},{"key":"2_CR2","unstructured":"Leymann F. Web Services Flow Language (WSFL 1.0). IBM, 2001. http:\/\/www-3.ibm.com\/software\/solutions\/webservices\/pdf\/WSDL.pdf"},{"key":"2_CR3","unstructured":"Curbera F, Goland Y, Klein J, et al. Business Process Execution Language for Web Service. 2003. http:\/\/www.siebel.com\/bpel"},{"key":"2_CR4","first-page":"87","volume-title":"Proc. COORDINATION 2004: Coordination Models and Languages, 6th International Conference on Coordination Models and Languages. Lecture Notes in Computer Science, Vol 2949","author":"M. J. Butler","year":"2004","unstructured":"Butler M J, Ferreira C. An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions. In: Proc. COORDINATION 2004: Coordination Models and Languages, 6th International Conference on Coordination Models and Languages. Lecture Notes in Computer Science, Vol 2949. Berlin: Springer, 2004, 87\u2013104."},{"issue":"8","key":"2_CR5","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. Hoare","year":"1978","unstructured":"Hoare C A R. Communicating Sequential Processes. Communication of the ACM, 1978, 21(8): 666\u2013677","journal-title":"Communication of the ACM"},{"key":"2_CR6","unstructured":"Roscoe A W. The Theory and Practice of Concurrency. Prentice Hall International Series in Computer Science. 1997"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/11549970_18","volume-title":"Proc. EPEW 2005: International Workshop on Web Services and Formal Methods","author":"M. Butler","year":"2005","unstructured":"Butler M, Ripon S. Executable Semantics for Compensating CSP. In: Proc. EPEW 2005: International Workshop on Web Services and Formal Methods. Lecture Notes in Computer Science, Vol 3670. Berlin: Springer-Verlag, 2005, 243\u2013256"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/11423348_8","volume-title":"A Trace Semantics for Long-Running Transactions. Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP","author":"M. J. Butler","year":"2005","unstructured":"Butler M J, Hoare C A R, Ferreira C. A Trace Semantics for Long-Running Transactions. Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP. Lecture Notes in Computer Science, Vol. 3525. Berlin: Springer-Verlag, 2005, 133\u2013150"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/3-540-40911-4_5","volume-title":"Proc. IFM 2000: 2nd International Conference on Integrated Formal Methods","author":"M. J. Butler","year":"2000","unstructured":"Butler M J, Ferreira C. A Process Compensation Language. In: Proc. IFM 2000: 2nd International Conference on Integrated Formal Methods. Lecture Notes in Computer Science Vol 1945. Berlin: Springer-Verlag, 2000, 61\u201376"},{"key":"2_CR10","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book: Assigning Programs to Meanings","author":"J. R. Abrial","year":"1996","unstructured":"Abrial J R. The B-Book: Assigning Programs to Meanings. Cambridge: Cambridge University Press, 1996"},{"issue":"5","key":"2_CR11","first-page":"712","volume":"11","author":"M. J. Butler","year":"2005","unstructured":"Butler M J, Ferreira C, Ng M Y. Precise Modelling of Compensating Business Transactions and its Application to BPEL. Journal of Universal Computer Science. 2005, 11(5): 712\u2013743","journal-title":"Journal of Universal Computer Science"},{"key":"2_CR12","unstructured":"Bruni R, Melgratti H C, Montanari U. Theoretical foundations for compensations in flow composition languages. In: Proc. POPL 2005: 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM, 2004, 209\u2013220"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1007\/11549970_20","volume-title":"Proc. EPEW\/WS-FM 2005: European Performance Engineering Workshop and International Workshop on Web Services and Formal Methods","author":"R. Bruni","year":"2005","unstructured":"Bruni R, Ferrari G L, Melgratti H C, et al. From Theory to Practice in Transactional Composition of Web Services. In: Proc. EPEW\/WS-FM 2005: European Performance Engineering Workshop and International Workshop on Web Services and Formal Methods. Lecture Notes in Computer Science. Vol 3670. Berlin: Springer-Verlag, 2005, 272\u2013286"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1007\/11526841_24","volume-title":"Proc. FM 2005: International Symposium of Formal Methods Europe","author":"Z. Y. Qiu","year":"2005","unstructured":"Qiu Z Y, Wang S L, Pu G G, et al. Semantics of BPEL4WS-Like Fault and Compensation Handling. In: Proc. FM 2005: International Symposium of Formal Methods Europe. Lecture Notes in Computer Science. Vol 3582. Berlin: Springer, 2005, 350\u2013365"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","first-page":"251","volume-title":"Proc. FMOODS 2005: 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems","author":"G. G. Pu","year":"2006","unstructured":"Pu G G, Zhu H B, Qiu Z Y, et al. Theoretical Foundations of Scope-based Compensation Flow Language for Web Service. Proc. FMOODS 2005: 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems. Lecture Notes in Computer Science. Vol 4307. Berlin: Springer-Verlag, 2006, 251\u2013266"},{"key":"2_CR16","unstructured":"Cerone A, Zhao X P, Krishnan P. Modelling and Resource Allocation Planning of BPEL Workflows under Security Constraints. UNU\/IIST Technical Report 336. 2006"},{"key":"2_CR17","unstructured":"WS-CDL. http:\/\/www.w3.org\/TR\/ws-cdl-10\/"},{"key":"2_CR18","first-page":"179","volume-title":"Proc. COORDINATION 2006: 8th International Conference on Coordination Models and Languages. Vol 4038","author":"C. Montangero","year":"2006","unstructured":"Montangero C, Semini L. A Logical View of Choreography. COORDINATION. In: Proc. COORDINATION 2006: 8th International Conference on Coordination Models and Languages. Vol 4038. Berlin: Springer-Verlag, 2006, 179\u2013193"},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1007\/11901433_14","volume-title":"Proc. ICFEM 2006: 8th International Conference on Formal Engineering Methods","author":"J. Li","year":"2006","unstructured":"Li J, He J F, Pu G G. Towards the Semantics for Web Services Choreography Description Language. In: Proc. ICFEM 2006: 8th International Conference on Formal Engineering Methods. Lecture Notes in Computer Science. Vol 4260. Berlin: Springer-Verlag, 2006, 246\u2013263"},{"key":"2_CR20","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. ICFEM 2006: 8th International Conference on Formal Engineering Methods","author":"H. L. Yang","year":"2006","unstructured":"Yang H L, Zhao X P, Qiu Z Y, et al. Type Checking Choreography Description Language. In: Proc. ICFEM 2006: 8th International Conference on Formal Engineering Methods. Lecture Notes in Computer Science. Vol 4260. Berlin: Springer-Verlag, 2006"},{"key":"2_CR21","unstructured":"Yang H L, Zhao X P, Qiu Z Y, et al. Formal Model for Web Service Choreography Description Language (WS-CDL). In: Proc. ICWS 2006: The 2006 IEEE International Conference on Web Services. IEEE Computer Society Press, 2006, 893\u2013894"},{"key":"2_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/11890881","volume-title":"Proc. WS-FM 2006: 3rd International Workshop on Web Services and Formal Methods","author":"X. P. Zhao","year":"2006","unstructured":"Zhao X P, Yang H L, Qiu Z Y. Towards the Formal Model and Verification of Web Service Choreography Description Language. In: Proc. WS-FM 2006: 3rd International Workshop on Web Services and Formal Methods. Lecture Notes in Computer Science. Vol 4184. Berlin: Springer-Verlag, 2006, 273\u2013284"},{"key":"2_CR23","unstructured":"Milner R. Communication and Mobile System: \u03c0-calculus. Cambridge University Press, 1999"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Lucchi R, Mazzara M. A Pi-calculus based Semantics for WS-BPEL. Journal of Logic and Algebraic Programming (in press)","DOI":"10.1016\/j.jlap.2006.05.007"},{"key":"2_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1007\/11580850_11","volume-title":"Proc. TGC 2005: International Symposium on Trustworthy Global Computing","author":"C. Laneve","year":"2005","unstructured":"Laneve C, Zavattaro G. Web-pi at Work. In: Proc. TGC 2005: International Symposium on Trustworthy Global Computing. Lecture Notes in Computer Science. Vol 3705. Berlin: Springer-Verlag, 2005, 182\u2013194"},{"issue":"1","key":"2_CR26","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1016\/j.tcs.2005.03.005","volume":"340","author":"K. Bhargavan","year":"2005","unstructured":"Bhargavan K, Fournet C, Gordon A D. A Semantics for Web Services Authentication. Theoretical Computer Science, 2005, 340(1): 102\u2013153","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"2_CR27","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D. Dolev","year":"1983","unstructured":"Dolev D, Yao A C. On the security of public key protocols. IEEE Transactions on Information Theory, 1983, 29(2): 198\u2013207","journal-title":"IEEE Transactions on Information Theory"},{"issue":"3","key":"2_CR28","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/s00165-004-0058-1","volume":"17","author":"A. D. Gordon","year":"2005","unstructured":"Gordon A D, Pucella R. Validating a Web Service Security Abstraction by Typing. Formal Aspects of Computing, 2005, 17(3): 277\u2013318","journal-title":"Formal Aspects of Computing"},{"issue":"1","key":"2_CR29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1006\/inco.1998.2740","volume":"148","author":"M. Abadi","year":"1999","unstructured":"Abadi M, Gordon AD. A calculus for cryptographic protocols: The spi calculus. Information and Computation, 1999, 148(1): 1\u201370","journal-title":"Information and Computation"},{"key":"2_CR30","unstructured":"Hoare C A R, He J F. Unifying Theories of Programming. Prentice Hall International Series in Computer Science, 1998"},{"key":"2_CR31","unstructured":"He J F. rovably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers. The McGraw-Hill International Series in Software Engineering, 1994"},{"issue":"2","key":"2_CR32","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/j.entcs.2005.07.035","volume":"151","author":"G. G. Pu","year":"2006","unstructured":"Pu G G, Zhao X P, Wang S L, et al. Towards the Semantics and Verification of BPEL4WS. Electronic Notes in Theoretical Computer Science, 2006, 151(2): 33\u201352","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"2_CR33","unstructured":"UPPAAL. http:\/\/www.docs.uu.se\/decs\/rtmv\/UPPAAL\/xml"},{"key":"2_CR34","unstructured":"Holzmann G J. The Spin Model Checker-Primer and Reference manual. Addison-Wesley, 2003"},{"key":"2_CR35","volume-title":"Web Services: Concepts, Architectures and Applications","author":"G. Alonso","year":"2003","unstructured":"Alonso G, Kuno H, Casati F, et al. Web Services: Concepts, Architectures and Applications. Berlin: Springer, 2003"}],"container-title":["Frontiers of Computer Science in China"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-007-0002-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-007-0002-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-007-0002-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T21:00:43Z","timestamp":1559422843000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-007-0002-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,2]]},"references-count":35,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,2]]}},"alternative-id":["2"],"URL":"https:\/\/doi.org\/10.1007\/s11704-007-0002-7","relation":{},"ISSN":["1673-7350","1673-7466"],"issn-type":[{"value":"1673-7350","type":"print"},{"value":"1673-7466","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,2]]}}}