Implementation of Structured Object-Oriented Formal Language for Warehouse Management System
Designing process is inseparable from software development. Like other software development processes, designing process faces many problems, such as improper and ambiguous specifications. These problems may be overcome by applying formal engineering methods. One of which is Structured Object-Orient...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Bina Nusantara University
2020-05-01
|
| Series: | CommIT Journal |
| Subjects: | |
| Online Access: | https://journal.binus.ac.id/index.php/commit/article/view/5942 |
| _version_ | 1797766773403025408 |
|---|---|
| author | Irfin Afifudi Inge Martina |
| author_facet | Irfin Afifudi Inge Martina |
| author_sort | Irfin Afifudi |
| collection | DOAJ |
| description | Designing process is inseparable from software development. Like other software development processes, designing process faces many problems, such as improper and ambiguous specifications. These problems may be overcome by applying formal engineering methods. One of which is Structured Object-Oriented Formal Language (SOFL). The analysis and formation of the design and implementation of SOFL are carried out as a solution to the problem. The application of SOFL is divided into three parts according to SOFL rules, namely informal specification, semi-formal specification, and formal specification. The design and implementation are measured and tested using rigorous review and maintainability index. This research uses a warehouse management system, a safety-critical system, as a case study. Rigorous analysis shows that SOFL in warehouse management system increases the maintainability index of 56.94%. It means that it is easier to develop. |
| first_indexed | 2024-03-12T20:30:01Z |
| format | Article |
| id | doaj.art-2f5a5cbcb2a1475f97e82d652d2b2857 |
| institution | Directory Open Access Journal |
| issn | 1979-2484 |
| language | English |
| last_indexed | 2024-03-12T20:30:01Z |
| publishDate | 2020-05-01 |
| publisher | Bina Nusantara University |
| record_format | Article |
| series | CommIT Journal |
| spelling | doaj.art-2f5a5cbcb2a1475f97e82d652d2b28572023-08-02T00:10:15ZengBina Nusantara UniversityCommIT Journal1979-24842020-05-011411810.21512/commit.v14i1.59425140Implementation of Structured Object-Oriented Formal Language for Warehouse Management SystemIrfin Afifudi0Inge Martina1Institut Teknologi Harapan BangsaInstitut Teknologi Harapan BangsaDesigning process is inseparable from software development. Like other software development processes, designing process faces many problems, such as improper and ambiguous specifications. These problems may be overcome by applying formal engineering methods. One of which is Structured Object-Oriented Formal Language (SOFL). The analysis and formation of the design and implementation of SOFL are carried out as a solution to the problem. The application of SOFL is divided into three parts according to SOFL rules, namely informal specification, semi-formal specification, and formal specification. The design and implementation are measured and tested using rigorous review and maintainability index. This research uses a warehouse management system, a safety-critical system, as a case study. Rigorous analysis shows that SOFL in warehouse management system increases the maintainability index of 56.94%. It means that it is easier to develop.https://journal.binus.ac.id/index.php/commit/article/view/5942software engineeringsafety-criticalstructured object-oriented formal languageobject- based programmingsoftware quality |
| spellingShingle | Irfin Afifudi Inge Martina Implementation of Structured Object-Oriented Formal Language for Warehouse Management System CommIT Journal software engineering safety-critical structured object-oriented formal language object- based programming software quality |
| title | Implementation of Structured Object-Oriented Formal Language for Warehouse Management System |
| title_full | Implementation of Structured Object-Oriented Formal Language for Warehouse Management System |
| title_fullStr | Implementation of Structured Object-Oriented Formal Language for Warehouse Management System |
| title_full_unstemmed | Implementation of Structured Object-Oriented Formal Language for Warehouse Management System |
| title_short | Implementation of Structured Object-Oriented Formal Language for Warehouse Management System |
| title_sort | implementation of structured object oriented formal language for warehouse management system |
| topic | software engineering safety-critical structured object-oriented formal language object- based programming software quality |
| url | https://journal.binus.ac.id/index.php/commit/article/view/5942 |
| work_keys_str_mv | AT irfinafifudi implementationofstructuredobjectorientedformallanguageforwarehousemanagementsystem AT ingemartina implementationofstructuredobjectorientedformallanguageforwarehousemanagementsystem |