{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T13:28:54Z","timestamp":1649078934778},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2014,8,26]],"date-time":"2014-08-26T00:00:00Z","timestamp":1409011200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1007\/s11704-014-3385-2","type":"journal-article","created":{"date-parts":[[2014,8,26]],"date-time":"2014-08-26T07:11:11Z","timestamp":1409037071000},"page":"709-725","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A UTP semantic model for Orc language with execution status and fault handling"],"prefix":"10.1007","volume":"8","author":[{"given":"Qin","family":"Li","sequence":"first","affiliation":[]},{"given":"Yongxin","family":"Zhao","sequence":"additional","affiliation":[]},{"given":"Huibiao","family":"Zhu","sequence":"additional","affiliation":[]},{"given":"Jifeng","family":"He","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,8,26]]},"reference":[{"key":"3385_CR1","volume-title":"Web Services: Concepts, Architectures and Applications","author":"G Alonso","year":"2003","unstructured":"Alonso G, Kuno H, Casati F, Machiraju V. Web Services: Concepts, Architectures and Applications. Springer, 2003"},{"key":"3385_CR2","volume-title":"Foundations of Multithreaded, Parallel, and Dis-tributed Programming","author":"G Andrews","year":"2000","unstructured":"Andrews G. Foundations of Multithreaded, Parallel, and Dis-tributed Programming. Addison-Wesley, 2000"},{"issue":"4","key":"3385_CR3","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1002\/cpe.4330020404","volume":"2","author":"V S Sunderam","year":"1990","unstructured":"Sunderam V S. Pvm: A framework for parallel distributed computing. Concurrency: practice and experience, 1990, 2(4): 315\u2013339","journal-title":"Concurrency: practice and experience"},{"issue":"3\/4","key":"3385_CR4","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/s10723-005-9015-3","volume":"3","author":"W Emmerich","year":"2005","unstructured":"Emmerich W, Butchart B, Chen L, Wassermann B, Price S L. Grid service orchestration using the business process execution language (bpel). Journal of Grid Computing, 2005, 3(3\/4): 283\u2013304","journal-title":"Journal of Grid Computing"},{"issue":"5","key":"3385_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1022494.1022526","volume":"29","author":"M Koshkina","year":"2004","unstructured":"Koshkina M, Breugel F. Modelling and verifying web service orches tration by means of the concurrency workbench. ACM SIGSOFT Software Engineering Notes, 2004, 29(5): 1\u201310","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"3385_CR6","first-page":"46","volume-title":"Proceedings of Formal Techniques for Networked and Distributed Systems","author":"G Ferrari","year":"2006","unstructured":"Ferrari G, Guanciale R, Strollo D. JSCL: A middleware for service coordination. In: Proceedings of Formal Techniques for Networked and Distributed Systems. 2006, 46\u201360"},{"key":"3385_CR7","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/978-3-7643-8575-0_4","volume-title":"Proceedings of CASCOM: Intelligent Service Coordination in the Semantic Web","author":"M Klusch","year":"2008","unstructured":"Klusch M. Semantic web service coordination. In: Proceedings of CASCOM: Intelligent Service Coordination in the Semantic Web. 2008, 59\u2013104"},{"key":"3385_CR8","first-page":"398","volume-title":"Proceedings of International Conference on Service-Oriented Computing","author":"A Lazovik","year":"2007","unstructured":"Lazovik A, Arbab F. Using reo for service coordination. In: Proceedings of International Conference on Service-Oriented Computing, 2007, 398\u2013403"},{"key":"3385_CR9","volume-title":"Prentice Hall PTR","author":"T Erl","year":"2005","unstructured":"Erl T. Service-Oriented Architecture (SOA): Concepts, Technology, and Design. Prentice Hall PTR, 2005"},{"issue":"4","key":"3385_CR10","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1145\/1721654.1721672","volume":"53","author":"M Armbrust","year":"2010","unstructured":"Armbrust M, Fox A, Griffith R, Joseph A D, Katz R, Konwinski A, Lee G, Patterson D, Rabkin A, Stoica I, Zaharia M. A view of cloud computing. Communications of the ACM, 2010, 53(4): 50\u201358","journal-title":"Communications of the ACM"},{"key":"3385_CR11","volume-title":"Technical Report, EECS Department, University of California, Berkeley","author":"M Armbrust","year":"2009","unstructured":"Armbrust M, Fox A, Griffith R, Joseph A D, Katz R, Konwinski A, Lee G, Patterson D, Rabkin A, Stoica I, Zaharia M. Above The Clouds: A Berkeley View of Cloud Computing. Technical Report, EECS Department, University of California, Berkeley, 2009"},{"key":"3385_CR12","first-page":"28","volume-title":"Proceedings of 2nd International Conference on Software Engineering and Formal Methods","author":"J Misra","year":"2004","unstructured":"Misra J. A programming model for the orchestration of web services. In: Proceedings of 2nd International Conference on Software Engineering and Formal Methods. 2004, 28\u201330"},{"issue":"1","key":"3385_CR13","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/s10270-006-0012-1","volume":"6","author":"J Misra","year":"2007","unstructured":"Misra J, Cook W R. Computation orchestration. Journal of Software and System Modeling, 2007, 6(1): 83\u2013110","journal-title":"Journal of Software and System Modeling"},{"key":"3385_CR14","first-page":"477","volume-title":"Lecture Notes in Computer Science","author":"D Kitchin","year":"2006","unstructured":"Kitchin D, Cook W R, Misra J. A language for task orchestration and its semantic properties. Lecture Notes in Computer Science, 2006, 477\u2013491"},{"key":"3385_CR15","first-page":"82","volume-title":"Lecture Notes in Computer Science","author":"W R Cook","year":"2006","unstructured":"Cook W R, Patwardhan S, Misra J. Workflow patterns in Orc. Lecture Notes in Computer Science, 2006, 82\u201396"},{"key":"3385_CR16","unstructured":"Orc Language Project. Orc User Guide v2.1.0. http:\/\/orc.csres.utexas.edu\/documentation\/html\/userguide\/userguide.html"},{"key":"3385_CR17","unstructured":"Orc Language Project. Orc Program Language Demo. http:\/\/orc.csres.utexas.edu\/tryorc.shtml"},{"key":"3385_CR18","first-page":"1","volume-title":"Lecture Notes in Computer Science","author":"D Kitchin","year":"2009","unstructured":"Kitchin D, Quark A, Cook W R, Misra J. The orc programming language. Lecture Notes in Computer Science, 2009, 1\u201325"},{"key":"3385_CR19","volume-title":"Prentice Hall International Series in Computer Science","author":"C A R Hoare","year":"1998","unstructured":"Hoare C A R, He J F. Unifying Theories of Programming. Prentice Hall International Series in Computer Science. 1998"},{"key":"3385_CR20","first-page":"106","volume-title":"Proceeding of the 7th International Colloquium on Theoretical Aspects of Computing","author":"Q Li","year":"2010","unstructured":"Li Q, Zhu H B, He J F. A denotational semantical model for orc language. In: Proceeding of the 7th International Colloquium on Theoretical Aspects of Computing. 2010, 106\u2013120"},{"key":"3385_CR21","volume-title":"Technical report, University of Cambridge","author":"T Nipkow","year":"2013","unstructured":"Nipkow T. Programming and proving in isabelle\/hol. Technical report, University of Cambridge, 2013"},{"key":"3385_CR22","volume-title":"Technical report, University of Cambridge","author":"M Wenzel","year":"2013","unstructured":"Wenzel M. The isabelle\/isar reference manual. Technical report, University of Cambridge, 2013"},{"key":"3385_CR23","doi-asserted-by":"crossref","first-page":"748","DOI":"10.1007\/3-540-55602-8_217","volume":"607","author":"S Owre","year":"1992","unstructured":"Owre S, Rushby JM, Shankar N. Pvs: A prototype verification system. Lecture Notes in Computer Science, 1992, 607: 748\u2013752","journal-title":"Lecture Notes in Computer Science"},{"issue":"2","key":"3385_CR24","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A Tarski","year":"1955","unstructured":"Tarski A. A lattice-theoretical fix point theorem and its applications. Pacific Journal of Mathematics, 1955, 5(2): 285\u2013309","journal-title":"Pacific Journal of Mathematics"},{"issue":"2","key":"3385_CR25","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/S1567-4223(02)00015-7","volume":"1","author":"D Fensel","year":"2002","unstructured":"Fensel D, Bussler C. The web service modeling framework {WSMF}. Electronic Commerce Research and Applications, 2002, 1(2): 113\u2013137","journal-title":"Electronic Commerce Research and Applications"},{"issue":"1","key":"3385_CR26","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/s11704-007-0002-7","volume":"1","author":"J F He","year":"2007","unstructured":"He J F, Zhu H B, Pu G G. A model for BPEL-like languages. Frontiers of Computer Science in China, 2007, 1(1): 9\u201319","journal-title":"Frontiers of Computer Science in China"},{"key":"3385_CR27","volume-title":"Technical report, Department of Computer Science, The University of Texas at Austin","author":"I Wehrman","year":"2007","unstructured":"Wehrman I, Kitchin D, Cook WR, Misra J. Properties of the timed operational and denotational semantics of orc. Technical report, Department of Computer Science, The University of Texas at Austin, 2007"},{"key":"3385_CR28","volume-title":"A semantics for exception handling in orc","author":"A Matsuoka","year":"2009","unstructured":"Matsuoka A, Kitchin D. A semantics for exception handling in orc. 2009"},{"key":"3385_CR29","volume-title":"Proceedings of NATO Advanced Study Institute, Engineering Theories of Software Intensive Systems","author":"T Hoare","year":"2004","unstructured":"Hoare T. A tree semantics of an orchestration language. In: Proceedings of NATO Advanced Study Institute, Engineering Theories of Software Intensive Systems. 2004"},{"key":"3385_CR30","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/978-3-540-68265-3_21","volume":"5052","author":"D Vardoulakis","year":"2008","unstructured":"Vardoulakis D, Wand M. A compositional trace semantics for orc. Coordination Models and Languages, 2008, 5052: 331\u2013346","journal-title":"Coordination Models and Languages"},{"issue":"2\/3","key":"3385_CR31","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1016\/j.tcs.2008.04.037","volume":"402","author":"I Wehrman","year":"2008","unstructured":"Wehrman I, Kitchin D, Cook W R, Misra J. A timed semantics of orc. Theoretical Computer Science, 2008, 402(2\/3): 234\u2013248","journal-title":"Theoretical Computer Science"},{"key":"3385_CR32","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/11901433_13","volume":"4260","author":"J S Dong","year":"2006","unstructured":"Dong J S, Liu Y, Sun J, Zhang X. Verification of computation orchestration via timed automata. Lecture Notes in Computer Science, 2006, 4260: 226\u2013245","journal-title":"Lecture Notes in Computer Science"},{"key":"3385_CR33","first-page":"131","volume-title":"Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming","author":"M AlTurki","year":"2007","unstructured":"AlTurki M, Meseguer J. Real-time rewriting semantics of orc. In: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007, 131\u2013142"},{"issue":"3","key":"3385_CR34","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/j.entcs.2008.04.091","volume":"200","author":"M AlTurki","year":"2008","unstructured":"AlTurki M, Meseguer J. Reduction semantics and formal analysis of orc programs. Electronic Notes in Theoretical Computer Science, 2008, 200(3): 25\u201341","journal-title":"Electronic Notes in Theoretical Computer Science"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-014-3385-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-014-3385-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-014-3385-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,14]],"date-time":"2019-08-14T09:11:08Z","timestamp":1565773868000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-014-3385-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8,26]]},"references-count":34,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2014,10]]}},"alternative-id":["3385"],"URL":"https:\/\/doi.org\/10.1007\/s11704-014-3385-2","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,8,26]]}}}