2011
DOI: 10.1007/978-3-642-19589-1
|View full text |Cite
|
Sign up to set email alerts
|

Web Services and Formal Methods

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

2015
2015
2023
2023

Publication Types

Select...
2

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
(2 citation statements)
references
References 0 publications
0
2
0
Order By: Relevance
“…Christiansen et al [9] directly follow the BPMN 2.0 specification [1], i.e., they follow the approach of Völzer [2] as it is part of the current BPMN specification. The release function F V olzer evaluates to enabled for j in state S iff 1. there is an incoming edge e of j with S(e) ≥ 1 and 2. each other edge e of W F G with S(e ) ≥ 1 having a path to an incoming edge of j has also a path to e without passing j…”
Section: S E Fmentioning
confidence: 99%
See 1 more Smart Citation
“…Christiansen et al [9] directly follow the BPMN 2.0 specification [1], i.e., they follow the approach of Völzer [2] as it is part of the current BPMN specification. The release function F V olzer evaluates to enabled for j in state S iff 1. there is an incoming edge e of j with S(e) ≥ 1 and 2. each other edge e of W F G with S(e ) ≥ 1 having a path to an incoming edge of j has also a path to e without passing j…”
Section: S E Fmentioning
confidence: 99%
“…The simple semantics of the previous example does not hold since the OR-join OJ 1 would wait for the execution of OJ 2 and vice versa -a vicious circle. Such vicious circles are well-researched and there are a lot of well-established and carefully defined semantics of OR-joins, e.g., [2], [3], [4], [5], [6], [7], [8], [9], [10], with a considerable practical relevance.…”
Section: Introductionmentioning
confidence: 99%