管理工程学报
管理工程學報
관리공정학보
JOURNAL OF INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT
2001年
1期
40-43
,共4页
实时信息系统%需求分析%动态建模%有限状态机
實時信息繫統%需求分析%動態建模%有限狀態機
실시신식계통%수구분석%동태건모%유한상태궤
实时信息系统是自动化生产及控制系统中对生产过程及作业信息进行实时管理的一类系统,它通常具有动态性、实时性等特点,保证其功能顺利实现的一个重要途径是提高软件需求分析的质量.本文以作者亲自开发的铁路编组站管理信息系统为例,提出了一种运用有限状态机(FSM)理论对实时信息系统需求进行动态建模和分析的方法,它基于系统本质特征,可以保证需求分析和定义的完备性、一致性和无二义性,同时还便于向系统设计的过渡和进行系统测试.文章最后给出了确定系统状态和识别事件的途径.
實時信息繫統是自動化生產及控製繫統中對生產過程及作業信息進行實時管理的一類繫統,它通常具有動態性、實時性等特點,保證其功能順利實現的一箇重要途徑是提高軟件需求分析的質量.本文以作者親自開髮的鐵路編組站管理信息繫統為例,提齣瞭一種運用有限狀態機(FSM)理論對實時信息繫統需求進行動態建模和分析的方法,它基于繫統本質特徵,可以保證需求分析和定義的完備性、一緻性和無二義性,同時還便于嚮繫統設計的過渡和進行繫統測試.文章最後給齣瞭確定繫統狀態和識彆事件的途徑.
실시신식계통시자동화생산급공제계통중대생산과정급작업신식진행실시관리적일류계통,타통상구유동태성、실시성등특점,보증기공능순리실현적일개중요도경시제고연건수구분석적질량.본문이작자친자개발적철로편조참관리신식계통위례,제출료일충운용유한상태궤(FSM)이론대실시신식계통수구진행동태건모화분석적방법,타기우계통본질특정,가이보증수구분석화정의적완비성、일치성화무이의성,동시환편우향계통설계적과도화진행계통측시.문장최후급출료학정계통상태화식별사건적도경.
