Selected Approaches Towards Taxonomy of Business Process Anomalies

Suchenia, Anna; Potempa, Tomasz; Ligęza, Antoni; Jobczyk, Krystian; Kluza, Krzysztof

doi:10.1007/978-3-319-47208-9_5

Cited by 10 publications

(4 citation statements)

References 33 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The first of the proposed methods is the manual creation of a process model in a graphical editor, using a readymade component database associated with the basic modeling guidelines. In addition to storing generated subgraphs, the purpose of having such a knowledge base is to avoid typical anomalies occurring in process models [8] and reduce the need for formal verification of the final model [11]. Among modeling errors, two basic groups are distinguished:…”

Section: Composition Of a Process Model Based On The Existing Componentsmentioning

confidence: 99%

See 1 more Smart Citation

Business Process Recomposition as a Way to Redesign Workflows Effectively

Wiśniewski¹,

Kluza²,

Jemioło³

et al. 2021

Annals of Computer Science and Information Systems

Self Cite

View full text Add to dashboard Cite

Business process models are subject to changing requirements. The purpose of this paper is to present methods that enable computer-aided recomposition of process models, understood as using existing processes to design new ones. This procedure involves dividing existing BPMN diagrams into smaller components, from which new models can be created. This kind of model generation can be performed manually by the user or run automatically, based on the Constraint Programming technique. The presented algorithms can improve the process of model redesign and allow users to avoid typical anomalies that may occur in the modeling phase.

show abstract

Section: Composition Of a Process Model Based On The Existing Componentsmentioning

confidence: 99%

“…In the case of the synthesis of a model composed of such fragments, it is necessary to ensure the correctness of the generated solution. For example, during automated process modeling, verification of typical anomalies such as deadlock, or loops should be considered [8].…”

Section: Introductionmentioning

confidence: 99%

Business Process Recomposition as a Way to Redesign Workflows Effectively

Wiśniewski¹,

Kluza²,

Jemioło³

et al. 2021

Annals of Computer Science and Information Systems

Self Cite

View full text Add to dashboard Cite

show abstract

“…An improvement is required in the mechanism which provides cohesion in detecting anomalies in business processes [27]. Anomalies have been defined in numerous papers [28], yet a unified definition was presented in IEEE standard classification for Software Anomalies [29]: Each condition different from the expected is an anomaly. In a business logic, an anomaly can be considered as every negative influence on modeling and models.…”

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

Self Cite

View full text Add to dashboard Cite

show abstract

“…Eventhough widely accepted, BPMN's major drawback is related to the possible misunderstanding of its execution semantics, defined by means of natural text descriptions, sometimes containing misleading information [33]. To overcome this issue, much effort has been devoted to formalise BPMN semantics by means of mapping it to other formal languages.…”

Section: Introductionmentioning

confidence: 99%

A Classification of BPMN Collaborations based on Safeness and Soundness Notions

Corradini

Muzi

et al. 2018

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

BPMN 2.0 standard has a huge uptake in modelling business processes within the same organisation or collaborations involving multiple interacting participants. It results that providing a solid foundation to enable BPMN designers to understand their models in a consistent way is becoming more and more important. In our investigation we define and exploit a formal characterisation of the collaborations' semantics, specifically and directly given for BPMN models, to provide a classification of BPMN collaborations. In particular, we refer to collaborations involving processes with arbitrary topology, thus overcoming the well-structuredness limitations. The proposed classification is based on some of the most important correctness properties in the business process domain, namely safeness and soundness. We prove, with a uniform formal framework, some conjectured and expected results and, most of all, we achieve novel results for BPMN collaborations concerning the relationships between safeness and soundness, and their compositionality, that represent major advances in the state-of-the-art.

show abstract

Selected Approaches Towards Taxonomy of Business Process Anomalies

Cited by 10 publications

References 33 publications

Business Process Recomposition as a Way to Redesign Workflows Effectively

Business Process Recomposition as a Way to Redesign Workflows Effectively

Overview of Verification Tools for Business Process Models

A Classification of BPMN Collaborations based on Safeness and Soundness Notions

Contact Info

Product

Resources

About