Pengembangan Sistem Backend untuk Deteksi Kesalahan Struktural pada Business Process Model Notation (BPMN) Berbasis Graph Analysis

Jovanka, Tamara (2025) Pengembangan Sistem Backend untuk Deteksi Kesalahan Struktural pada Business Process Model Notation (BPMN) Berbasis Graph Analysis. Project Report. [s.n.], [s.l.]. (Unpublished)

Text 5025221213-Project_Report.pdf - Accepted Version Restricted to Repository staff only Download (1MB) | Request a copy

Abstract

Proyek kerja praktik ini berfokus pada pengembangan BPMN Analysis Backend, yaitu sistem untuk menganalisis kesalahan pada Business Process Model and Notation (BPMN) menggunakan pendekatan graf. Sistem ini dikembangkan untuk mendukung verifikasi otomatis terhadap proses bisnis, terutama untuk mendeteksi anomali seperti deadlock, livelock, dan pelanggaran aturan pemodelan.
Backend dibangun dengan FastAPI menggunakan arsitektur modular untuk pemuatan graf, analisis struktural, serta deteksi deadlock dan livelock. Model BPMN yang dikonversi menjadi graf dan disimpan dalam MongoDB dianalisis menggunakan algoritma seperti Tarjan SCC. Sistem menyediakan endpoint JSON terstruktur dan diuji menggunakan berbagai studi kasus BPMN untuk memastikan ketepatan deteksi kesalahan.
=====================================================================================================================================
This project focuses on the development of a BPMN Analysis Backend, a system designed to analyze errors in Business Process Model and Notation (BPMN) using a graph-based approach. The system was developed to support the automated verification of business processes, specifically to detect anomalies such as deadlocks, livelocks, and modeling rule violations.

The backend is built with FastAPI, utilizing a modular architecture for graph loading, structural analysis, as well as deadlock and livelock detection. The BPMN models, which are converted into graphs and stored in MongoDB, are analyzed using algorithms such as Tarjan's SCC (Strongly Connected Components). The system provides structured JSON endpoints and was tested using various BPMN case studies to ensure the accuracy of error detection.

Item Type:	Monograph (Project Report)
Uncontrolled Keywords:	Business Process Model and Notation (BPMN) Analisis Berbasis Graf Verifikasi Otomatis Deteksi Anomali Deadlock Livelock FastAPI MongoDB Business Process Model and Notation (BPMN) Graph-based Approach Automated Verification Anomaly Detection Deadlock Livelock FastAPI MongoDB
Subjects:	T Technology > T Technology (General) T Technology > T Technology (General) > T58.5 Information technology. IT--Auditing T Technology > T Technology (General) > T58.6 Management information systems T Technology > T Technology (General) > T58.64 Information resources management
Divisions:	Faculty of Intelligent Electrical and Informatics Technology (ELECTICS) > Informatics Engineering > 55201-(S1) Undergraduate Thesis
Depositing User:	Tamara Jovanka
Date Deposited:	10 Jul 2026 15:06
Last Modified:	10 Jul 2026 15:06
URI:	http://repository.its.ac.id/id/eprint/134668

Actions (login required)

View Item