Towards Rule-based Pattern Perspective for BPMN 2.0 Business Process Models

Kluza, Krzysztof; Nalepa, Grzegorz J.

doi:10.15439/2016f324

Cited by 2 publications

(2 citation statements)

References 27 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Modeling in rules and processes is proposed in [27], in a spreadsheet in [28], Free-Choice Nets [29], Function-Behaviour-Structure Diagram [30], and Linked Data [31], but without a verification.…”

Section: Related Workmentioning

confidence: 99%

Formal verification of BPMN diagrams in Integrated Model of Distributed Systems (IMDS)

Daszczuk,

Jałowiec

2023

Annals of Computer Science and Information Systems

View full text Add to dashboard Cite

Business process model and notation (BPMN) is a way of describing business processes using convenient diagrams. In the last decade, it became a de-facto industry standard, widely used by software architects and business analysts to describe business requirements and the overall structure of a designed information system. Ensuring that diagrams model their intended behavior is of utmost importance for notation users. This article deals with the definition of BPMN through the conversion to the Integrated Model of Distributed Systems (IMDS) and automated verification of BPMN diagrams. The translation of a subset of BPMN preserves information about the processes in the formal model. This allows finding partial deadlocks and checking partial termination (concerning a subset of processes), verification in terms of BPMN processes, and mapping found errors onto source BPMN definition. Moreover, IMDS is tailored to model distributed systems, which is the very nature of business processes. A tool for automated translation of BPMN diagrams to IMDS, automated verification, and visualization of results is developed.

show abstract

Section: Related Workmentioning

confidence: 99%

Formal verification of BPMN diagrams in Integrated Model of Distributed Systems (IMDS)

Daszczuk,

Jałowiec

2023

Annals of Computer Science and Information Systems

View full text Add to dashboard Cite

show abstract

“…Then, checkers can verify whether the business process model meets the compliance rules. Aiming at BPMN 2.0, Krzysztof Kluza [10] proposed rule-based pattern perspective for process models, described how to perceive rules in the business processes. However, the common BPMLS such as EPC or BPMN2.0 provides a set of common process modeling elements, but it does not allow modeling of domain specific concepts.…”

Section: A Bpmmentioning

confidence: 99%

Towards business identification modeling:A Taobao Case Study (S)

Zhang¹,

Yin²,

Meng³

et al. 2018

International Conferences on Software Engineering and Knowledge Engineering

View full text Add to dashboard Cite

With the appearance of new retail, e-commerce has broken the traditional pattern, different categories of goods have their own unique business attributes. Taking transaction business as an example, the traditional physical goods business needs to complete the transaction through the logistics, while the new electronic voucher business achieves that by involving shop verification and the transaction will be totally completed after the consumption of the virtual goods such as the QQ coin. Traditional integral modeling that describes all businesses through a process has been hard to meet such a scenario. In recent years, there have been a lot of studies on business process modeling. These methods mainly focus on the process and data level and do not support business modeling well. In this work, we construct a Business Identification Model(BIM) based on four business sources to handle unique complex business process. We develop a platform based on BIM and verify our model in the real processes of our cooperation company. In addition, BIM supports assembling and reusing in business-level in our case.

show abstract

Towards Rule-based Pattern Perspective for BPMN 2.0 Business Process Models

Cited by 2 publications

References 27 publications

Formal verification of BPMN diagrams in Integrated Model of Distributed Systems (IMDS)

Formal verification of BPMN diagrams in Integrated Model of Distributed Systems (IMDS)

Towards business identification modeling:A Taobao Case Study (S)

Contact Info

Product

Resources

About