scholarly journals Implementation of Structured Object-Oriented Formal Language for Warehouse Management System

2020 ◽  
Vol 14 (1) ◽  
pp. 1
Author(s):  
Irfin Afifudi ◽  
Inge Martina
Keyword(s):  
Software Development ◽  
Formal Specification ◽  
Management System ◽  
Formal Language ◽  
Object Oriented ◽  
Warehouse Management ◽  
Critical System ◽  
Design And Implementation ◽  
Development Processes ◽  
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-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.

The Design and Implementation of Smart Warehouse Management System (SWMS) Based on ZigBee

2013 ◽  
Vol 416-417 ◽  
pp. 1461-1465 ◽  
Author(s):  
Zhi Wen Hu ◽  
Xiao Jin Sun
Keyword(s):  
Supply Chain ◽  
Management System ◽  
Warehouse Management ◽  
Actual System ◽  
Practical Situation ◽  
Chain Management ◽  
Overall Design ◽  
Design And Implementation ◽  
Basic Functions ◽  
Warehouse Management System

With the increasing types of goods and materials as well as the frequency of in-out stock, warehouse, as the key link of supply chain management, is mainly responsible for managing goods and materials efficiently in a unified manner. In order to realize completely automatic and wireless management, this paper introduces ZigBee into warehouse management according to the practical situation. It gives a brief account of the basic functions of smart warehouse management system and makes an overall design of the SWMS based on ZigBee. It also verifies its feasibility by testing the performance of the actual system.

The Design of Cigarette WMS Based on RFID

2013 ◽  
Vol 712-715 ◽  
pp. 2991-2994
Author(s):  
Min Liu ◽  
Yi Hua Feng ◽  
Geng Lei Zhong ◽  
Guang Jie Du
Keyword(s):  
Software Development ◽  
Management System ◽  
Computer Network ◽  
Rfid Technology ◽  
Warehouse Management ◽  
Function Modules ◽  
Warehouse Management System ◽  
Network Software

This paper proposes a design of cigarette WSM (Warehouse Management System) which is based on RFID by analyzing the workflow of the system. The architecture and some function modules of the cigarette warehouse management which are based on computer network, Software development and RFID technology are discussed.

Sign in / Sign up

Export Citation Format

Share Document