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

维普资讯 第23卷第1期 计算机应用 Vo1．23．No．1 2003年 1月 ComputerApplications Jan．，2003 文章编号：1001—9081(2003)01—0066—04 海运物流 自动订舱系统的EFSM建模与实现 朱学俊，段成华 (中国科技大学 研究生院，北京 100039) 摘 要：自动订舱系统是一类控制条件复杂的状态变化 自动处理系统，精确的系统建模是系统成 功的关键 。文中首先介绍了海运物流 自动订舱系统的特征及相关建模技术，提出了一种扩展有限状 态机 (EFSM )的建模方法，分析了该建模技术的方法、图素、语义以及模型到算法的一种映射关系。 最后利用这种形式化建模技术实现了海运物流 自动定舱系统，给出的系统建模和实现方法可以运用 到各类电子化 申请／答复的系统设计 中。 关键词：物流；自动订舱；扩展有限状态机；系统建模 中图分类号：TP311．5 文献标识码 ：A EFSM M odelingand ImplementationofM arine MaterialAuto-bookingSystem ZHUXue-jun，DUANCheng—hua rGraduateSchool,UniversityofScienceandTechnologyofChina，Beng100039，China) Abstract：Auto—bookingsystem isflkindofautomaticbusinessprocessingsystem，whichischaracterizedbycomplicated controlconditionsandstatechanges．And system modelingwithoutambiguityisconsideredtobeoneofthekeyfactorsfor implementingsystem．Thispaperproposesflmethod tomodelingandimplementingauto—bookingprocessbasedonExtended FiniteStateMachine(EFSM)．Thecharacteristicsofthemarinelogisticsauto—bookingsystemraediscussed，nadEFSMare introduced．Furthermore，stateand trnasfer，6aphic element，semna tics nad model—to—algorithm mapping ofthismodeling method atepresented．Finally，flmarinelogisticsauto—bookingsystem ismodeledbyapplyingthisformalmodelingtechnology． Th edesigning methodoloyg presented in this paper Cna be applied to the building of similra electronic request— acknowledgementapplications． Keywords：logistics；Auto—booking；EFSM；systemmodeling 中的状态和活动的顺序，因此适合于描述订舱过程这类控制 1 引言