论文部分内容阅读
要实现军事信息系统的合理设计必须进行有效的系统建模。通过分析事件驱动的过程链(EPC)和Petri网的特点,提出两者相结合的建模方法,着重研究了基于EPC的系统过程描述方法,在EPC模型中引入组织描述和数据流描述,并分析了控制流、数据流相结合的结构合理性验证方法。设计实现了系统建模工具,并通过实例介绍建模过程,验证方法的可行性。