海运物流自动订舱系统的EFSM建模与实现

EFSM Modeling and Implementation of Marine Material Auto-booking System

自动订舱系统是一类控制条件复杂的状态变化自动处理系统,精确的系统建模是系统成功的关键。文中首先介绍了海运物流自动订舱系统的特征及相关建模技术,提出了一种扩展有限状态机(EFSM)的建模方法,分析了该建模技术的方法、图素、语义以及模型到算法的一种映射关系。最后利用这种形式化建模技术实现了海运物流自动定舱系统,给出的系统建模和实现方法可以运用到各类电子化申请/答复的系统设计中。

Autobooking 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 autobooking process based on Extended Finite State Machine (EFSM).The characteristics of the marine logistics autobooking system are discussed,and EFSM are introduced.Furthermore,state and transfer,graphic element,semantics and modeltoalgorithm mapping of this modeling method are presented.Finally,a marine logistics autobooking 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. 