scholarly journals Bridging the Gap between XPDL and Situation Calculus: A Hybrid Approach for Business Process Verification

2007 ◽  
Keyword(s):  
Business Process ◽  
Hybrid Approach ◽  
Situation Calculus ◽  
Process Verification

A hybrid approach for aspect-oriented business process modeling

2018 ◽  
Vol 30 (8) ◽  
pp. e1931 ◽  
Author(s):  
Amin Jalali ◽  
Fabrizio Maria Maggi ◽  
Hajo A. Reijers
Keyword(s):  
Business Process ◽  
Process Modeling ◽  
Hybrid Approach ◽  
Business Process Modeling

Complementing Business Process Verification by Validity Analysis

2013 ◽  
pp. 265-288
Author(s):  
Pnina Soffer ◽  
Maya Kaner
Keyword(s):  
Theoretical Analysis ◽  
Business Process ◽  
Process Model ◽  
Model Verification ◽  
Verification And Validation ◽  
Process Models ◽  
Validity Analysis ◽  
Process Verification ◽  
Model Verification And Validation ◽  
Validity Criteria

This paper investigates the need for complementing automated verification of business process models with a validity analysis performed by human analysts. As business processes become increasingly automated through process aware information systems, the quality of process design becomes crucial. Although verification of process models has gained much attention, their validation, relating to the reachability of the process goal, has hardly been addressed. The paper investigates the need for model validation both theoretically and empirically. The authors present a theoretical analysis, showing that process model verification and validation are complementary in nature, and an empirical evaluation of the effectiveness of validity criteria in validating a process model. The theoretical analysis, which relates to different aspects of process model quality, shows that process model verification and validation are complementary in nature. The empirical findings corroborate the effectiveness of validity criteria and indicate that a systematic criteria-supported validity analysis improves the identification of validity problems in process models.

Compositional execution semantics for business process verification

2018 ◽  
Vol 137 ◽  
pp. 217-238 ◽  
Author(s):  
Emmanouela Stachtiari ◽  
Panagiotis Katsaros
Keyword(s):  
Business Process ◽  
Process Verification ◽  
Execution Semantics

Process mining approach to formal business process modelling and verification: a case study

2020 ◽  
Vol ahead-of-print (ahead-of-print) ◽  
Author(s):  
Sohei Ito ◽  
Dominik Vymětal ◽  
Roman Šperka
Keyword(s):  
Formal Verification ◽  
Business Process ◽  
Business Processes ◽  
Formal Model ◽  
Process Mining ◽  
Content Type ◽  
Process Verification ◽  
Domain Independent ◽  
Formal Business

Purpose The need for assuring correctness of business processes in enterprises is widely recognised in terms of business process re-engineering and improvement. Formal methods are a promising approach to this issue. The challenge in business process verification is to create a formal model that is well-aligned to the reality. Process mining is a well-known technique to discover a model of a process based on facts. However, no studies exist that apply it to formal verification. This study aims to propose a methodology for formal business process verification by means of process mining, and attempts to clarify the challenges and necessary technologies in this approach using a case study. Design/methodology/approach A trading company simulation model is used as a case study. A workflow model is discovered from an event log produced by a simulation tool and manually complemented to a formal model. Correctness requirements of both domain-dependent and domain-independent types of the model are checked by means of model-checking. Findings For business process verification with both domain-dependent and domain-independent correctness requirements, more advanced process mining techniques that discover data-related aspects of processes are desirable. The choice of a formal modelling language is also crucial. It depends on the correctness requirements and the characteristics of the business process. Originality/value Formal verification of business processes starting with creating its formal model is quite new. Furthermore, domain-dependent and domain-independent correctness properties are considered in the same framework, which is also new. This study revealed necessary technologies for this approach with process mining.

scholarly journals BProVe: Tool support for business process verification

2017 ◽  
Author(s):  
Flavio Corradini ◽  
Fabrizio Fornari ◽  
Andrea Polini ◽  
Barbara Re ◽  
Francesco Tiezzi ◽  
...  
Keyword(s):  
Business Process ◽  
Tool Support ◽  
Process Verification

A New Business Process Verification Approach for E-Commerce Using Petri Nets

2020 ◽  
Vol 16 (1) ◽  
pp. 92-107
Author(s):  
Mei Zhang ◽  
Fei Feng ◽  
Zhilong Zhang ◽  
Jinghua Wen
Keyword(s):  
Petri Nets ◽  
Business Process ◽  
Business Processes ◽  
Formal Method ◽  
Business Process Execution Language ◽  
Process Verification ◽  
Process Characteristics ◽  
New Business ◽  
Business Process Execution ◽  
Logic System

The design, modeling, optimization, reengineering, and coupling of business processes in e-commerce environment have gradually become a hot research topic. Business processes must be strictly described and validated by formal methods to ensure their reliability and efficiency. This paper systematically studies the introduction of new business process characteristics into behavioral temporal logic and extend TLA to obtain a new logic system PTLA, which enriches the theoretical system of formal method of business process under the environment of e-commerce. The paper also discusses Petri nets and show how to convert Petri nets into TLA. A parallel Petri net model was built to represent the dynamic, concurrency and flexibility, and cross-organizational e-commerce business process. Finally, the use of simulation to extend the business process execution language BPEL to TLA.

scholarly journals Business process verification – finally a reality!

2009 ◽  
Vol 15 (1) ◽  
pp. 74-92 ◽  
Author(s):  
M.T. Wynn ◽  
H.M.W. Verbeek ◽  
W.M.P. van der Aalst ◽  
A.H.M. ter Hofstede ◽  
D. Edmond
Keyword(s):  
Business Process ◽  
Process Verification
Sign in / Sign up

Export Citation Format

Share Document