@article{1507922,
  abstract = {Recent years have seen a dramatic increase in research and development of scientific workflow systems. These systems promise to make scientists more productive by automating data-driven and compute-intensive analyses. Despite many early achievements, the long-term success of scientific workflow technology critically depends on making these systems useable by ''mere mortals'', i.e., scientists who have a very good idea of the analysis methods they wish to assemble, but who are neither software developers nor scripting-language experts. With these users in mind, we identify a set of desiderata for scientific workflow systems crucial for enabling scientists to model and design the workflows they wish to automate themselves. As a first step towards meeting these requirements, we also show how the collection-oriented modeling and design (comad) approach for scientific workflows, implemented within the Kepler system, can help provide these critical, design-oriented capabilities to scientists.},
  added-at = {2009-08-03T03:16:49.000+0200},
  address = {Amsterdam, The Netherlands, The Netherlands},
  author = {McPhillips, Timothy and Bowers, Shawn and Zinn, Daniel and Lud\"{a}scher, Bertram},
  biburl = {http://www.bibsonomy.org/bibtex/24ca1fb35d00f2795239c6acf5e30742c/ludaesch},
  description = {Scientific workflow design for mere mortals},
  doi = {http://dx.doi.org/10.1016/j.future.2008.06.013},
  interhash = {ca3c69b1be6303d1fa97e4b52fe5d6c3},
  intrahash = {4ca1fb35d00f2795239c6acf5e30742c},
  issn = {0167-739X},
  journal = {Future Gener. Comput. Syst.},
  keywords = {comad dakspub keplerworkflow workflow},
  number = 5,
  pages = {541--551},
  publisher = {Elsevier Science Publishers B. V.},
  timestamp = {2009-08-03T03:16:49.000+0200},
  title = {Scientific workflow design for mere mortals},
  url = {http://portal.acm.org/citation.cfm?id=1507767.1507922},
  volume = 25,
  year = 2009
}

@incollection{ludaescher09:_scien_proces_autom_and_workf_manag,
  added-at = {2009-07-24T19:56:37.000+0200},
  author = {Lud\"ascher, Bertram and Altintas, Ilkay and Bowers, Shawn and Cummings, Julian and Critchlow, Terence and Deelman, Ewa and Roure, David De and Freire, Juliana and Goble, Carole and Jones, Matthew and Klasky, Scott and McPhillips, Timothy and Podhorszki, Norbert and Silva, Claudio and Taylor, Ian and Vouk, Mladen},
  biburl = {http://www.bibsonomy.org/bibtex/2764c2f395494f81ff2d6dd772840aea9/ludaesch},
  booktitle = {Scientific Data Management},
  chapter = 13,
  editor = {Shoshani, Arie and Rotem, Doron},
  interhash = {0d62e42f5bac5b08ea6eed5422b58477},
  intrahash = {764c2f395494f81ff2d6dd772840aea9},
  keywords = {dakspub kepler keplerworkflow workflow},
  publisher = {Chapman \& Hall},
  series = {Computational Science Series},
  timestamp = {2009-07-24T19:56:37.000+0200},
  title = {Scientific Process Automation and Workflow Management},
  url = {http://daks.ucdavis.edu/~ludaesch/Paper/ch13-preprint.pdf},
  year = 2009
}

@inproceedings{ludaescher09:_scien_workf,
  added-at = {2009-07-10T10:43:10.000+0200},
  address = {Ulm, Germany},
  author = {Lud\"ascher, Bertram and Weske, Mathias and McPhillips, Timothy and Bowers, Shawn},
  biburl = {http://www.bibsonomy.org/bibtex/245b71bc3ac38e1f2e4a477b009bd4baa/ludaesch},
  booktitle = {7th Intl. Conf. on Business Process Management (BPM)},
  editor = {Dayal, Umeshwar and Eder, Johann and Koehler, Jana and Reijers, Hajo},
  interhash = {57bccc309abfe892364b4bfc77a120e5},
  intrahash = {45b71bc3ac38e1f2e4a477b009bd4baa},
  keywords = {kepler keplerworkflow workflow},
  series = {LNCS 5701},
  timestamp = {2009-07-10T10:43:10.000+0200},
  title = {Scientific Workflows: Business as Usual?},
  url = {http://daks.ucdavis.edu/~ludaesch/Paper/bpm09-ludaescher.pdf},
  year = 2009
}

@article{keyhere,
  abstract = {Existing approaches for representing the provenance of scientific workflow runs largely ignore computation models that work
over structured data, including XML. Unlike models based on transformation semantics, these computation models often employupdate semantics, in which only a portion of an incoming XML stream is modified by each workflow step. Applying conventionalprovenance approaches to such models results in provenance information that is either too coarse (e.g., stating that one versionof an XML document depends entirely on a prior version) or potentially incorrect (e.g., stating that each element of an XMLdocument depends on every element in a prior version). We describe a generic provenance model that naturally represents workflowruns involving processes that work over nested data collections and that employ update semantics. Moreover, we extend currentquery approaches to support our model, enabling queries to be posed not only over data lineage relationships, but also overversions of nested data structures produced during a workflow run. We show how hybrid queries can be expressed against ourmodel using high-level query constructs and implemented efficiently over relational provenance storage schemes.},
  added-at = {2009-06-17T09:08:24.000+0200},
  author = {Anand, Manish and Bowers, Shawn and McPhillips, Timothy and Ludäscher, Bertram},
  biburl = {http://www.bibsonomy.org/bibtex/207c8dba7e31fcaa31262554a2014385f/ludaesch},
  description = {SpringerLink - Book Chapter},
  interhash = {0a987b43b1758786369752bebb6ee6e0},
  intrahash = {07c8dba7e31fcaa31262554a2014385f},
  journal = {Scientific and Statistical Database Management},
  keywords = {kepler keplerworkflow provenance workflow},
  pages = {237--254},
  timestamp = {2009-06-17T09:08:24.000+0200},
  title = {Exploring Scientific Workflow Provenance Using Hybrid Queries over Nested Data and Lineage Graphs},
  url = {http://dx.doi.org/10.1007/978-3-642-02279-1_18},
  year = 2009
}

@inproceedings{1516470,
  added-at = {2009-06-17T09:05:40.000+0200},
  address = {New York, NY, USA},
  author = {Anand, Manish Kumar and Bowers, Shawn and McPhillips, Timothy and Lud\"{a}scher, Bertram},
  biburl = {http://www.bibsonomy.org/bibtex/2538bf4081cf1c6bf585fc27484a8cc14/ludaesch},
  booktitle = {EDBT '09: Proceedings of the 12th International Conference on Extending Database Technology},
  description = {Efficient provenance storage over nested data collections},
  doi = {http://doi.acm.org/10.1145/1516360.1516470},
  interhash = {bbc3e847516385bafa04ecbb2e285c3e},
  intrahash = {538bf4081cf1c6bf585fc27484a8cc14},
  isbn = {978-1-60558-422-5},
  keywords = {kepler keplerworkflow provenance workflow},
  location = {Saint Petersburg, Russia},
  pages = {958--969},
  publisher = {ACM},
  timestamp = {2009-06-17T09:05:40.000+0200},
  title = {Efficient provenance storage over nested data collections},
  url = {http://portal.acm.org/citation.cfm?id=1516470},
  year = 2009
}

@inproceedings{1273368,
  added-at = {2009-06-13T18:37:17.000+0200},
  address = {New York, NY, USA},
  author = {Podhorszki, Norbert and Ludaescher, Bertram and Klasky, Scott A.},
  biburl = {http://www.bibsonomy.org/bibtex/243599ff26b9e55584914cd2e1db7abad/ludaesch},
  booktitle = {WORKS '07: Proceedings of the 2nd workshop on Workflows in support of large-scale science},
  description = {Workflow automation for processing plasma fusion simulation data},
  doi = {http://doi.acm.org/10.1145/1273360.1273368},
  interhash = {6910947bf00fdf5189fb7ecd18d8d98e},
  intrahash = {43599ff26b9e55584914cd2e1db7abad},
  isbn = {978-1-59593-715-5},
  keywords = {kepler keplerworkflow workflow},
  location = {Monterey, California, USA},
  pages = {35--44},
  publisher = {ACM},
  timestamp = {2009-06-13T18:37:17.000+0200},
  title = {Workflow automation for processing plasma fusion simulation data},
  url = {http://portal.acm.org/citation.cfm?id=1273360.1273368},
  year = 2007
}

@inproceedings{1413395,
  added-at = {2009-06-13T18:04:00.000+0200},
  address = {Piscataway, NJ, USA},
  author = {Abramson, David and Enticott, Colin and Altinas, Ilkay},
  biburl = {http://www.bibsonomy.org/bibtex/26a3c5d4837f64be7221ef6d3044eb9c8/ludaesch},
  booktitle = {SC '08: Proceedings of the 2008 ACM/IEEE conference on Supercomputing},
  description = {Nimrod/K},
  doi = {http://doi.acm.org/10.1145/1413370.1413395},
  interhash = {ae955084297e7dae09e921fe5c8956bb},
  intrahash = {6a3c5d4837f64be7221ef6d3044eb9c8},
  isbn = {978-1-4244-2835-9},
  keywords = {grid kepler keplerworkflow nimrod parallelism workflow},
  location = {Austin, Texas},
  pages = {1--11},
  publisher = {IEEE Press},
  timestamp = {2009-06-13T18:04:00.000+0200},
  title = {Nimrod/K: towards massively parallel dynamic grid workflows},
  url = {http://portal.acm.org/citation.cfm?doid=1413370.1413395},
  year = 2008
}

@article{keyhere,
  abstract = {Capturing provenance information in scientific workflows is not only useful for determining data-dependencies, but also for
a wide range of queries including fault tolerance and usage statistics. As collaborative scientific workflow environmentsprovide users with reusable shared workflows, collection and usage of provenance data in a generic way that could serve multipledata and computational models become vital. This paper presents a method for capturing data value- and control- dependenciesfor provenance information collection in the Kepler scientific workflow system. It also describes how the collected informationbased on these dependencies could be used for a fault tolerance framework in different models of computation.},
  added-at = {2009-06-13T18:01:37.000+0200},
  author = {Crawl, Daniel and Altintas, Ilkay},
  biburl = {http://www.bibsonomy.org/bibtex/25d019a4c15bb0e9fcfbda9547bbdc075/ludaesch},
  description = {SpringerLink - Book Chapter},
  interhash = {ca1b7b805161167d06127c4b0b682abc},
  intrahash = {5d019a4c15bb0e9fcfbda9547bbdc075},
  journal = {Provenance and Annotation of Data and Processes},
  keywords = {kepler keplerworkflow workflow},
  pages = {152--159},
  timestamp = {2009-06-13T18:01:37.000+0200},
  title = {A Provenance-Based Fault Tolerance Mechanism for Scientific Workflows},
  url = {http://dx.doi.org/10.1007/978-3-540-89965-5_17},
  year = 2008
}

@article{Börger2005149,
  abstract = {We capture the principal models of computation and specification in the literature by a uniform set of transparent mathematical descriptions which--starting from scratch--provide the conceptual basis for a comparative study.1},
  added-at = {2009-05-11T00:53:25.000+0200},
  author = {Börger, Egon},
  biburl = {http://www.bibsonomy.org/bibtex/25fa93e5077e161085645e14a97c2de2a/ludaesch},
  description = {ScienceDirect - Annals of Pure and Applied Logic : Abstract State Machines: a unifying view of models of computation and of system design frameworks},
  doi = {DOI: 10.1016/j.apal.2004.10.007},
  interhash = {e7a2cc060cd3c339b87438dc642fa93f},
  intrahash = {5fa93e5077e161085645e14a97c2de2a},
  issn = {0168-0072},
  journal = {Annals of Pure and Applied Logic},
  keywords = {2read mocs theory workflow},
  note = {Festschrift on the occasion of Helmut Schwichtenberg's 60th birthday},
  number = {1-3},
  pages = {149 - 171},
  timestamp = {2009-05-11T00:53:25.000+0200},
  title = {Abstract State Machines: a unifying view of models of computation and of system design frameworks},
  url = {http://www.sciencedirect.com/science/article/B6TYB-4DW8YRF-4/2/c2705a9143290e5799e7de7294f063eb},
  volume = 133,
  year = 2005
}

@article{McKinney2009617,
  abstract = {iTunes University, a website with downloadable educational podcasts, can provide students the opportunity to obtain professors' lectures when students are unable to attend class. To determine the effectiveness of audio lectures in higher education, undergraduate general psychology students participated in one of two conditions. In the lecture condition, participants listened to a 25-min lecture given in person by a professor using PowerPoint slides. Copies of the slides were given to aid note-taking. In the podcast condition, participants received a podcast of the same lecture along with the PowerPoint handouts. Participants in both conditions were instructed to keep a running log of study time and activities used in preparing for an exam. One week from the initial session students returned to take an exam on lecture content. Results indicated that students in the podcast condition who took notes while listening to the podcast scored significantly higher than the lecture condition. The impact of mobile learning on classroom performance is discussed.},
  added-at = {2009-05-08T11:56:45.000+0200},
  author = {McKinney, Dani and Dyck, Jennifer L. and Luber, Elise S.},
  biburl = {http://www.bibsonomy.org/bibtex/23bfcd512350acf095b90362ce6479e72/ludaesch},
  description = {ScienceDirect - Computers & Education : iTunes University and the classroom: Can podcasts replace Professors?},
  doi = {DOI: 10.1016/j.compedu.2008.11.004},
  interhash = {ef4e1a19a4599d9bf3a396641756ab35},
  intrahash = {3bfcd512350acf095b90362ce6479e72},
  issn = {0360-1315},
  journal = {Computers & Education},
  keywords = {education teaching},
  number = 3,
  pages = {617 - 623},
  timestamp = {2009-05-08T11:56:45.000+0200},
  title = {iTunes University and the classroom: Can podcasts replace Professors?},
  url = {http://www.sciencedirect.com/science/article/B6VCJ-4V5GCPP-2/2/1b2269e0998b954052d275e66d216bd3},
  volume = 52,
  year = 2009
}

@article{keyhere,
  abstract = {This paper discusses the application of a general process theory – the π-calculus – for describing the behavioral perspective of workflow. The π-calculus is a process algebra that describes mobile systems. Mobile systems are made up of components that communicate and change their structure as a result of communication. The ideas behind mobility, communication and change can also enrich the workflow domain, where flexibility and reaction to change are main drivers. However, it has not yet been evaluated whether the π-calculus is actually appropriate to represent the behavioral patterns of workflow. This paper investigates the issue and introduces a collection of workflow patterns formalizations, each with a sound formal definition and execution semantics. The formalizations can be used as a foundation for pattern-based workflow execution, reasoning, and simulation as well as a basis for future research on theoretical aspects of workflow.
ER  -},
  added-at = {2009-05-03T20:40:24.000+0200},
  author = {Puhlmann, Frank and Weske, Mathias},
  biburl = {http://www.bibsonomy.org/bibtex/217c8cce2e206bc8607f9255ef502640a/ludaesch},
  description = {SpringerLink - Book Chapter},
  interhash = {c632608f9152d0581e4a59e18d4a2728},
  intrahash = {17c8cce2e206bc8607f9255ef502640a},
  journal = {Business Process Management},
  keywords = {workflow},
  pages = {153--168},
  timestamp = {2009-05-03T20:40:24.000+0200},
  title = {Using the π-Calculus for Formalizing Workflow Patterns},
  url = {http://dx.doi.org/10.1007/11538394_11},
  year = 2005
}

@misc{hanson-reading-00,
  added-at = {2008-11-13T10:48:49.000+0100},
  author = {Hanson, Michael J. and McNamee, Dylan J.},
  biburl = {http://www.bibsonomy.org/bibtex/26f2b2b8e810baed8556f07f30ff6196f/ludaesch},
  interhash = {4d96190a1fcab2da9645bcd01fdc76ac},
  intrahash = {6f2b2b8e810baed8556f07f30ff6196f},
  keywords = {293 reading teaching},
  timestamp = {2008-11-13T10:48:49.000+0100},
  title = {Efficient Reading of Papers in Science and Technology},
  url = {http://www.cs.columbia.edu/~hgs/netbib/efficientReading.pdf },
  year = 2000
}

@article{1273458,
  added-at = {2008-11-13T06:41:30.000+0100},
  address = {New York, NY, USA},
  author = {Keshav, S.},
  biburl = {http://www.bibsonomy.org/bibtex/22daf52c0d6657154e2f8d7dcdbcb5d5b/ludaesch},
  description = {How to read a paper.
Researchers spend a great deal of time reading research
papers. However, this skill is rarely taught, leading to much wasted effort. This article outlines a practical and efficient three-pass method for reading research papers. I also describe how to use this method to do a literature survey.},
  doi = {http://doi.acm.org/10.1145/1273445.1273458},
  interhash = {ef8879cec754d0bf2b341789cdc5db83},
  intrahash = {2daf52c0d6657154e2f8d7dcdbcb5d5b},
  issn = {0146-4833},
  journal = {SIGCOMM Comput. Commun. Rev.},
  keywords = {293 teaching},
  number = 3,
  pages = {83--84},
  publisher = {ACM},
  timestamp = {2008-11-13T06:41:30.000+0100},
  title = {How to read a paper},
  url = {http://portal.acm.org/citation.cfm?id=1273445.1273458},
  volume = 37,
  year = 2007
}

@inproceedings{1265541,
  added-at = {2008-11-04T20:43:08.000+0100},
  address = {New York, NY, USA},
  author = {ten Cate, Balder and Lutz, Carsten},
  biburl = {http://www.bibsonomy.org/bibtex/251d50d9e980cdec1a980c6a191cad9c8/ludaesch},
  booktitle = {PODS '07: Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems},
  description = {The complexity of query containment in expressive fragments of XPath 2.0},
  doi = {http://doi.acm.org/10.1145/1265530.1265541},
  interhash = {451d0098d6842f02eaf8545fd5c90dc3},
  intrahash = {51d50d9e980cdec1a980c6a191cad9c8},
  isbn = {978-1-59593-685-1},
  keywords = {xpath},
  location = {Beijing, China},
  pages = {73--82},
  publisher = {ACM},
  timestamp = {2008-11-04T20:43:08.000+0100},
  title = {The complexity of query containment in expressive fragments of XPath 2.0},
  url = {http://portal.acm.org/citation.cfm?id=1265530.1265541},
  year = 2007
}

@article{640992,
  abstract = {We provide a concise yet complete formal definition of the semantics of XPath 1 and summarize e cient algorithms for processing queries in this language. Our presentation is intended both for the reader who is looking for a short but comprehensive formal account of XPath as well as the software developer in need of material that facilitates the rapid implementation of XPath engines.},
  added-at = {2008-11-04T20:17:33.000+0100},
  address = {New York, NY, USA},
  author = {Gottlob, Georg and Koch, Christoph and Pichler, Reinhard},
  biburl = {http://www.bibsonomy.org/bibtex/225161f40c1d7b3cbe2c01f62acf62fe8/ludaesch},
  description = {XPath processing in a nutshell},
  doi = {http://doi.acm.org/10.1145/640990.640992},
  interhash = {ebe9f9147a82b56ab1dce6e7b0e8b185},
  intrahash = {25161f40c1d7b3cbe2c01f62acf62fe8},
  issn = {0163-5808},
  journal = {SIGMOD Rec.},
  keywords = {xpath},
  number = 1,
  pages = {12--19},
  publisher = {ACM},
  timestamp = {2008-11-04T20:17:33.000+0100},
  title = {XPath processing in a nutshell},
  url = {http://portal.acm.org/citation.cfm?id=640992},
  volume = 32,
  year = 2003
}

@techreport{ludaescher03:_provid_declar_desig_and_progr,
  added-at = {2008-11-03T06:19:09.000+0100},
  author = {Lud\"ascher, Bertram and Altintas, Ilkay},
  biburl = {http://www.bibsonomy.org/bibtex/24f1163d7b22d2588082fecabdfb35cea/ludaesch},
  institution = {San Diego Supercomputer Center},
  interhash = {b7be12f5bae55a44b322a3817c875117},
  intrahash = {4f1163d7b22d2588082fecabdfb35cea},
  keywords = {haskell kepler workflow},
  timestamp = {2008-11-03T06:19:09.000+0100},
  title = {On Providing Declarative Design and Programming
                  Constructs for Scientific Workflows based on Process
                  Networks},
  url = {http://daks.ucdavis.edu/~ludaesch/Paper/scidac-tn-map-constructs.pdf},
  year = 2003
}

@article{ludaescher06:_scien_workf,
  added-at = {2008-11-03T06:17:50.000+0100},
  address = {Los Alamitos, CA, USA},
  author = {Lud\"ascher, Bertram and Bowers, Shawn and McPhillips, Timothy and Podhorszki, Norbert},
  biburl = {http://www.bibsonomy.org/bibtex/2ea5ce97bd0c9004027a7ca3d7255bddf/ludaesch},
  doi = {http://doi.ieeecomputersociety.org/10.1109/E-SCIENCE.2006.122},
  interhash = {aef7b15c30e90a061c6e997a3bf28751},
  intrahash = {ea5ce97bd0c9004027a7ca3d7255bddf},
  journal = {e-Science and Grid Computing, International Conference on},
  keywords = {e-science kepler workflow},
  pages = 145,
  publisher = {IEEE Computer Society},
  timestamp = {2008-11-03T06:17:50.000+0100},
  title = {Scientific Workflows: More e-Science Mileage from Cyberinfrastructure},
  url = {http://daks.ucdavis.edu/~ludaesch/Paper/ludaescher-escience-wf-mileage.pdf},
  volume = 0,
  year = 2006
}

@article{keyhere,
  abstract = {Abstract  I present a conceptualization that attempts to unify diverse representations of natural knowledge while providing a workable
computational framework, based on current semantic web theory, for developing, communicating, and running integrated simulationmodels. The approach is based on a long-standing principle of scientific investigation: the separation of the ontologicalcharacter of the object of study from the semantics of the observation context, the latter including location in space and time and other observation-related aspects. I will show how current KnowledgeRepresentation theories coupled with the object-oriented paradigm allow an efficient integration through the abstract modelof a domain, which relates to the idea of aspect in software engineering. This conceptualization allows us to factor out two fundamental causes of complexity and awkwardnessin the representation of knowledge about natural system: (a) the distinction between data and models, both seen here as genericknowledge sources; (b) the multiplicity of states in data sources, handled through the hierarchical composition of independentlydefined domain objects, each accounting for all states in one well-known observational dimension. This simplification leavesmodelers free to work with the bare conceptual bones of the problem, encapsulating complexities connected to data format,and scale. I will then describe the design of a software system that implements the approach, referring to explicit ontologiesto unambiguously characterize the semantics of the objects of study, and allowing the independent definition of a global observation context that can be redefined as required. I will briefly discuss applications to multi-scale, multi-paradigm modeling, intelligentdatabase design, and web-based collaboration.},
  added-at = {2008-11-01T03:52:43.000+0100},
  author = {Villa, Ferdinando},
  biburl = {http://www.bibsonomy.org/bibtex/239365c92f178737f3bbb0364396fd71b/ludaesch},
  description = {SpringerLink - Journal Article},
  interhash = {2727b57a45bc60b55638d153f5b60c82},
  intrahash = {39365c92f178737f3bbb0364396fd71b},
  journal = {Journal of Intelligent Information Systems},
  keywords = {kr seek},
  month = {#aug#},
  number = 1,
  pages = {79--96},
  timestamp = {2008-11-01T03:52:43.000+0100},
  title = {A semantic framework and software design to enable the transparent integration, reorganization and discovery of natural systems knowledge},
  url = {http://dx.doi.org/10.1007/s10844-006-0032-x},
  volume = 29,
  year = 2007
}

@article{keyhere,
  abstract = {Scientific workflows have gained great momentum in recent years due to their critical roles in e-Science and cyberinfrastructure
applications. However, some tasks of a scientific workflow might fail during execution. A domain scientist might require aregion of a scientific workflow to be “atomic”. Data provenance, which determines the source data that are used to producea data item, is also essential to scientific workflows. In this paper, we propose: (i) an architecture for scientific workflow management systems that supports both provenance and atomicity; (ii) a dataflow-oriented atomicity model that supports the notions of commit and abort; and (iii) a dataflow-oriented provenance model that, in addition to supporting existing provenance graphs and queries, also supportsqueries related to atomicity and failure.},
  added-at = {2008-10-11T10:09:25.000+0200},
  author = {Wang, Liqiang and Lu, Shiyong and Fei, Xubo and Ram, Jeffrey},
  biburl = {http://www.bibsonomy.org/bibtex/2e7c90fdce9b659e5ce254e2360579df4/ludaesch},
  description = {SpringerLink - Book Chapter},
  interhash = {fd028e5a4b63b3b13dd3a5a12633417e},
  intrahash = {e7c90fdce9b659e5ce254e2360579df4},
  journal = {Computational Science – ICCS 2007},
  keywords = {atomicity citesdaks kepler provenance workflow},
  pages = {244--252},
  timestamp = {2008-10-11T10:09:25.000+0200},
  title = {A Dataflow-Oriented Atomicity and Provenance System for Pipelined Scientific Workflows},
  url = {http://dx.doi.org/10.1007/978-3-540-72588-6_42},
  year = 2007
}

@inproceedings{qlqp,
  abstract = {Scientific workflows facilitate automation, reuse, and reproducibility of scientific data management and analysis tasks. Scientific
workflows are often modeled as dataflow networks, chaining together processing components (called actors) that query, transform, analyse, and visualize scientific datasets. Semantic annotations relate data and actor schemas withconceptual information from a shared ontology, to support scientific workflow design, discovery, reuse, and validation inthe presence of thousands of potentially useful actors and datasets. However, the creation of semantic annotations is complexand time-consuming. We present a calculus and two inference algorithms to automatically propagate semantic annotations through workflow actors described by relational queries. Given an input annotation α and a query q, forward propagation computes an output annotation α′; conversely, backward propagation infers α from q and α′.},
  added-at = {2008-10-01T08:52:29.000+0200},
  author = {Bowers, Shawn and Ludäscher, Bertram},
  biburl = {http://www.bibsonomy.org/bibtex/2542c043db57c6fb810e9bb67b61117cd/ludaesch},
  booktitle = {Current Trends in Database Technology – EDBT 2006},
  description = {SpringerLink - Book Chapter},
  interhash = {61b0cdd167552716f5fb4f4503d10a42},
  intrahash = {542c043db57c6fb810e9bb67b61117cd},
  keywords = {annotations semantics workflow},
  pages = {712--723},
  timestamp = {2008-10-01T08:52:29.000+0200},
  title = {A Calculus for Propagating Semantic Annotations Through Scientific Workflow Queries},
  url = {http://dx.doi.org/10.1007/11896548_54},
  year = 2006
}