{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T03:02:07Z","timestamp":1769050927171,"version":"3.49.0"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2006,5,17]],"date-time":"2006-05-17T00:00:00Z","timestamp":1147824000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2007,3,7]]},"DOI":"10.1007\/s10270-006-0012-1","type":"journal-article","created":{"date-parts":[[2006,5,16]],"date-time":"2006-05-16T13:39:03Z","timestamp":1147786743000},"page":"83-110","source":"Crossref","is-referenced-by-count":119,"title":["Computation Orchestration"],"prefix":"10.1007","volume":"6","author":[{"given":"Jayadev","family":"Misra","sequence":"first","affiliation":[]},{"given":"William R.","family":"Cook","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,17]]},"reference":[{"issue":"1","key":"12_CR1","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M.P.V.D. Aalst","year":"2003","unstructured":"Aalst W.M.P.V.D., Hofstede A.H.M.T., Kiepuszewski B., Barros A.P. (2003) Workflow patterns. Distrib. Parallel Databases 14(1):5\u201351","journal-title":"Distrib. Parallel Databases"},{"issue":"5","key":"12_CR2","doi-asserted-by":"crossref","first-page":"769","DOI":"10.1145\/1018203.1018205","volume":"26","author":"N. Benton","year":"2004","unstructured":"Benton N., Cardelli L., Fournet C. (2004) Modern concurrency abstractions for C#. TOPLAS 26(5): 769\u2013804","journal-title":"TOPLAS"},{"issue":"1","key":"12_CR3","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A. Benveniste","year":"2003","unstructured":"Benveniste A., Caspi P., Edwards S.A., Halbwachs N., Guernic P.L., de Simone R. (2003) The synchronous languages 12\u00a0years later. Proc IEEE 91(1): 64\u201383","journal-title":"Proc IEEE"},{"issue":"2","key":"12_CR4","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"Berry G., Gonthier G. (1992) The Esterel synchronous programming language: design, semantics, implementation. Sci Comput Program 19(2): 87\u2013152","journal-title":"Sci Comput Program"},{"key":"12_CR5","unstructured":"Cardelli, L. Transitions in programming models (microsoft research european faculty summit \u201903). http:\/\/research.microsoft.com\/Users\/luca\/Slides\/2003-07-16%20Transitions%20in-%20Programming%20Models%20 (MSR%20Faculty%20Summit).pdf"},{"issue":"3","key":"12_CR6","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1109\/32.798321","volume":"25","author":"L. Cardelli","year":"1999","unstructured":"Cardelli L., Davies R. (1999) Service combinators for web computing. IEEE Trans Softw Eng 25(3): 309\u2013316","journal-title":"IEEE Trans Softw Eng"},{"key":"12_CR7","first-page":"1","volume-title":"Parallel processing: 8th international Euro-Par conference","author":"Y. Choi","year":"2002","unstructured":"Choi Y., Garg A., Rai S., Misra J., Vin H. (2002). Orchestrating computations on the world-wide web. In: Monien R.F.B. (eds). Parallel processing: 8th international Euro-Par conference, vol. LNCS 2400, Springer, Berlin Heidelberg New York, pp. 1\u201320"},{"key":"12_CR8","unstructured":"Cook, W., Misra, J. A structured orchestration language. Available for download at http:\/\/www.cs.utexas.edu\/users\/wcook\/projects\/orc (2005)"},{"key":"12_CR9","volume-title":"Business modeling with UML: business patterns at work","author":"H.E. Eriksson","year":"2000","unstructured":"Eriksson H.E., Penker M. (2000) Business modeling with UML: business patterns at work. Wiley, New York"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Eshuis, R., Dehnert, J. Reactive Petri nets for workflow modeling. In: van der Aalst, W.M.P., Best, E. (eds.) Proceedings of the 24th international conference on applications and theory of Petri nets (ICATPN 2003), Lecture notes in computer science, vol. 2679, pp. 296\u2013315. Springer, Berlin Heidelberg New York (2003)","DOI":"10.1007\/3-540-44919-1_20"},{"key":"12_CR11","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/978-3-540-40022-6_16","volume-title":"Petri net technology for communication-based systems","author":"R. Eshuis","year":"2003","unstructured":"Eshuis R., Wieringa R. (2003). Comparing Petri net and activity diagram variants for workflow modelling \u2013 a quest for reactive Petri nets. In: Ehrig H., Reisig W., Rozenberg G., Weber H. (eds). Petri net technology for communication-based systems. Lecture notes in computer science, vol. 2472, Springer, Berlin Heidelberg New York, pp. 321\u2013351"},{"key":"12_CR12","unstructured":"Main page for World Wide Web Consortium (W3C) XML activity and information. http:\/\/www.w3.org\/XML\/(2001)"},{"key":"12_CR13","unstructured":"Flores, F.F., Winograd, T. Understanding computers and cognition: a new foundation for design. Intellect Books (1986)"},{"key":"12_CR14","unstructured":"Fournet, C., Gonthier, G. The reflexive chemical abstract machine and the join-calculus. In: Proceedings of the POPL. ACM, New York (1996)"},{"key":"12_CR15","volume-title":"Modeling reactive systems with statecharts","author":"D. Harel","year":"1998","unstructured":"Harel D., Politi M. (1998) Modeling reactive systems with statecharts. McGraw-Hill, New York"},{"key":"12_CR16","unstructured":"Haskell 98: A non-strict, purely functional language. Available at http:\/\/haskell.org\/onlinereport (1999)"},{"issue":"10","key":"12_CR17","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"C. Hoare","year":"1974","unstructured":"Hoare C. (1974) Monitors: an operating system structuring concept. Commun ACM 17(10): 549\u2013557","journal-title":"Commun ACM"},{"key":"12_CR18","volume-title":"Communicating sequential processes","author":"C. Hoare","year":"1984","unstructured":"Hoare C. (1984) Communicating sequential processes. Prentice Hall International, Englewood cliffs"},{"key":"12_CR19","unstructured":"Hoare T., Menzel G., Misra J. A tree semantics of an orchestration language. In: Broy M. (eds) Proceedings of the NATO advanced study institute, engineering theories of software intensive systems, NATO ASI Series. Marktoberdorf, Germany (2004). Also available at http:\/\/www.cs.utexas.edu\/users\/psp\/Semantics.Orc.pdf"},{"key":"12_CR20","unstructured":"IBM, BEA Systems, Microsoft, SAP AG, Siebel Systems Business Process Execution Language for Web Services version 1.1. Available for download at http:\/\/www-128.ibm.com\/developerworks\/library\/specification\/ws-bpel"},{"key":"12_CR21","unstructured":"Jones, S.P. Tackling the awkward squad: monadic input\/output, concurrency, exceptions, and foreign-language calls in haskell. In: Hoare, T., Broy, M., Steinbruggen, R. (eds.) Proceedings of the NATO advanced study institute, engineering theories of software construction, pp. 47\u201396. IOS Press; ISBN: 1 58603 1724, 2001. Marktoberdorf, Germany (2000)"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Kozen D. On Kleene algebras and closed semirings. In: Proceedings, Math. found. of comput. sci., Lecture notes in computer science, vol. 452, pp. 26\u201347. Springer, Berlin Heidelberg New York (1990)","DOI":"10.1007\/BFb0029594"},{"issue":"3","key":"12_CR23","doi-asserted-by":"crossref","first-page":"382","DOI":"10.1145\/357172.357176","volume":"4","author":"L. Lamport","year":"1982","unstructured":"Lamport L., Shostak R., Pease M. (1982) The Byzantine Generals Problem. TOPLAS 4(3): 382\u2013401","journal-title":"TOPLAS"},{"key":"12_CR24","unstructured":"McCarthy, J. Elephant 2000: a programming language based on speech acts. http:\/\/www-formal.stanford.edu\/jmc\/elephant\/elephant.html"},{"key":"12_CR25","unstructured":"Menzel, G. Implementation of orc on concurrent Haskell Under preparation (2004)"},{"key":"12_CR26","volume-title":"Communication and concurrency. International series in computer science, C.A.R. Hoare, series editor","author":"R. Milner","year":"1989","unstructured":"Milner R. (1989) Communication and concurrency. International series in computer science, C.A.R. Hoare, series editor. Prentice-Hall International, Englewood cliffs"},{"key":"12_CR27","unstructured":"Milner R. Communicating and Mobile Systems: the (\u03c0)-Calculus. Cambridge University Press (1999)"},{"key":"12_CR28","volume-title":"Proceedings of the NATO advanced study institute, Engineering theories of software intensive systems","author":"J. Misra","year":"2004","unstructured":"Misra J. (2004). Computation orchestration: A basis for wide-area computing. In: Broy M. (eds). Proceedings of the NATO advanced study institute, Engineering theories of software intensive systems. NATO ASI Series. Marktoberdorf, Germany"},{"key":"12_CR29","unstructured":"Osgood, I., Sheppard, D., Wright, C., Merritt, D., Geiger, B. Eight queens in many programming languages. http:\/\/c2.com\/cgi\/wiki?EightQueensInManyProgrammingLanguages"},{"key":"12_CR30","doi-asserted-by":"crossref","unstructured":"Padget, J.A., Bradford, R.J. A (\u03c0)-calculus model of a spanish fish market - preliminary report. In: AMET \u201998: selected papers from the first international workshop on agent mediated electronic trading on agent mediated electronic commerce, pp. 166\u2013188. Springer, London, UK (1999)","DOI":"10.1007\/3-540-48835-9_10"},{"key":"12_CR31","volume-title":"Proof, language and interaction: essays in honour of robin milner","author":"B.C. Pierce","year":"2000","unstructured":"Pierce B.C., Turner D.N. (2000). Pict: a programming language based on the pi-calculus. In: Plotkin G., Stirling C., Tofte M. (eds). Proof, language and interaction: essays in honour of robin milner. MIT, Cambridge"},{"issue":"6","key":"12_CR32","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1145\/113446.113470","volume":"26","author":"J.H. Reppy","year":"1991","unstructured":"Reppy J.H. (1991) CML: A higher-order concurrent language. SIGPLAN Not 26(6): 293\u2013305","journal-title":"SIGPLAN Not"},{"key":"12_CR33","volume-title":"PI-Calculus: a theory of mobile processes","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi D., Walker D. (2001) PI-Calculus: a theory of mobile processes. Cambridge University Press, London"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-006-0012-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-006-0012-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-006-0012-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T11:55:23Z","timestamp":1559130923000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-006-0012-1"}},"subtitle":["A Basis for Wide-area Computing"],"short-title":[],"issued":{"date-parts":[[2006,5,17]]},"references-count":33,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,3,7]]}},"alternative-id":["12"],"URL":"https:\/\/doi.org\/10.1007\/s10270-006-0012-1","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,5,17]]}}}