{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:26:38Z","timestamp":1725531998372},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642013638"},{"type":"electronic","value":"9783642013645"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01364-5_10","type":"book-chapter","created":{"date-parts":[[2009,4,30]],"date-time":"2009-04-30T16:32:58Z","timestamp":1241109178000},"page":"158-174","source":"Crossref","is-referenced-by-count":0,"title":["Towards a Formal Framework for Workflow Interoperability"],"prefix":"10.1007","author":[{"given":"Sarah D.","family":"Induruwa Fernando","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew C.","family":"Simpson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Induruwa-Fernando, S.D., Creager, D.A., Simpson, A.C.: Towards build-time interoperability of workflow definition languages. In: Proc. of the 9th Int\u2019l Symposium on Symbolic and Numeric Algorithms for Scientific Computing (2007)","DOI":"10.1109\/SYNASC.2007.18"},{"issue":"17","key":"10_CR2","doi-asserted-by":"publisher","first-page":"3045","DOI":"10.1093\/bioinformatics\/bth361","volume":"20","author":"T.M. Oinn","year":"2004","unstructured":"Oinn, T.M., Addis, M., Ferris, J., Marvin, D., Greenwood, R.M., Carver, T., Pocock, M.R., Wipat, A., Li, P.: Taverna: a tool for the composition and enactment of bioinformatics workflows. Bioinformatics\u00a020(17), 3045\u20133054 (2004)","journal-title":"Bioinformatics"},{"key":"10_CR3","doi-asserted-by":"publisher","first-page":"1039","DOI":"10.1002\/cpe.994","volume":"18","author":"B. Lud\u00e4scher","year":"2006","unstructured":"Lud\u00e4scher, B., Altintas, I., Berkley, C., Higgins, D., Jaeger-Frank, E., Jones, M., Lee, E., Tao, J., Zhao, Y.: Scientific workflow management and the Kepler system: Research articles. Conc. & Comp\u2019n: Practice & Experience\u00a018, 1039\u20131065 (2006)","journal-title":"Conc. & Comp\u2019n: Practice & Experience"},{"key":"10_CR4","unstructured":"Lee, E.A., Neuendorffer, S.: MoML: A Modeling Markup Language in XML, Version 0.4. Technical report, University of California at Berkeley (March 2000)"},{"issue":"3","key":"10_CR5","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1002\/hbm.10062","volume":"17","author":"S.M. Smith","year":"2002","unstructured":"Smith, S.M.: Fast robust automated brain extraction. Human Brain Mapping\u00a017(3), 143\u2013155 (2002)","journal-title":"Human Brain Mapping"},{"key":"10_CR6","volume-title":"The Z Notation: A Reference Manual","author":"J.M. Spivey","year":"1992","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual. Prentice-Hall Int\u2019l, Englewood Cliffs (1992)"},{"key":"10_CR7","volume-title":"Using Z: Specification, Refinement, and Proof","author":"J.C.P. Woodcock","year":"1996","unstructured":"Woodcock, J.C.P., Davies, J.W.M.: Using Z: Specification, Refinement, and Proof. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Eshuis, R., Wieringa, R.: A formal semantics for UML activity diagrams - formalising workflow models. Technical report, University of Twente (2001)","DOI":"10.1007\/3-540-45314-8_7"},{"key":"10_CR9","unstructured":"Stefansen, C.: SMAWL: A Small Workflow Language based on CCS. In: CAiSE Short Paper Proc. (2005)"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-540-77351-1_5","volume-title":"Software Composition","author":"P.Y.H. Wong","year":"2007","unstructured":"Wong, P.Y.H., Gibbons, J.: A Process-Algebraic Approach to W\u2019flow Specification & Refinement. In: Lumpe, M., Vanderperren, W. (eds.) SC 2007. LNCS, vol.\u00a04829, pp. 51\u201365. Springer, Heidelberg (2007)"},{"issue":"3","key":"10_CR11","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10726-006-9064-4","volume":"16","author":"A. Farrell","year":"2007","unstructured":"Farrell, A., Sergot, M., Bartolini, C.: Formalising workflow: A CCS-inspired characterisation of the yawl workflow patterns. Group Decision and Negotiation\u00a016(3), 213\u2013254 (2007)","journal-title":"Group Decision and Negotiation"},{"key":"10_CR12","unstructured":"Mendling, J.: Towards an integrated BPM schema. In: Proceedings of the 12th CAiSE Doctoral Consortium (CAiSE DC), pp. 126\u2013133 (2005)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Ouyang, C., Dumas, M., Breutel, S., ter Hofstede, A.: Translating Standard Process Models to BPEL. In: CAiSE, pp. 417\u2013432 (2006)","DOI":"10.1007\/11767138_28"},{"issue":"1","key":"10_CR14","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W. Aalst van der","year":"2003","unstructured":"van der Aalst, W., ter Hofstede, A., Kiepuszewski, B., Barros, A.: Workflow patterns. Distributed and Parallel Databases\u00a014(1), 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"},{"issue":"4","key":"10_CR15","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"W. Aalst van der","year":"2005","unstructured":"van der Aalst, W., ter Hofstede, A.: YAWL: Yet Another Workflow Language. Inf. Systems\u00a030(4), 245\u2013275 (2005)","journal-title":"Inf. Systems"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01364-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:26:01Z","timestamp":1558293961000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01364-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642013638","9783642013645"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01364-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}