{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:40:59Z","timestamp":1742380859188},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540297543"},{"type":"electronic","value":"9783540320821"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11574620_57","type":"book-chapter","created":{"date-parts":[[2005,10,16]],"date-time":"2005-10-16T01:05:16Z","timestamp":1129424716000},"page":"801-815","source":"Crossref","is-referenced-by-count":21,"title":["Provenance-Based Validation of E-Science Experiments"],"prefix":"10.1007","author":[{"given":"Sylvia C.","family":"Wong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Miles","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weijian","family":"Fang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Groth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luc","family":"Moreau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"57_CR1","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1177\/109434200101500302","volume":"15","author":"I. Foster","year":"2001","unstructured":"Foster, I., Kesselman, C., Tuecke, S.: The anatomy of the grid: Enabling scalable virtual organizations. International Journal of High Performance Computing Applications\u00a015, 200\u2013222 (2001)","journal-title":"International Journal of High Performance Computing Applications"},{"key":"57_CR2","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1109\/MIS.2004.1265882","volume":"19","author":"Y. Gil","year":"2004","unstructured":"Gil, Y., Deelman, E., Blythe, J., Kesselman, T.H.: Artificial intelligence and grids: workflow planning and beyond. IEEE Intelligent Systems\u00a019, 26\u201333 (2004)","journal-title":"IEEE Intelligent Systems"},{"key":"57_CR3","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1093\/nar\/gkh036","volume":"32","author":"T.G.O. Consortium","year":"2004","unstructured":"Consortium, T.G.O.: The Gene Ontology (GO) database and informatics resource. Nucleic Acids Research\u00a032, 258\u2013261 (2004)","journal-title":"Nucleic Acids Research"},{"key":"57_CR4","unstructured":"Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web services description language (WSDL) 1.1. Technical report, W3C Note (2001), \n                    \n                      http:\/\/www.w3.org\/TR\/wsdl"},{"key":"57_CR5","unstructured":"Fallside, D.C., Walmsley, P.: XML schema part 0: Primer 2nd. edn. Technical report, W3C Recommendation (2004), \n                    \n                      http:\/\/www.w3.org\/TR\/xmlschema-0"},{"key":"57_CR6","unstructured":"Mitra, N.: SOAP version 1.2 part 0: Primer. Technical report, W3C Recommendation (2004), \n                    \n                      http:\/\/www.w3.org\/TR\/soap12-part0"},{"key":"57_CR7","unstructured":"Martin, D., Burstein, M., Hobbs, J., Lassila, O., McDermott, D., McIlraith, S., Narayanan, S., Paolucci, M., Parsia, B., Payne, T., Sirin, E., Srinivasan, N., Sycara, K.: OWL-S: Semantic markup for web services. Technical report, W3C Member Submission (2004), \n                    \n                      http:\/\/www.w3.org\/Submission\/OWL-S"},{"key":"57_CR8","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/MIS.2004.1265885","volume":"19","author":"C. Wroe","year":"2004","unstructured":"Wroe, C., Goble, C., Greenwood, M., Lord, P., Miles, S., Papay, J., Payne, T., Moreau, L.: Automating experiments using semantic data on a bioinformatics grid. IEEE Intelligent Systems\u00a019, 48\u201355 (2004)","journal-title":"IEEE Intelligent Systems"},{"key":"57_CR9","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1155\/2004\/170481","volume":"12","author":"S. Miles","year":"2004","unstructured":"Miles, S., Papay, J., Luck, M., Moreau, L.: Towards a protocol for the attachment of metadata to grid service descriptions and its use in semantic discovery. Scientific Programming\u00a012, 201\u2013211 (2004)","journal-title":"Scientific Programming"},{"key":"57_CR10","doi-asserted-by":"crossref","unstructured":"Lee, M., Han, D., Shim, J.: Set-based access conflicts analysis of concurrent workflow definition. In: Proceedings of Third International Symposium on Cooperative Database Systems and Applications, Beijing, China, pp. 189\u2013196 (2001)","DOI":"10.1016\/S0020-0190(01)00162-4"},{"key":"57_CR11","first-page":"93","volume-title":"Proceedings of IFIP TC8 Working Conference on Mobile Information Systems (MOBIS 2004)","author":"L. Baresi","year":"2004","unstructured":"Baresi, L., Maurino, A., Modafferi, S.: Workflow partitioning in mobile information systems. In: Proceedings of IFIP TC8 Working Conference on Mobile Information Systems (MOBIS 2004), Oslo, Norway, pp. 93\u2013106. Springer, Heidelberg (2004)"},{"key":"57_CR12","doi-asserted-by":"crossref","unstructured":"Eshuis, R., Wieringa, R.: Verification support for workflow design with uml activity graphs. In: Proceedings of the 24th International Conference on Software Engineering, pp. 166\u2013176 (2002)","DOI":"10.1145\/581360.581362"},{"key":"57_CR13","unstructured":"Yang, L., Bundy, A., Berry, D., Huczynska, S.: Inferring quality of service properties for grid applications. In: CS poster, EPSRC e-Science Meeting, Edinburgh, UK, NeSC, static analysis of workflows (2004)"},{"key":"57_CR14","unstructured":"Blythe, J., Deelman, E., Gil, Y.: Planning for workflow construction and maintenance on the grid. In: ICAPS 2003 workshop on planning for web services (2003)"},{"key":"57_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-540-24747-0_2","volume-title":"Trust Management","author":"A. Uszok","year":"2004","unstructured":"Uszok, A., Bradshaw, J.M., Jeffers, R.: KAOS: A policy and domain services framework for grid computing and semantic web services. In: Jensen, C., Poslad, S., Dimitrakos, T. (eds.) iTrust 2004. LNCS, vol.\u00a02995, pp. 16\u201326. Springer, Heidelberg (2004)"},{"key":"57_CR16","unstructured":"Miles, S., Groth, P., Branco, M., Moreau, L.: The requirements of recording and using provenance in e-science experiments. Technical report, Electronics and Computer Science, University of Southampton (2005)"},{"key":"57_CR17","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1142\/S0218843003000711","volume":"12","author":"C. Wroe","year":"2003","unstructured":"Wroe, C., Stevens, R., Goble, C., Roberts, A., Greenwood, M.: A suite of DAML+OIL ontologies to describe bioinformatics web services and data. International Journal of Cooperative Information Systems\u00a012, 197\u2013224 (2003)","journal-title":"International Journal of Cooperative Information Systems"},{"key":"57_CR18","unstructured":"Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A semantic web rule language combining OWL and RULEML. Technical report, DARPA Agent Markup Language (DAML) Program (2003), \n                    \n                      http:\/\/www.daml.org\/2003\/11\/swrl\/"},{"key":"57_CR19","first-page":"421","volume-title":"Proceedings of the 1st International Conference on the Principles of Knowledge Representation and Reasoning (KR 1989)","author":"M. Schmidt-Schauss","year":"1989","unstructured":"Schmidt-Schauss, M.: Subsumption in KL-ONE is undecidable. In: Brachman, R.J., Levesque, H.J., Reiter, R. (eds.) Proceedings of the 1st International Conference on the Principles of Knowledge Representation and Reasoning (KR 1989), pp. 421\u2013431. Morgan Kaufmann, San Francisco (1989)"},{"key":"57_CR20","doi-asserted-by":"crossref","unstructured":"Moreau, L., Bradshaw, J., Breedy, M., Bunch, L., Johnson, M., Kulkarni, S., Lott, J., Suri, N., Uszok, A.: Behavioural specification of grid services with the KAOS policy language. In: Proceedings of Cluster Computing and Grid (CCGrid), Cardiff, UK (2005)","DOI":"10.1109\/CCGRID.2005.1558646"},{"key":"57_CR21","doi-asserted-by":"crossref","unstructured":"Groth, P., Miles, S., Fang, W., Wong, S.C., Zauner, K.P., Moreau, L.: Recording and using provenance in a protein compressibility experiment. In: Proceedings of the 14th IEEE International Symposium on High Performance Distributed Computing (HPDC-14), NC, USA (2005)","DOI":"10.1109\/HPDC.2005.1520960"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ISWC 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11574620_57.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:42:10Z","timestamp":1619505730000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11574620_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540297543","9783540320821"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11574620_57","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}