Concepedia

Formal semantics and analysis of control flow in WS-BPEL

Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede

Science of Computer Programming · 2007 · 341 citations · 25 references

Open access

Concepts

ComputingComputer ScienceInformation SystemsFormal MethodsProgramming LanguagesControl-flow AnalysisData-flow AnalysisDataflow ModelingModel CheckingModel TransformationSpecification LanguagesControl Flow ControlControl Flow DiagramsControl Flow PatternsControl-flow Graph ConstructionPetri Net Semantics

References

25

Petri nets: Properties, analysis and applications

T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations

Engineering, Computer Engineering, Computer Science +15

Petri Net theory and the modeling of systems

Mathematics and Computers in Simulation · 1982 · 3.6K citations

Engineering, Computer Science, Systems Engineering +12

Web Services Business Process Execution Language Version 2.0

Charlton Barreto, Vaughn Bullard, Thomas Erl et al. · 2007 · 2.8K citations

Business, Information Systems, Information Technology +10

YAWL: yet another workflow language

Wil M. P. van der Aalst, Arthur H. M. ter Hofstede · Information Systems · 2004 · 1.3K citations · Full text

Computing, Computer Science, Information Systems +10

Business Process Execution Language for Web Services Version 1.1

Tony Andrews · Medical Entomology and Zoology · 2003 · 1.2K citations

Business, Information Systems, Information Technology +14