EFSM Modeling and Implementation of Marine Material Auto-booking System
Zhu Xue · Jisuanji gongcheng · 2003
Autobooking system is a kind of automatic business processing system,which is characterized by complicated control conditions and state changes.And system modeling without ambiguity is considered to be one of the key factors for implementing system.This paper proposes a method to modeling and implementing autobooking process based on Extended Finite State Machine (EFSM).The characteristics of the marine logistics autobooking system are discussed,and EFSM are introduced.Furthermore,state and transfer,graphic element,semantics and modeltoalgorithm mapping of this modeling method are presented.Finally,a marine logistics autobooking system is modeled by applying this formal modeling technology.The designing methodology presented in this paper can be applied to the building of similar electronic request-acknowledgement applications.