. Resynchronization, (a) forbidden subgraph; (b) up-synchronization

[. Kumar-anand, S. Bowers, T. M. Mcphillips, and B. Ludäscher, 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.

O. Agrawal, A. Benjelloun, C. Das-sarma, S. U. Hayworth, T. Nabar et al., 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

M. Kumar and A. , Managing Scientic Workow Provenance, Thèse de doctorat, UNIVERSITY OF CALIFORNIA, pp.24-25, 2010.

S. C. Bao, S. B. Boulakia, A. Davidson, S. Eyal, and . Khanna, Dierencing provenance in scientic workows, 25th International Conference on Data Engineering (ICDE), pp.41-44, 2009.

S. C. Olivier-biton, S. B. Boulakia, . Davidson, S. Carmem, and . Hara, Querying and managing provenance through user views in scientic workows, 24th International Conference on Data Engineering (ICDE), pp.10721081-10721122, 2008.

L. Bavoil, P. Steven, P. J. Callahan, J. Crossno, . Freire et al., Vistrails: Enabling interactive multiple-view visualizations, IEEE Visualization 2005 (VIS 05), p.135142, 2005.
DOI : 10.1109/vis.2005.113

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.96.100

S. Roger, L. A. Barga, and . Digiampietri, Automatic capture and ecient storage of e-science experiment provenance. Concurrency and Computation: Practice and Experience, pp.419-429, 2008.

L. Hans, . Bodlaender-et-babette-de, and . Fluiter, Parallel algorithms for series parallel graphs, 1996.

. Olivier-biton, B. Susan, S. Davidson, S. Khanna, and . Roy, Optimizing user views for workows, Proceedings of the 12th International Conference on Database Theory, p.310323

. Stallmann, Optimal reductions of two-terminal directed acyclic graphs, SIAM J. Comput, vol.21, issue.44, pp.11121129-11121174, 1992.

]. Bla and . Blaha, Wien2k, an augmented plane wave plus local orbitals program for calculating crystal properties (karlheinz schwarz, techn. universität wien, austria Rapport technique, 2001.

[. Bowers, . Ludaescher, T. Ngu, and . Critchlow, Structured composition of dataow and control-ow for reusable and robust scientic workows, 2005.

S. Bowers, T. M. Mcphillips, B. Ludäscher, S. Cohen, and S. B. Davidson, A model for user-oriented data provenance in pipelined scientic workows, International Provenance and Annotation Workshop (IPAW), p.133147, 2006.

[. Bowers, T. M. Mcphillips, and B. Ludäscher, Provenance in collection-oriented scientic workows . Concurrency and Computation: Practice and Experience, pp.519529-519554, 2008.

L. Hans and . Bodlaender, Dynamic algorithms for graphs with treewidth 2, Graph-Theoretic Concepts in Computer Science, p.112124, 1994.

[. Cohen-boulakia, C. Froidevaux, and J. Chen, Reecriture de workows scientiques et provenance, Proc. of the 28th Journees de Bases de Donnees Avancees, 2012.

[. Cohen-boulakia, C. Froidevaux, and C. Jiuqiang, Scientic workow rewriting while preserving provenance, 2012 IEEE 8th International Conference, pp.19-48, 2012.
DOI : 10.1109/escience.2012.6404419

[. Bibliography, U. Cohen-boulakia, and . Leser, Search, adapt, and reuse: the future of scientic workows, ACM SIGMOD Record, vol.40, issue.2, p.6

[. Cohen, S. Cohen-boulakia, and S. B. Davidson, 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.

S. Chen, C. Cohen-boulakia, C. Froidevaux, A. Goble, and . Williams, Distilling scientic workow structure, Proc. of the 12th International Workshop on Network Tools and Applications in Biology, p.2012
DOI : 10.14806/ej.18.b.565

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.394.3322

[. Chen, S. Cohen-boulakia, and C. Froidevaux, Spow: Make your scientic workows easier to use. in: Internal report, p.2013

[. Casati, S. Ceri, S. Paraboschi, and G. Pozzi, 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

P. Steven, J. Callahan, E. Freire, C. E. Santos, . Scheidegger et al., Vistrails: visualization meets data management, ACM SIGMOD Conference, pp.745747-745788, 2006.

A. Chapman, H. V. Jagadish, and . Prakash-ramanan, 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

[. Cerezo and J. Montagnat, Scientic workow reuse through conceptual workows on the virtual imaging platform, p.129

[. Chiticariu, W. C. Tan, and G. Vijayvargiya, DBNotes, Proceedings of the 2005 ACM SIGMOD international conference on Management of data , SIGMOD '05, p.942944, 2005.
DOI : 10.1145/1066157.1066296

[. Cui and J. Widom, 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

G. and D. Battista, Graph Drawing: Algorithms for the Visualization of Graphs. An Alan R. Apt Book, 1999.

B. Susan, J. Davidson, and . Freire, Provenance and scientic workows: challenges and opportunities, Proceedings of the 2008 ACM SIGMOD international conference on Management of data, pp.13451350-13451365, 2008.

R. J. Duffin, Topology of series-parallel networks, Journal of Mathematical Analysis and Applications, vol.10, issue.2
DOI : 10.1016/0022-247X(65)90125-3

[. Eppstein, Parallel recognition of series-parallel graphs. Information and Computation, p.4155, 1992.

A. González and E. , Synchronization Architecture in Parallel Programming Models, Thèse de doctorat, pp.17-50, 2003.

[. Fan, G. Cong, and P. Bohannon, 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

[. Bibliography, Z. Finta, and . Liu, Ioannis Milis et Evripidis Bampis : Scheduling uet-uct series-parallel graphs on two processors, Theor. Comput. Sci, vol.162, issue.2, p.323340, 1996.

[. Foster, J. Vockler, M. Wilde, and Y. Zhao, 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

P. Garijo, K. Alper, Ó. Belhajjame, Y. Corcho, C. A. Gil et al., Common motifs in scientic workows: An empirical analysis, E-Science (e-Science), 2012 IEEE 8th International Conference, pp.18-2012

[. González-escribano and J. C. Arjan, 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.

P. Gfg-+-09-]-antoon-goderis, A. Fisher, F. Gibson, K. Tanoh, D. Wolstencroft et al., Benchmarking workow discovery: a case study from bioinformatics . Concurrency and Computation: Practice and Experience, pp.20522069-20522112, 2009.

A. Gater, D. Grigori, and M. Bouzeghoub, 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

A. Gibson, M. Gamble, K. Wolstencroft, T. Oinn, C. A. Goble et al., The data playground: An intuitive workow specication environment, Future Generation Comp. Syst, vol.25, issue.4, p.453459, 2009.

J. Goecks, A. Nekrutenko, and J. Taylor, 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

Y. Gil, V. Ratnakar, E. Deelman, G. Mehta, and J. Kim, 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.

[. Heinis and G. Alonso, Ecient lineage tracking for scientic workows, SIGMOD Conference, p.10071018, 2008.

L. Hui-fang and F. Yu-shun, Workow model analysis based on time constraint petri nets, p.1726, 2004.

[. Ho, S. Hsieh, and G. Chen, Parallel decomposition of generalized series-parallel graphs, J. Inform. Sci. Engineer, vol.15, issue.3, p.407417, 1999.

D. Hull, K. Wolstencroft, R. Stevens, C. A. Goble, M. R. Pocock et al., Taverna: a tool for building and running workflows of services, Nucleic Acids Research, vol.34, issue.Web Server, pp.729732-729756, 1920.
DOI : 10.1093/nar/gkl320

G. Juve, A. L. Chervenak, E. Deelman, S. Bharathi, G. Mehta et al., Characterizing and proling scientic workows, Future Generation Comp. Syst, vol.29, issue.3, pp.682692-2013

K. David-allen, Managing Provenance for Knowledge Discovery and Reuse, Thèse de doctorat, 2012.

[. Koch and S. Scherzinger, Attribute grammars for scalable query processing on xml streams, 29th International Conference on Very Large Data Bases (VLDB), p.317342, 2007.

R. Littauer, K. Ram, B. Ludäscher, W. Michener, and R. Koskela, 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

[. Lingas and M. Maciej, Syslo : A polynomial-time algorithm for subgraph isomorphism of two-connected series-parallel graphs, International Colloquium on Automata, Languages and Programming (ICALP), p.394409, 1988.

[. Lodaya and P. Weil, 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

A. Misra, M. Blount, A. Kementsietsidis, M. Daby, M. Sow et al., 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

P. Missier, M. Khalid-belhajjame-zhao, C. A. Roos, and . Goble, Data lineage model for taverna workows with lightweight annotation requirements, International Provenance and Annotation Workshop (IPAW), p.1730, 2008.

T. M. Mcphillips, S. Bowers, D. Zinn, and B. Ludäscher, Scientic workow design for mere mortals, Future Generation Comp. Syst, vol.25, issue.5, p.541551, 2009.

J. Moreau, J. Freire, . Futrelle, E. Robert, J. Mc-grath et al., 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

S. Bibliography, M. Migliorini, M. L. Gambini, . Rosa, H. Arthur et al., Pattern-based evaluation of scientic workow management systems, p.41, 2011.

A. Mandal, K. Kennedy, C. Koelbel, G. Marin, J. M. Mellor-crummey et al., 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.

[. Naumann, 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

J. L. Hadley, 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.

. Opm and . Opm, Open provenance model

C. Goble-pinar-alper, K. Belhajjame, and P. Karagoz, Small is beautiful: Summarizing scientic workows using semantic annotations, IEEE 2nd International Congress on Big Data, 2013.

J. Qin and T. Fahringer, Advanced data ow support for scientic grid workow applications, Proceedings of the 2007 ACM/IEEE conference on Supercomputing, pp.42-74, 2007.
DOI : 10.1145/1362622.1362679

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.560.7410

[. Ryser and M. Glinz, Using dependency charts to improve scenario-based testing, Proceedings of the 17th international conference on testing computer software (TCS2000), 2000.

C. A. David-de-roure, R. Goble, and . Stevens, 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.

R. Maíra, . Rodrigues, C. S. Wagner, M. Magalhães, E. Machado et al., A graph-based approach for designing extensible pipelines, BMC Bioinformatics, vol.13, pp.163-2012

[. Ramakrishnan and B. Plale, 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.

[. Starlinger, S. Cohen-boulakia, and U. Leser, (re) use in public scientic workow repositories, Scientic and Statistical Database Management, p.361378, 2012.

L. A. Schoenmakers, A new algorithm for the recognition of series parallel graphs. Department of Algorithmics and Architecture, 1995.

. Bibliography, T. Claudio, J. Silva, . Freire, P. Steven et al., Provenance for visualizations: Reproducibility and beyond, Computing in Science and Engineering, vol.9, issue.5, p.8289, 2007.

L. Silva, G. L. Granato, A. Bressan, C. Lacey, M. Carlton et al., Modelling dust in galactic seds: Application to semi-analytical galaxy formation models, Astrophysics and Space Science, vol.276, issue.2- 4, p.10731078, 2001.

F. Qin, R. Nadeem, and . Prodan, Thomas Fahringer et Georg Mayr : Performance, scalability and quality of the meteorological grid workow meteoag, Proceedings of 2nd Austrian Grid Symposium, p.2123, 2006.

J. Ian, E. Taylor, . Deelman, B. Dennis, M. Gannon et al., Workows for e-science: scientic workows for grids

[. Tr£ka, M. Wil, N. Van-der-aalst, and . Sidorova, Data-ow anti-patterns: Discovering data-ow errors in workows, Advanced Information Systems Engineering, p.425

[. Tan, J. Zhang, and I. T. Foster, Network analysis of scientic workows: A gateway to reuse, IEEE Computer, vol.43, issue.9, p.5461, 2010.

[. Valdes, U. Ca, . Of, and . Science, Parsing owcharts and series-parallel graphs. Rapport technique STAN-CS-78-682, pp.16-17, 1978.

T. Et-moe and . Wynn, Soundness of workow nets: classication , decidability, and analysis, Formal Aspects of Computing, vol.23, issue.3, p.333363, 2011.

J. C. Arjan and . Van-gemund, The importance of synchronization structure in parallel program optimization, International Conference on Supercomputing, p.164171, 1997.

[. Valdes, R. E. Tarjan, and E. L. Lawler, The recognition of series parallel digraphs, SIAM J. Comput, vol.11, issue.20, pp.298313-298332, 1982.

N. Walsh, Xproc: An xml pipeline language, p.13, 2007.

H. C. Ingo and . Wassink, 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.

[. Zhang, J. Cao, K. Hwang, and C. Wu, 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.

. Goble, Why workows break -understanding and combating decay in taverna workows, 2012 IEEE 8th International Conference, 2012.

J. Zhao, C. Goble, R. Stevens, and D. Turi, Mining taverna's semantic web of provenance. Concurrency and Computation: Practice and Experience, p.463472, 2008.

Y. Zhao, M. Wilde, I. Foster, J. Voeckler, T. Jordan et al., 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

[. Zhao, M. Wilde, and I. T. Foster, Applying the Virtual Data Provenance Model, International Provenance and Annotation Workshop (IPAW), p.148161, 2006.
DOI : 10.1007/11890850_16