(a) forbidden subgraph; (b) up-synchronization ,
Exploring scientic workow provenance using hybrid queries over nested data and lineage graphs, 21th International Conference on Scientic and Statistical Database Management (SSDBM), pp.237254-237277, 2009. ,
Trio A System for Data Uncertainty and Lineage, 29th International Conference on Very Large Data Bases (VLDB), p.11511154, 2006. ,
DOI : 10.1007/978-0-387-09690-2_5
Managing Scientic Workow Provenance, Thèse de doctorat, UNIVERSITY OF CALIFORNIA, pp.24-25, 2010. ,
Dierencing provenance in scientic workows, 25th International Conference on Data Engineering (ICDE), pp.41-44, 2009. ,
Querying and managing provenance through user views in scientic workows, 24th International Conference on Data Engineering (ICDE), pp.10721081-10721122, 2008. ,
Vistrails: Enabling interactive multiple-view visualizations, IEEE Visualization 2005 (VIS 05), p.135142, 2005. ,
Automatic capture and ecient storage of e-science experiment provenance. Concurrency and Computation: Practice and Experience, pp.419-429, 2008. ,
Parallel algorithms for series parallel graphs, 1996. ,
Optimizing user views for workows, Proceedings of the 12th International Conference on Database Theory, p.310323 ,
Optimal reductions of two-terminal directed acyclic graphs, SIAM J. Comput, vol.21, issue.44, pp.11121129-11121174, 1992. ,
Wien2k, an augmented plane wave plus local orbitals program for calculating crystal properties (karlheinz schwarz, techn . universität wien, austria) Rapport technique, 2001. ,
Structured composition of dataow and control-ow for reusable and robust scientic workows, 2005. ,
A model for user- Bibliography 127 ,
Provenance in collection-oriented scientic workows. Concurrency and Computation: Practice and Experience, p.519 ,
Dynamic algorithms for graphs with treewidth 2, Graph-Theoretic Concepts in Computer Science, p.112124, 1994. ,
Reecriture de workows scientiques et provenance, Proc. of the 28th Journees de Bases de Donnees Avancees, 2012. ,
Search, adapt, and reuse: the future of scientic workows, ACM SIGMOD Record, vol.40, issue.2, p.6 ,
Towards a model of provenance and user views in scientic workows, 3rd International Workshop on Data Integration in the Life Sciences (DILS), p.264279, 2006. ,
Distilling scientic workow structure, Proc. of the 12th International Workshop on Network Tools and Applications in Biology, p.2012 ,
Spow: Make your scientic workows easier to use. in: Internal report, p.2013 ,
Specification and implementation of exceptions in workflow management systems, ACM Transactions on Database Systems, vol.24, issue.3, pp.405-451, 1999. ,
DOI : 10.1145/328939.328996
Vistrails: visualization meets data management, ACM SIGMOD Conference, pp.745747-745788, 2006. ,
Efcient provenance storage, SIGMOD Conference, pp.993-1006, 2008. ,
DOI : 10.1145/1376616.1376715
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.160.4331
Scientic workow reuse through conceptual workows on the virtual imaging platform, p.129 ,
DBNotes, Proceedings of the 2005 ACM SIGMOD international conference on Management of data , SIGMOD '05, p.942944, 2005. ,
DOI : 10.1145/1066157.1066296
Lineage tracing for general data warehouse transformations, 29th International Conference on Very Large Data Bases (VLDB), pp.4158-4183, 2003. ,
DOI : 10.1007/s00778-002-0083-8
Graph Drawing: Algorithms for the Visualization of Graphs. An Alan R. Apt Book, 1999. ,
Provenance and scientic workows: challenges and opportunities, Proceedings of the 2008 ACM SIGMOD international conference on Management of data, pp.13451350-13451365, 2008. ,
Topology of series-parallel networks, Journal of Mathematical Analysis and Applications, vol.10, issue.2 ,
DOI : 10.1016/0022-247X(65)90125-3
Parallel recognition of series-parallel graphs . Information and Computation, p.4155, 1992. ,
Synchronization Architecture in Parallel Programming Models, Thèse de doctorat, pp.17-50, 2003. ,
Querying xml with update syntax, Proceedings of the 2007 ACM SIGMOD international conference on Management of data , SIGMOD '07, p.293304, 2007. ,
DOI : 10.1145/1247480.1247515
Ioannis Milis et Evripidis Bampis : Scheduling uet-uct series-parallel graphs on two processors, Theor. Comput. Sci, vol.162, issue.2, p.323340, 1996. ,
Chimera: a virtual data system for representing, querying, and automating data derivation, Proceedings 14th International Conference on Scientific and Statistical Database Management, p.3746, 2002. ,
DOI : 10.1109/SSDM.2002.1029704
Common motifs in scientic workows: An empirical analysis, E-Science (e-Science), 2012 IEEE 8th International Conference, pp.18-2012 ,
van Gemund et Valentín Cardeñoso-Payo : Performance implications of synchronization structure in parallel programming, Parallel Computing, vol.35, issue.44, pp.455474-455515, 2009. ,
Benchmarking workow discovery: a case study from bioinformatics . Concurrency and Computation: Practice and Experience, pp.20522069-20522112, 2009. ,
A Graph-Based Approach for Semantic Process Model Discovery ,
DOI : 10.4018/978-1-61350-053-8.ch019
URL : https://hal.archives-ouvertes.fr/hal-01507136
The data playground: An intuitive workow specication environment, Future Generation Comp. Syst, vol.25, issue.4, p.453459, 2009. ,
Galaxy: a comprehensive approach for supporting accessible, reproducible, and transparent computational research in the life sciences, Genome Biology, vol.11, issue.8, p.86, 2010. ,
DOI : 10.1186/gb-2010-11-8-r86
Wings for pegasus: Creating large-scale scientic applications using semantic representations of computational workows, Proceedings of the National Conference on Articial Intelligence, p.1767, 2007. ,
Ecient lineage tracking for scientic workows, SIGMOD Conference, p.10071018, 2008. ,
Workow model analysis based on time constraint petri nets, p.1726, 2004. ,
Parallel decomposition of generalized series-parallel graphs, J. Inform. Sci. Engineer, vol.15, issue.3, p.407417, 1999. ,
Bibliography Taverna: a tool for building and running workows of services, Nucleic Acids Research, vol.34, pp.729732-729756, 1920. ,
Characterizing and proling scientic workows, Future Generation Comp. Syst, vol.29, issue.3, pp.682692-2013 ,
Managing Provenance for Knowledge Discovery and Reuse, Thèse de doctorat, 2012. ,
Attribute grammars for scalable query processing on xml streams, 29th International Conference on Very Large Data Bases (VLDB), p.317342, 2007. ,
Trends in use of scientic workows: Insights from a public repository and recommendations for best practice, International Journal of Digital Curation, vol.7, issue.2, pp.92100-2012 ,
Syslo : A polynomial-time algorithm for subgraph isomorphism of two-connected series-parallel Bibliography 133 graphs, International Colloquium on Automata, Languages and Programming (ICALP), p.394409, 1988. ,
Series-parallel posets: Algebra, automata and languages, Symposium on Theoretical Aspects of Computer Science (STACS), p.555565, 1998. ,
DOI : 10.1007/BFb0028590
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.3737
Advances and Challenges for Scalable Provenance in Stream Processing Systems, International Provenance and Annotation Workshop (IPAW), p.253265, 2008. ,
DOI : 10.1007/978-3-540-89965-5_26
Data lineage model for taverna workows with lightweight annotation requirements, International Provenance and Annotation Workshop (IPAW), p.1730, 2008. ,
Scientic workow design for mere mortals, Future Generation Comp. Syst, vol.25, issue.5, p.541551, 2009. ,
The Open Provenance Model: An Overview, Provenance and Annotation of Data and Processes, pp.323326-323329, 2008. ,
DOI : 10.1007/978-3-540-89965-5_31
Pattern-based evaluation of scientic workow management systems, p.41, 2011. ,
Scheduling strategies for mapping application workows onto the grid, The 14th IEEE International Symposium on High Performance Distributed Computing (HPDC-14), pp.125134-125175, 2005. ,
Measuring the distance to series-parallelity by path expressions, Graph-Theoretic Concepts in Computer Science, p.269281, 1995. ,
DOI : 10.1007/3-540-59071-4_54
Experience in using a process language to dene scientic workow and generate dataset provenance, 16th ACM sigsoft International Symposium on the Foundations of Software Engineering (SIGSOFT FSE), p.319329, 2008. ,
Open provenance model ,
Small is beautiful: Summarizing scientic workows using semantic annotations, IEEE 2nd International Congress on Big Data, 2013. ,
Advanced data ow support for scientic grid workow applications, Proceedings of the 2007 ACM/IEEE conference on Supercomputing, pp.42-74, 2007. ,
Using dependency charts to improve scenario-based testing, Proceedings of the 17th international conference on testing computer software (TCS2000), 2000. ,
The design and realisation of the myExperiment virtual research environment for social sharing of workows, Future Generation Comp. Syst, vol.25, issue.5, p.561567, 2009. ,
A graph-based approach for designing extensible pipelines, BMC Bioinformatics, vol.13, pp.163-2012 ,
A multi-dimensional classication model for scientic workow characteristics, Proceedings of the 1st International Workshop on Workow Approaches to New Data-centric Science, p.4, 2010. ,
(re) use in public scientic workow repositories, Scientic and Statistical Database Management, p.361378, 2012. ,
A new algorithm for the recognition of series parallel graphs. Department of Algorithmics and Architecture, 1995. ,
Provenance for visualizations: Reproducibility and beyond, Computing in Science and Engineering, vol.9, issue.5, p.8289, 2007. ,
Modelling dust in galactic seds: Application to semi-analytical galaxy formation models, Astrophysics and Space Science, vol.276, issue.2- 4, p.10731078, 2001. ,
Thomas Fahringer et Georg Mayr : Performance, scalability and quality of the meteorological grid workow meteoag, Proceedings of 2nd Austrian Grid Symposium, p.2123, 2006. ,
Workows for e-science: scientic workows for grids ,
Data-ow anti-patterns: Discovering data-ow errors in workows, Advanced Information Systems Engineering, p.425 ,
Network analysis of scientic workows: A gateway to reuse, IEEE Computer, vol.43, issue.9, p.5461, 2010. ,
Parsing owcharts and series-parallel graphs . Rapport technique STAN-CS-78-682, pp.16-17, 1978. ,
Soundness of workow nets: classication , decidability, and analysis, Formal Aspects of Computing, vol.23, issue.3, p.333363, 2011. ,
The importance of synchronization structure in parallel program optimization, International Conference on Supercomputing, p.164171, 1997. ,
The recognition of series parallel digraphs, SIAM J. Comput, vol.11, issue.20, pp.298313-298332, 1982. ,
Xproc: An xml pipeline language, p.13, 2007. ,
Matthijs Ooms et Paul E. van der Vet : Designing workows on the y using e-bioow, The 7th International Joint Conference on Service Oriented Computing (ICSOC), p.470484, 2009. ,
Ordinal optimized scheduling of scientic workows in elastic compute clouds, Cloud Computing Technology and Science (CloudCom), 2011 IEEE Third International Conference on, pp.917-958, 2011. ,
Why workows break -understanding and combating decay in taverna workows, 2012 IEEE 8th International Conference, 2012. ,
Mining taverna's semantic web of provenance. Concurrency and Computation: Practice and Experience, p.463472, 2008. ,
Grid middleware services for virtual data discovery, composition, and integration, Proceedings of the 2nd workshop on Middleware for grid computing -, p.5762, 2004. ,
DOI : 10.1145/1028493.1028503
Applying the Virtual Data Provenance Model, International Provenance and Annotation Workshop (IPAW), p.148161, 2006. ,
DOI : 10.1007/11890850_16