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

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

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