Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

Formal semantics and analysis of control flow in WS-BPEL

2007341 citationsJournal Articlegreen Open Access

Authors

Chun Ouyang · Queensland University of Technology

Eric Verbeek · Eindhoven University of Technology

Wil M. P. van der Aalst · Queensland University of Technology

Stephan Breutel · Queensland University of Technology

Marlon Dumas · Queensland University of Technology

Arthur H. M. ter Hofstede · Queensland University of Technology

Topics & Keywords

Service-Oriented Architecture and Web Services Business Process Modeling and Analysis Petri Nets in System Modeling

UN Sustainable Development Goals

Responsible consumption and production

Publication Details

Published in: Science of Computer Programming

Volume 67, Issue 2-3, pp. 162-198

DOI: 10.1016/j.scico.2007.03.002

Field-Weighted Citation Impact: 124.66

Formal semantics and analysis of control flow in WS-BPEL | Researchclopedia