Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
36
0

Year Published

2016
2016
2020
2020

Publication Types

Select...
5
3
1

Relationship

0
9

Authors

Journals

citations
Cited by 49 publications
(36 citation statements)
references
References 29 publications
0
36
0
Order By: Relevance
“…We have applied our method to verify the weak controllability of the process Proc. The timings are as follows 5 : the execution of the specialization transformation requires 0.04 seconds and the execution of the WC algorithm requires 0.03 seconds.…”
Section: Sc: Strong Controllabilitymentioning
confidence: 99%
See 1 more Smart Citation
“…We have applied our method to verify the weak controllability of the process Proc. The timings are as follows 5 : the execution of the specialization transformation requires 0.04 seconds and the execution of the WC algorithm requires 0.03 seconds.…”
Section: Sc: Strong Controllabilitymentioning
confidence: 99%
“…Modeling and reasoning about time in the field of business process management has been largely investigated in the recent years [5]. The notion of controllability, extensively studied in the context of scheduling and planning problems over temporal networks [6,7,8,27,31,32], has been considered as a useful concept for supporting decisions in business process management and design [9,21,22].…”
Section: Related Work and Conclusionmentioning
confidence: 99%
“…Business process related anomalies may also refer to the violation of temporal constraints and dependencies added to the process model as well as can be used for validation of time related processes [53]- [59]. In [59], a BPMN model is transformed to a set of Timed Automata (TA) and is verified using Clocked Computation Tree Logic (CCTL).…”
Section: Applications Of the Verification In The Area Of Anomalimentioning
confidence: 99%
“…A survey of some time-related aspects of process models conducted by Cheikhrouhou et al can be found in [40], [41]. Their survey focused on the existing approaches to specifying and verifying temporal aspects of processes, not focusing on processes represented using the BPMN notation, but rather temporal constraints specification methods.…”
Section: A Time Representation In Bpmnmentioning
confidence: 99%