复杂信息系统功能建模、优化与验证方法

复杂信息系统功能的建模、优化与验证对于系统功能设计、系统集成和业务流程重组具有重要的意义。本项目主要研究复杂信息系统功能建模、优化、分析和验证的基本方法。首先从IDEF0方法入手，研究复杂信息系统功能的形式化描述，并在此基础上对功能模型的分析方法进行研究；根据系统核度概念，提出度量系统功能模型耦合度的指标并以此为基础研究功能模型的优化方法；根据复杂信息系统功能模型可执行验证的需要，对Petri网进行扩展，提出对象Petri网的概念并研究其分析方法；研究IDEF0功能模型到对象Petri网模型的转换方法和算法，以对象Petri网为基础对复杂信息系统功能进行可执行验证。本项目研究从严格的功能形式化描述入手并依赖于可执行模型验证系统的功能，为系统功能的分析和优化提出了一种新的思路，为系统功能分析和功能设计提供了科学的定量化的研究方法。