Open AccessImplementation of Structured Object-Oriented Formal Language for Warehouse Management System
Author(s) -
Irfin Afifudi,
Inge Martina
Publication year - 2020
Publication title -
commit (communication and information technology) journal/commit journal
Language(s) - English
Resource type - Journals
eISSN - 2460-7010
pISSN - 1979-2484
DOI - 10.21512/commit.v14i1.5942
Subject(s) - maintainability , computer science , formal methods , software engineering , formal specification , specification language , process (computing) , programming language
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.