IEM(Integrated Enterprise Modeling)企業(yè)建模模型正確性檢測(cè).pdf

1、Integrated Enterprise Modeling(IEM)是德國(guó)弗朗霍夫研究所開發(fā)的一種企業(yè)建模的方法，主要用于各類企業(yè)的企業(yè)生產(chǎn)流程描述，企業(yè)重組過程描述等，如，生產(chǎn)型企業(yè)，服務(wù)型企業(yè)等。同時(shí)，弗朗霍夫研究所還自行開發(fā)了基于IEM理論的建模工具——MO2GO NG。
　　針對(duì)人工方法檢查MO2GO NG模型正確性耗時(shí)長(zhǎng)、正確性和完整性難以保障的問題，本文根據(jù)IEM理論自身的特點(diǎn)提出了一種MO2GO NG模型正確性檢查

2、方法，以及基于此方法開發(fā)的正確性檢查的軟件工具。首先，根據(jù)IEM原理對(duì)模型元素的特點(diǎn)以及各元素之間的關(guān)聯(lián)的約束，對(duì)MO2GO NG模型的正確性問題進(jìn)行分類。隨后，根據(jù)實(shí)際應(yīng)用中遇到的問題，提出與實(shí)際問題相對(duì)應(yīng)的正確性問題以及定義此類問題的方法。最后，借鑒現(xiàn)有的相關(guān)的理論，提出針對(duì)各類 IEM模型正確性問題的解決方案。本文中提到的解決方案，包含了數(shù)據(jù)結(jié)構(gòu)中的鏈表原理，圖論中的有向圖的遍歷方法，圖的生成樹理論，圖的連通性理論，有限自動(dòng)機(jī)原理