IEM(Integrated Enterprise Modeling)企业建模模型正确性检测

摘要

Integrated Enterprise Modeling(IEM)是德国弗朗霍夫研究所开发的一种企业建模的方法，主要用于各类企业的企业生产流程描述，企业重组过程描述等，如，生产型企业，服务型企业等。同时，弗朗霍夫研究所还自行开发了基于IEM理论的建模工具——MO2GO NG。
　　针对人工方法检查MO2GO NG模型正确性耗时长、正确性和完整性难以保障的问题，本文根据IEM理论自身的特点提出了一种MO2GO NG模型正确性检查方法，以及基于此方法开发的正确性检查的软件工具。首先，根据IEM原理对模型元素的特点以及各元素之间的关联的约束，对MO2GO NG模型的正确性问题进行分类。随后，根据实际应用中遇到的问题，提出与实际问题相对应的正确性问题以及定义此类问题的方法。最后，借鉴现有的相关的理论，提出针对各类 IEM模型正确性问题的解决方案。本文中提到的解决方案，包含了数据结构中的链表原理，图论中的有向图的遍历方法，图的生成树理论，图的连通性理论，有限自动机原理，以及程序语言的编译理论等。
　　基于上述的解决方案，本文在最后利用Java技术，XML和DOM技术实现了 IEM模型正确性问题检查的软件工具。根据该软件在实际项目中的应用结果表明，本文提出的解决方案能够有效并且准确地定位模型中存在的不一致问题，并且提供这些问题的详细信息，同时，用户能够通过用户界面上的错误信息快速定位到实际模型中出错的模型元素，并做出相应的处理。

目录

摘 要

Abstract

Chapter 1 Introduction

1.1 Background

1.2 Related work

1.2.1 The elementary knowledge of IEM

1.2.2 UML

1.2.3 Petri NET

1.2.4 XML Schema

1.2.5 Ontology

1.2.6 Fundamentals of Compiling

1.2.7 The other inconsistency checking approaches

Chapter 2 IEM Model Inconsistency Analysis

What are the IEM Model inconsistencies

2.2 Research schedule and Implement approach

Chapter 3 Evaluation Application Design

IEM Model information abstraction

3.2 Traversal approach for IEM model

3.3 Approach for evaluation process

3.4 Customize rule definition

Chapter 4 Application Implementation

Class diagram of the application

4.2 Sequence diagram of application

Chapter 5 Case study of IEM model correctness evaluation tool

5.1 Case study of evaluation process

Case study of Customize rule definition

Conclusion

References

详细摘要

哈尔滨工业大学硕士学位论文原创性声明

Acknowledgement

Resume