{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:16Z","timestamp":1725487096904},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540732549"},{"type":"electronic","value":"9783540732556"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73255-6_11","type":"book-chapter","created":{"date-parts":[[2007,6,29]],"date-time":"2007-06-29T13:04:04Z","timestamp":1183122244000},"page":"105-121","source":"Crossref","is-referenced-by-count":8,"title":["A Formal Model of Dataflow Repositories"],"prefix":"10.1007","author":[{"given":"Jan","family":"Hidders","sequence":"first","affiliation":[]},{"given":"Natalia","family":"Kwasnikowska","sequence":"additional","affiliation":[]},{"given":"Jacek","family":"Sroka","sequence":"additional","affiliation":[]},{"given":"Jerzy","family":"Tyszkiewicz","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Van den Bussche","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"17","key":"11_CR1","doi-asserted-by":"publisher","first-page":"3045","DOI":"10.1093\/bioinformatics\/bth361","volume":"20","author":"T. Oinn","year":"2004","unstructured":"Oinn, T., et al.: Taverna: A tool for the composition and enactment of bioinformatics workflows. Bioinformatics\u00a020(17), 3045\u20133054 (2004)","journal-title":"Bioinformatics"},{"issue":"10","key":"11_CR2","doi-asserted-by":"publisher","first-page":"1039","DOI":"10.1002\/cpe.994","volume":"18","author":"B. Lud\u00e4scher","year":"2006","unstructured":"Lud\u00e4scher, B., et al.: Scientific workflow management and the Kepler system. Concurrency and Computation: Practice And Experience\u00a018(10), 1039\u20131065 (2006)","journal-title":"Concurrency and Computation: Practice And Experience"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(95)00024-Q","volume":"149","author":"P. Buneman","year":"1995","unstructured":"Buneman, P., Naqvi, S., Tannen, V., Wong, L.: Principles of programming with complex objects and collection types. Theor. Computer Science\u00a0149, 3\u201348 (1995)","journal-title":"Theor. Computer Science"},{"issue":"1","key":"11_CR4","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1093\/bioinformatics\/17.2.180","volume":"17","author":"R. Stevens","year":"2001","unstructured":"Stevens, R., Goble, C., Baker, P., Brass, A.: A classification of tasks in bioinformatics. Bioinformatics\u00a017(1), 180\u2013188 (2001)","journal-title":"Bioinformatics"},{"key":"11_CR5","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/B978-155860829-0\/50008-5","volume-title":"Bioinformatics: Managing Scientific Data","author":"J. Chen","year":"2003","unstructured":"Chen, J., Chung, S.-Y., Wong, L.: The Kleisli query system as a backbone for bioinformatics data integration and analysis. In: Bioinformatics: Managing Scientific Data, pp. 147\u2013187. Morgan Kaufmann, San Francisco (2003)"},{"key":"11_CR6","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/978-3-662-05372-0_6","volume-title":"The Functional Approach to Data Management","author":"S. Davidson","year":"2004","unstructured":"Davidson, S., et al.: The Kleisli approach to data transformation and integration. In: The Functional Approach to Data Management, pp. 135\u2013165. Springer, Heidelberg (2004)"},{"key":"11_CR7","unstructured":"Gambin, A., Hidders, J., Kwasnikowska, N., et al.: NRC as a formal model for expressing bioinformatics workflows. Poster at ISMB, Detroit, MI, USA (2005)"},{"key":"11_CR8","volume-title":"Types and Programming Languages","author":"B. Pierce","year":"2002","unstructured":"Pierce, B.: Types and Programming Languages. MIT Press, Cambridge (2002)"},{"key":"11_CR9","first-page":"190","volume-title":"Proceedings of SSDBM","author":"A. Ailamaki","year":"1998","unstructured":"Ailamaki, A., Ioannidis, Y., Livny, M.: Scientific workflow management by database management. In: Proceedings of SSDBM, pp. 190\u2013199. IEEE Computer Society, Los Alamitos (1998)"},{"issue":"5","key":"11_CR10","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1016\/0306-4379(95)00021-U","volume":"20","author":"I. Chen","year":"1995","unstructured":"Chen, I., Markowitz, V.: An overview of the object protocol model (OPM) and the OPM data management tools. Information Systems\u00a020(5), 393\u2013418 (1995)","journal-title":"Information Systems"},{"issue":"3","key":"11_CR11","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/1084805.1084808","volume":"34","author":"S. Shankar","year":"2005","unstructured":"Shankar, S., Kini, A., DeWitt, D., Naughton, J.: Integrating databases and workflow systems. SIGMOD Record\u00a034(3), 5\u201311 (2005)","journal-title":"SIGMOD Record"},{"key":"11_CR12","first-page":"47","volume-title":"Proceedings of BIBE","author":"A. Tr\u00f6ger","year":"2004","unstructured":"Tr\u00f6ger, A., et al.: A language for comprehensively supporting the In Vitro experimental process. In: Silico Proceedings of BIBE, pp. 47\u201356. IEEE Computer Society, Los Alamitos (2004)"},{"issue":"3","key":"11_CR13","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/1084805.1084813","volume":"34","author":"Y. Zhao","year":"2005","unstructured":"Zhao, Y., et al.: A notation and system for expressing and executing cleanly typed workflows on messy scientific data. SIGMOD Record\u00a034(3), 37\u201343 (2005)","journal-title":"SIGMOD Record"},{"key":"11_CR14","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/11799511_24","volume-title":"Data Integration in the Life Sciences","author":"S. Cohen","year":"2006","unstructured":"Cohen, S., Cohen Boulakia, S., Davidson, S.: Towards a model of provenance and user views in scientific workflows. In: Leser, U., Naumann, F., Eckman, B. (eds.) DILS 2006. LNCS (LNBI), vol.\u00a04075, pp. 264\u2013279. Springer, Heidelberg (2006)"},{"issue":"1","key":"11_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1057977.1057978","volume":"37","author":"R. Bose","year":"2005","unstructured":"Bose, R., Frew, J.: Lineage retrieval for scientific data processing: A survey. ACM Computing Surveys\u00a037(1), 1\u201328 (2005)","journal-title":"ACM Computing Surveys"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"801","DOI":"10.1007\/11574620_57","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"S. Wong","year":"2005","unstructured":"Wong, S., Miles, S., Fang, W., et al.: Provenance-based validation of e-science experiments. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol.\u00a03729, pp. 801\u2013815. Springer, Heidelberg (2005)"},{"key":"11_CR17","unstructured":"Mutsuzaki, M., et al.: Trio-One: Layering uncertainty and lineage on a conventional DBMS. In: Proceeding of CIDR Januari, Asilomar, California (2007)"},{"issue":"3","key":"11_CR18","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/1084805.1084810","volume":"34","author":"C. Medeiros","year":"2005","unstructured":"Medeiros, C., et al.: WOODSS and the Web: annotating and reusing scientific workflows. SIGMOD Record\u00a034(3), 18\u201323 (2005)","journal-title":"SIGMOD Record"},{"key":"11_CR19","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/11799511_23","volume-title":"Data Integration in the Life Sciences","author":"T. McPhillips","year":"2006","unstructured":"McPhillips, T., et al.: Collection-oriented scientific workflows for integrating and analyzing biological data. In: Leser, U., Naumann, F., Eckman, B. (eds.) DILS 2006. LNCS (LNBI), vol.\u00a04075, pp. 248\u2013263. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Data Integration in the Life Sciences"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73255-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,4]],"date-time":"2018-10-04T12:09:19Z","timestamp":1538654959000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73255-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540732549","9783540732556"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73255-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}