Open AccessAn Automated Framework for BPMN Model Verification Achieving Branch Coverage
Author(s) -
Cha Dechsupa,
Wiwat Vatanawood,
Arthit Thongtak
Publication year - 2021
Publication title -
warasan witsawakammasat, chulalongkorn university
Language(s) - Uncategorized
Resource type - Journals
SCImago Journal Rank - 0.246
H-Index - 20
ISSN - 0125-8281
DOI - 10.4186/ej.2021.25.2.135
Subject(s) - business process model and notation , computer science , xpdl , systems engineering , software engineering , database , business process , business process modeling , engineering , operations management , workflow , work in process , workflow engine