A deadlock detection algorithm for business processes workflow models

Maruta, T.; Onoda, S.; Ikkai, Y.; Kobayashi, Takashi; Komoda, Norihisa

doi:10.1109/icsmc.1998.725480

Cited by 7 publications

(8 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…There are papers in the literature focusing on error detection in business process models [18], [19], [20], [21], [22], [23], [24]. Many of these papers try to find errors in the dataflow, such as missing, redundant or unused data, as can be seen in [19], [20] and [21].…”

Section: Related Workmentioning

confidence: 99%

Automated Verification of Care Pathways Using Constraint Programming

Figueiredo

Filho

Sousa

et al. 2020

IEEE J. Biomed. Health Inform.

View full text Add to dashboard Cite

Bad construction of modeled care pathways can lead to satisfiability problems during the pathway execution. These problems can ultimately result in medical errors and need to be checked as formally as possible. Therefore, this study proposes a set of algorithms using a free open-source library dedicated to constraint programming allied with a DSL to encode and verify care pathways, checking four possible problems: states in deadlock, non-determinism, inaccessible steps and transitions with logically equivalent guard conditions. We then test our algorithms in 84 real care pathways used both in hospitals and surgeries. Using our algorithms, we were able to find 200 problems taking less than 1 second to complete the verification on most pathways.

show abstract

Section: Related Workmentioning

confidence: 99%

Automated Verification of Care Pathways Using Constraint Programming

Figueiredo

Filho

Sousa

et al. 2020

IEEE J. Biomed. Health Inform.

View full text Add to dashboard Cite

show abstract

“…Reachability between any two vertices is defined as the connectivity between them (Maruta et al 1998). In our context, we define the reachability of a worl^ow model as the connectivity between any vertex and the end vertex.…”

Section: Structurally Infinite Cyclesmentioning

confidence: 99%

Graphical and Logical Formalisms for Business Process Modeling and Verification

2004

SSRN Journal

View full text Add to dashboard Cite

“…In the past years, several catalogs of BP antipatterns [2], [5], [6], [7] and analysis techniques [8], [9], [10] to discover those antipatterns have been proposed. Indeed, most of these catalogs and techniques focus on BPMN models.…”

mentioning

confidence: 99%

“…RELATED WORK Current literature is quite rich with a number of structural and behavioral antipatterns [2], [5], [6], [7] within models, along with some analysis and detection techniques [8], [9], [10], [11], in particular within BPMN models.…”

mentioning

confidence: 99%

See 1 more Smart Citation

Detection of Process Antipatterns: A BPEL Perspective

Palma

Moha

Guéhéneuc

2013

2013 17th IEEE International Enterprise Distributed Object Computing Conference Workshops

View full text Add to dashboard Cite

Abstract-With the increasing significance of the serviceoriented paradigm for implementing business solutions, assessing and analyzing such solutions also becomes an essential task to ensure and improve their quality of design. One way to develop such solutions, a.k.a., Service-Based systems (SBSs) is to generate BPEL (Business Process Execution Language) processes via orchestrating Web services. Development of large business processes (BPs) involves design decisions. Improper and wrong design decisions in software engineering are commonly known as antipatterns, i.e., poor solutions that might affect the quality of design. The detection of antipatterns is thus important to ensure and improve the quality of business processes. However, although BP antipatterns have been defined in the literature, no effort was given to detect such antipatterns within BPEL processes. With the aim of improving the design and quality of BPEL processes, we propose the first rule-based approach to specify and detect BP antipatterns. We specify 7 BP antipatterns from the literature and perform the detection for 4 of them in an initial experiment with 3 example BPEL processes.

show abstract

A deadlock detection algorithm for business processes workflow models

Cited by 7 publications

References 2 publications

Automated Verification of Care Pathways Using Constraint Programming

Automated Verification of Care Pathways Using Constraint Programming

Graphical and Logical Formalisms for Business Process Modeling and Verification

Detection of Process Antipatterns: A BPEL Perspective

Contact Info

Product

Resources

About