VERIFICATION OF BUSINESS PROCESS WORKFLOWS-Reference-Cited by-同舟云学术

VERIFICATION OF BUSINESS PROCESS WORKFLOWS

Published:2012-12-20 Issue:4 Volume:18 Page:623-635
ISSN:2029-4913
Container-title:Technological and Economic Development of Economy
language:
Short-container-title:

Author:

Pranevičius Henrikas¹,Misevičienė Regina¹

Affiliation:

1. Department of Business Informatics, Kaunas University of Technology, Studentų g. 56, LT-51424 Kaunas, Lithuania

Abstract

Modeling of Business processes is essential in many areas. Workflows represent the Business processes. It is possible to identify potential problems while performing verification of workflows. One of the objectives of the verification is to assure reachability. This includes analysis of the deadlock and tempo blocking freeness properties. The paper presents verification approach based on using an adjacency matrix. Spreadsheets are used as a verification tool. The approach is illustrated by the examples which justify the importance of verification in workflow processes.

Publisher

Vilnius Gediminas Technical University

Subject

Finance

Reference30 articles.

1. Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques

2. Aalst , W. M. P. ; Hirnschall , A. ; Verbeek , H. M. W. 2002 . An alternative way to analyze workflow graphs , in Proceedings of the 14th International Conference on Advanced Information Systems Engineering (CAiSE'02) , 27–31 May, 2002 , Toronto, Ontario , Canada , Berlin : Springer-Verlag , 2348 : 535 – 552 .

3. Aalst , W. M. P. 2007 . Trends in business process analysis: from verification to process mining , in Proceedings of the 9th International Conference on Enterprise Information Systems (ICEIS 2007) , 12–16 June, 2007 , Funchal , Madeira , Portugal , 12 – 22 .

4. Research Commentary: Workflow Management Issues in e-Business

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Model-Based Validation of Business Processes: Case Study of Logistic Sector;Artificial Intelligence Systems and the Internet of Things in the Digital Era;2021

2. Social Network Supported Process Recommender System;The Scientific World Journal;2014

3. Business Process Flow Verification Using Knowledge Based System;Communications in Computer and Information Science;2013