Formal verification of business processes with temporal and resource constraints

Watahiki, Kenji; Ishikawa, Fuyuki; Hiraishi, Kunihiko

doi:10.1109/icsmc.2011.6083857

Cited by 44 publications

(41 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Dynamic detection of temporal violations and providing possible solutions to a specific problem was proposed in [55]. In [56], in turn, the authors proposed a solution where an extended BPMN model is mapped onto timed automata and then verified using UPPAAL model checker.…”

Section: Applications Of the Verification In The Area Of Anomalimentioning

confidence: 99%

Overview of Verification Tools for Business Process Models

Suchenia

Wiśniewski

Ligęza

2017

Annals of Computer Science and Information Systems

View full text Add to dashboard Cite

show abstract

Section: Applications Of the Verification In The Area Of Anomalimentioning

confidence: 99%

Overview of Verification Tools for Business Process Models

Suchenia

Wiśniewski

Ligęza

2017

Annals of Computer Science and Information Systems

View full text Add to dashboard Cite

show abstract

“…This solution use temporal specification patterns, which are provided for different types of properties. In [54], a solution where an extended BPMN model is mapped onto timed automata and then verified using UPPAAL model checker is proposed. Temporal requirements 1120 PROCEEDINGS OF THE FEDCSIS.…”

Section: Analysis and Verification Of Time Related Process Modelsmentioning

confidence: 99%

Overview of Time Issues with Temporal Logics for Business Process Models

Kluza

Jobczyk

Wiśniewski

et al. 2016

Annals of Computer Science and Information Systems

View full text Add to dashboard Cite

Abstract-Process models can specify various aspects of business processes. In this paper, we present an overview of the existing solutions for describing time aspects of such models. We focus on Business Process Model and Notation and provide examples of representing time patterns in this notation. As temporal issues can be specified using temporal logics, we provide a short overview of selected temporal logics which can be used to specify the time patterns in business process models.

show abstract

“…The work presented in (Watahiki et al, 2011) proposes a formal specification of BPMN (OMG, 2008) with timed automata. First, the authors extend BPMN to handle temporal constraints (i.e., the minimum and maximum execution time of a task), resource constraints, and concurrency constraints (i.e., the number of instances executable in parallel).…”

Section: Temporal Constraints In the Workflow Research Areamentioning

confidence: 99%

“…Different specification methods and verification techniques and tools have been developed to deal with such setting (Bettini et al, 2002;Kazhamiakin et al, 2006a;Guermouche, 2010;Watahiki et al, 2011). Nevertheless, the temporal resource management in business processes, especially in huge and collaborative processes as used in the aviation industry, is still a challenging research task.…”

Section: Introductionmentioning

confidence: 99%

A Survey on Time-aware Business Process Modeling

2013

Proceedings of the 15th International Conference on Enterprise Information Systems

View full text Add to dashboard Cite

Abstract:One key perspective when dealing with Business Process Management (BPM) is time. All business experts agree upon the fact that time is a key resource for each business process within an organisation. Indeed, time managing is an effective cost and error reduction strategy and thus ensures profit maximization for the organisation. As a result, business managers, researchers, and academicians in management are striving to have full-support of temporal aspects in business process management suites. Consequently, modeling and managing temporal requirements in the business process field is becoming a topic of intensive research. This paper presents a survey of the existing approaches to specifying and verifying the temporal perspective in business processes.

show abstract

Formal verification of business processes with temporal and resource constraints

Cited by 44 publications

References 7 publications

Overview of Verification Tools for Business Process Models

Overview of Verification Tools for Business Process Models

Overview of Time Issues with Temporal Logics for Business Process Models

A Survey on Time-aware Business Process Modeling

Contact Info

Product

Resources

About