A feature-complete Petri net semantics for WS-BPEL 2.0
作者： Niels Lohmann
DOI: 10.1007/978-3-540-79230-7_6
关键词: Feature complete 、 Programming language 、 Partial order reduction 、 Semantics (computer science) 、 Extension (predicate logic) 、 Computer science 、 Web service 、 Business Process Execution Language 、 Petri net
摘要: We present an extension of a Petri net semantics for the Web Service Business Execution Language (WS-BPEL). This covers novel activities and constructs introduced by recent WS-BPEL 2.0 specification. Furthermore, we simplify several aspects to allow more compact models suited computer-aided verification.
springer.com
hu-berlin.de参考文章(24)
Christian Stahl, A Petri Net Semantics for BPEL Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik. ,(2005) , 10.18452/2449
Karsten Schmidt, Controllability of Open Workflow Nets. Emisa Forum. pp. 236- 249 ,(2005)
Matjaz B. Juric, Business process execution language for web services ,(2004)
Niels Lohmann, Peter Massuthe, Karsten Wolf, Operating guidelines for finite-state services applications and theory of petri nets. pp. 321- 341 ,(2007) , 10.1007/978-3-540-73094-1_20
C. Dufourd, A. Finkel, Ph. Schnoebelen, Reset Nets Between Decidability and Undecidability international colloquium on automata languages and programming. pp. 103- 115 ,(1998) , 10.1007/BFB0055044
Rudiger Valk, Claude Girault, Petri Nets For Systems Engineering: A Guide to Modeling, Verification, and Applications ,(2010)
Axel Martens, Analyzing Web Service Based Business Processes Fundamental Approaches to Software Engineering. pp. 19- 33 ,(2005) , 10.1007/978-3-540-31984-9_3
Niels Lohmann, Oliver Kopp, Frank Leymann, Wolfgang Reisig, Analyzing BPEL4Chor: verification and participant synthesis international conference on web services. pp. 46- 60 ,(2007) , 10.1007/978-3-540-79230-7_4
Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Analyzing Interacting BPEL Processes Lecture Notes in Computer Science. pp. 17- 32 ,(2006) , 10.1007/11841760_3
Matthew Hennessy, Robin Milner, On Observing Nondeterminism and Concurrency international colloquium on automata, languages and programming. pp. 299- 309 ,(1980) , 10.1007/3-540-10003-2_79