Test case generation from BPMN models for automated testing of Web-based BPM applications

Assessing business process models: a literature review on techniques for BPMN testing and formal verification

“…The techniques analyzed throughout the review prompted the creation of a simple classification scheme for types of functional BPT, as follows. Black/gray-box testing: used to check if the process meets the necessary functional requirements through comparison of obtained outputs to expected outputs (de Moura et al. , 2017).…”

“…Black/gray-box testing: used to check if the process meets the necessary functional requirements through comparison of obtained outputs to expected outputs (de Moura et al. , 2017).…”

“…This taxonomy covers four distinct types of approaches, corresponding to Groups 1–4. Group 1: The variety of techniques presented for BPMN model testing allows a potential user to choose the most appropriate approach considering the desired coverage criteria, BPMN elements to support and awareness of test data. The existence of approaches that do not make use of intermediate models (see de Moura et al. , 2017; Paiva et al.…”

“…Additionally, as a result of Business Process Management (BPM) (Dumas et al, 2018) methodologies being used in distinct domains, such as Process-Driven Application creation (Schneid et al, 2021), document management (Link Consulting, 2016) and model-driven Web service development (Yuan et al, 2008), the need for robust and effective methods for assessing business process models has risen significantly. Through the application of testing and formal verification methods, organizations can build up their confidence in the designed processes and ensure that business rules and requirements are aligned while minimizing human effort (de Moura et al, 2017). Insights provided by process assessment activities may also assist in expediting process redesign, which "despite all automation efforts,.…”

Models for recognizing situations and errors in implementation of business operations at a robotic organizational technical system

“…Àíàëèç ïîñëåäíèõ èññëåäîâàíèé è ïóáëèêàöèé  ðàáîòàõ [3,4] îáñóaeäàåòñÿ ñêâîçíàÿ àâòî-ìàòè÷åñêàÿ ïðîâåðêà áèçíåñ-ïðîöåññîâ, êîòîðàÿ ìîaeåò áûòü ñëîaeíîé çàäà÷åé, íî âàaeíûì ñïîñîáîì ïðîâåðêè ïðàâèëüíîñòè ðàáîòû áèçíåñïðàâèë, âûÿâëåíèÿ è óñòðàíåíèÿ ïðîáëåì â êðàò-÷àéøèå âîçìîaeíûå ñðîêè. Àâòîðû îïèñûâàþò âîçìîaeíîñòè èçâëå÷åíèÿ áèçíåñ-ïðàâèë ïðè ïîìîùè BPMN -ñòàíäàðòà ìîäåëèðîâàíèÿ áèçíåñ-ïðîöåññîâ, êîòîðûé ïðåäîñòàâëÿåò ãðàôè-÷åñêóþ íîòàöèþ äëÿ îïðåäåëåíèÿ áèçíåñ-ïðî-öåññîâ â äèàãðàììå áèçíåñ-ïðîöåññîâ (BPD), îñíîâàííóþ íà ìåòîäå ïîñëåäîâàòåëüíîãî ïðåäñòàâëåíèÿ.…”