R. 1. Papazoglou, M. P. Traverso, P. Dustdar, S. Leymann, F. Krämer et al., SERVICE-ORIENTED COMPUTING: A RESEARCH ROADMAP, Dagstuhl Seminar Proceedings on Service-Oriented Computing, 2006.
DOI : 10.1142/S0218843008001816

D. Jordan, Web services business process execution language (WSBPEL) 2.0, 2007.

M. Reichert and P. Dadam, ADEPT Flex -supporting dynamic changes of workflows without losing control, Journal of Intelligent Information Systems, vol.10, issue.2, pp.93-129, 1998.
DOI : 10.1023/A:1008604709862

S. Rinderle, M. Reichert, and P. Dadam, Disjoint and overlapping dynamic changes: Challenges , solutions, applications, Int. Conference on Cooperation Information Systems, pp.101-120, 2004.
DOI : 10.1007/978-3-540-30468-5_9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.473.4810

S. Muchnik, Advanced Compiler Design and Implementation, 1997.

J. Vanhatalo, H. Völzer, and F. Leymann, Faster and more focused control-flow analysis for business process models though SESE decomposition, 5th Int. Conference on Service Oriented Computing (ICSOC-07, pp.43-55, 2007.
DOI : 10.1007/978-3-540-74974-5_4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.3916

J. Vanhatalo, H. Völzer, and J. Koehler, The Refined Process Structure Tree, 6th Int. Conference on Business Process Management (BPM-08, pp.100-115, 2008.
DOI : 10.1016/j.datak.2009.02.015
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.231.3567

R. Johnson, D. Pearson, and K. Pingali, The program structure tree: Computing control regions in linear time, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI-94), pp.171-185, 1994.

C. S. Ananian, The static single information form, Massachusetts Institute of Technology, 1999.

J. Valdes-ayesta, Parsing Flowcharts and series-parallel graphs, 1978.

R. E. Tarjan and J. Valdes, Prime subprogram parsing of a program, Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '80, pp.95-105, 1980.
DOI : 10.1145/567446.567456

H. Ehrig, G. Engels, H. J. Kreowski, and G. Rozenberg, Handbook of Graph Grammars and Computing by Graph Transformation, World Scientific, vol.2, 1999.
DOI : 10.1142/4180

C. Favre, Algorithmic verification of business process models, 2008.

J. M. Küster, C. Gerth, A. Förster, and G. Engels, Detecting and Resolving Process Model Differences in the Absence of a Change Log, 6th Int. Conference on Business Process Management (BPM-08, pp.244-260, 2008.
DOI : 10.1007/978-3-540-85758-7_19

H. Verbeek, T. Basten, and W. Van-der-aalst, Diagnosing Workflow Processes using Woflan, The Computer Journal, vol.44, issue.4, pp.246-279, 2001.
DOI : 10.1093/comjnl/44.4.246
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.3485

X. Fu, T. Bultan, and J. Su, Analysis of interacting BPEL web services, Proceedings of the 13th conference on World Wide Web , WWW '04, pp.621-630, 2004.
DOI : 10.1145/988672.988756

M. Trainotti, M. Pistore, G. Calabrese, G. Zacco, G. Lucchese et al., ASTRO: Supporting Composition and Execution of Web Services, 3rd Int. Conference on Service Oriented Computing (ICSOC-05, pp.495-501, 2005.
DOI : 10.1007/11596141_39

J. Koehler and J. Vanhatalo, Process anti-patterns: How to avoid the common traps of business process modeling, IBM WebSphere Developer Technical Journal, vol.10, issue.2+4, 2007.

J. Koehler, T. Gschwind, J. Küster, C. Pautasso, K. Ryndina et al., Combining Quality Assurance and Model Transformations in Business-Driven Development, 3rd Int. Symposium on Applications of Graph Transformations with Industrial Relevance, pp.1-16, 2008.
DOI : 10.1147/sj.441.0047
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.231.3266

T. Gschwind, J. Koehler, and J. Wong, Applying Patterns during Business Process Modeling, 6th Int. Conference on Business Process Management (BPM-08, pp.4-19, 2008.
DOI : 10.1007/978-3-540-85758-7_4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.231.5417

J. Lee, S. P. Midkiff, and D. A. Padua, Concurrent static single assignment form and const propagation for explicitly parallel programs, 10th Int. Workshop on Languages and Compilers for Parallel Computing (LCPC-97, pp.114-130, 1997.
DOI : 10.1007/bfb0032687
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.5098

B. Nebel and C. Bäckström, On the computational complexity of temporal projection, planning, and plan validation, Artificial Intelligence, vol.66, issue.1, pp.125-160, 1994.
DOI : 10.1016/0004-3702(94)90005-1

P. Massuthe, W. Reisig, and K. Schmidt, An operating guideline approach to the soa, AMCT, vol.1, issue.3, pp.35-43, 2005.

N. Lohmann, P. Massuthe, and K. Wolf, Operating Guidelines for Finite-State Services, 28th Int. Conference on Application and Theory of Petri Nets, pp.321-341, 2007.
DOI : 10.1007/978-3-540-73094-1_20
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.278.7697

P. Massuthe and K. Wolf, An algorithm for matching non-deterministic services with operating guidelines, International Journal of Business Process Integration and Management, vol.2, issue.2, pp.81-90, 2007.
DOI : 10.1504/IJBPIM.2007.015129
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.152.8899

R. P. Sriganesh, G. Bose, and M. Silvermanohn, Mastering Enterprise JavaBeans 3.0, 2006.

J. Rao and X. Su, A Survey of Automated Web Service Composition Methods, 1st Int. Workshop on Semantic Web Services and Web Process Composition, pp.43-54, 2004.
DOI : 10.1007/978-3-540-30581-1_5

J. Hoffmann, P. Bertoli, and M. Pistore, Web service composition planning, revisted: In between background theories and initial state uncertainty, 22nd AAAI Conference on Artificial Intelligence (AAAI-07, pp.1013-1018, 2007.

P. Bertoli, J. Hoffmann, F. Lécué, and M. Pistore, Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code, IEEE International Conference on Web Services (ICWS 2007), pp.815-822, 2007.
DOI : 10.1109/ICWS.2007.111

A. Brogi and R. Popescu, Automated Generation of BPEL Adapters, 4th Int. Conference on Service-Oriented Computing (ICSOC-06, pp.27-39, 2006.
DOI : 10.1007/11948148_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.1261

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, 1995.

P. Kruchten, P. Lago, and H. Van-vliet, Building Up and Reasoning About Architectural Knowledge, 2nd Int. Conference on the Quality of Software Architectures, pp.43-58, 2006.
DOI : 10.1007/11921998_8

A. Jansen and J. Bosch, Software architecture as a set of architectural design choices, 5th IFIP Conference on Software Architecture (WICSA-05), pp.109-120, 2005.

J. Tyree and A. Akerman, Architecture Decisions: Demystifying Architecture, IEEE Software, vol.22, issue.2, pp.19-27, 2005.
DOI : 10.1109/MS.2005.27

O. Zimmermann, U. Zduhn, T. Gschwind, and F. Leymann, Combining Pattern Languages and Reusable Architectural Decision Models into a Comprehensive and Comprehensible Design Method, Seventh Working IEEE/IFIP Conference on Software Architecture (WICSA 2008), pp.157-166, 2008.
DOI : 10.1109/WICSA.2008.19
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.390.491