基于邏輯模型的過程仿真系統(tǒng)研究
2005-01-01 00:00:00劉洪濤李磊
計算技術(shù)與自動化 2005年2期
摘 要：企業(yè)的業(yè)務(wù)流程是非常復(fù)雜的，在為企業(yè)設(shè)計與流程相關(guān)的軟件的失敗率很高，原因在于所設(shè)計的軟件處理的流程與企業(yè)實際運行的流程不相符合。針對該問題，本丈采用一階邏輯形式化的描述了一個過程仿真系統(tǒng)模型，并基于此模型設(shè)計過程仿真系統(tǒng)，以用于檢驗所仿真的流程是否與實際流程相符合。
關(guān)鍵詞：企業(yè)流程；邏輯模型；過程仿真系統(tǒng)
中圖分類號：TP18
文獻標識碼：A
