Model accuracy in enterprise architecture: validation and verification of business process via Petri Nets and WoPeD

Ridwan, M Luthfi and Nur Fajrillah, Asti Amaliah and Lubis, Muharman and Hendrawan, Fadhil Rozi and Handayani, Dini Oktarina Dwi (2026) Model accuracy in enterprise architecture: validation and verification of business process via Petri Nets and WoPeD. In: 10th International Conference on Information and Communication Technology for the Muslim World, ICT4M 2025, 26-27 November 2025, Kuala Lumpur.

	PDF - Published Version Restricted to Repository staff only Download (1MB) | Request a copy
Preview	PDF - Supplemental Material Download (138kB) | Preview

Abstract

Enterprise Architecture (EA) is a strategic approach aimed at aligning business functions and information systems/information technology within an organization. Despite its significant potential for improving business process efficiency, EA implementation often faces various challenges, including the failure of integration with Business Process Management (BPM). BPM, as a crucial component of Business Architecture, often encounters obstacles, particularly in the business process modeling phase. Standard modeling languages such as BPMN are commonly used, but do not provide explicit mechanisms for model validity analysis or verification. As a solution, a Petri Nets-based approach was introduced because it provides a more formal method for validating and verifying business processes through analysis of model notation and behavior (soundness). In this study, validation and verification were conducted using the WoPeD tool, with the object of study being the EA design of a regional company engaged in natural resource management, particularly in logistics and general functions. The results obtained indicate that the validated and verified business process model can support the improvement of the overall success of Business Architecture design

Item Type:	Proceeding Paper (Other)
Uncontrolled Keywords:	business process, BPMN, Petri Nets, validation, verification, Enterprise Architecture, Business Architecture
Subjects:	Q Science > QA Mathematics > QA76 Computer software
Kulliyyahs/Centres/Divisions/Institutes (Can select more than one option. Press CONTROL button):	Kulliyyah of Information and Communication Technology > Department of Computer Science Kulliyyah of Information and Communication Technology > Department of Computer Science Kulliyyah of Information and Communication Technology Kulliyyah of Information and Communication Technology
Depositing User:	Dr Dini Handayani
Date Deposited:	06 May 2026 10:54
Last Modified:	06 May 2026 10:54
Queue Number:	2026-04-Q3058
URI:	http://irep.iium.edu.my/id/eprint/128637

Actions (login required)

View Item