Scholarlink

<p>In the 21st century, digital technologies have been identified among the significant trials for business. With the integration of these technologies, agriculture is transforming into a greater environmental sustainability, a shift known as Smart Agriculture (SA). Incorporating SA into business processes (BPs) has revolutionized the agricultural industry. However, this integration is not a trivial task regarding the heterogeneity of the SA and BP concepts. To address this gap, we set forward a Smart Agriculture-aware Business Process Meta-Model (SA-aware BP2M) to embed the SA concepts within the BP. The proposed meta-model considers, on the one hand, a set of standardized concepts and, on the other hand, the top–down methodology. Building upon the developed meta-model, we introduce a robust approach for verifying process behaviors through a model-checking technique. The suggested verification approach addresses the process structure to ensure its accurate modeling. This verification leverages a set of anti-patterns that capture the common modeling issues. Moreover, our elaborated verification approach focuses on assessing SA constraints to ensure the agriculture system’s efficiency and sustainability. As a proof of the concept, we developed a new Business Process Model and Notation plug-in (BPMN plug-in) that can be used to model SA-aware BPs. To assess the goodness of fit as well as the reliability of our proposal, we first used the Bunge Wand-Weber (BWW) ontology to demonstrate the completeness and clarity of the suggested metamodel. Second, we provided a domain expert-based evaluation. Finally, we considered a case study in the SA-aware BP, where we checked the process behaviors using the DEVS-Suite simulation tool. The results revealed the effectiveness and feasibility of our approach in identifying violations.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Towards a Novel Approach for Modeling and Checking a Smart Agriculture-Aware Business Process

  • 期刊论文

  • 发表日期：

    2025年5月3日

查看全文
  • Najla Fattouch,
  • Imen Ben Lahmar,
  • Khouloud Boukadi

摘要

In the 21st century, digital technologies have been identified among the significant trials for business. With the integration of these technologies, agriculture is transforming into a greater environmental sustainability, a shift known as Smart Agriculture (SA). Incorporating SA into business processes (BPs) has revolutionized the agricultural industry. However, this integration is not a trivial task regarding the heterogeneity of the SA and BP concepts. To address this gap, we set forward a Smart Agriculture-aware Business Process Meta-Model (SA-aware BP2M) to embed the SA concepts within the BP. The proposed meta-model considers, on the one hand, a set of standardized concepts and, on the other hand, the top–down methodology. Building upon the developed meta-model, we introduce a robust approach for verifying process behaviors through a model-checking technique. The suggested verification approach addresses the process structure to ensure its accurate modeling. This verification leverages a set of anti-patterns that capture the common modeling issues. Moreover, our elaborated verification approach focuses on assessing SA constraints to ensure the agriculture system’s efficiency and sustainability. As a proof of the concept, we developed a new Business Process Model and Notation plug-in (BPMN plug-in) that can be used to model SA-aware BPs. To assess the goodness of fit as well as the reliability of our proposal, we first used the Bunge Wand-Weber (BWW) ontology to demonstrate the completeness and clarity of the suggested metamodel. Second, we provided a domain expert-based evaluation. Finally, we considered a case study in the SA-aware BP, where we checked the process behaviors using the DEVS-Suite simulation tool. The results revealed the effectiveness and feasibility of our approach in identifying violations.