Scholarlink

The agriculture sector is increasingly adopting digital tools to boost efficiency and sustainability. E-agriculture systems, which merge information and communication technologies with agricultural practices, are becoming crucial for modern farming. However, creating commercial e-agriculture applications presents challenges in terms of reliability, scalability, and maintainability. This study examines the use of formal methods (FM) in developing e-agriculture systems, focusing on the object constraint language (OCL) as a modeling tool. The study provides a case study of developing an e-agriculture system using OCL, showing how FM can improve the development process and result in more reliable and maintainable software. FM offer advantages not only for safety-critical systems but also for commercial and business-focused applications, as they can significantly reduce verification, development time, and maintenance costs. OCL-based software requirements specifications (SRS) have been compared with traditional methods (TRs) of specifications, OCL-based SRS significantly reduced 36 days development time, 47% overall cost, and 92% SRS ambiguity. It improved 97% quality of the system. These findings motivate the use of FM.

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

A Formal Approach for Developing Commercial E-Agriculture Application: An OCL Modeling Perspective

  • 章节

  • 发表日期：

    2026年

查看全文
  • Irfan Ahmed,
  • Umm-E-Habiba,
  • Khadija Batool,
  • Jabar Mahmood,
  • Sadia Naseer,
  • Muqadas Fatima

摘要

The agriculture sector is increasingly adopting digital tools to boost efficiency and sustainability. E-agriculture systems, which merge information and communication technologies with agricultural practices, are becoming crucial for modern farming. However, creating commercial e-agriculture applications presents challenges in terms of reliability, scalability, and maintainability. This study examines the use of formal methods (FM) in developing e-agriculture systems, focusing on the object constraint language (OCL) as a modeling tool. The study provides a case study of developing an e-agriculture system using OCL, showing how FM can improve the development process and result in more reliable and maintainable software. FM offer advantages not only for safety-critical systems but also for commercial and business-focused applications, as they can significantly reduce verification, development time, and maintenance costs. OCL-based software requirements specifications (SRS) have been compared with traditional methods (TRs) of specifications, OCL-based SRS significantly reduced 36 days development time, 47% overall cost, and 92% SRS ambiguity. It improved 97% quality of the system. These findings motivate the use of FM.