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=

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=

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=

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=

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=

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=

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=

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=

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=

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=

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=