工作流理论中系统需求模型及其形式化描述

System Requirement Models of Workflow and Their Formal Descriptions

摘要: 描述了系统需求元模型的概念体系,提出了系统需求元模型的内容,描述了系统需求定义与分析的流程,最后采用了一种层次描述法与Petri网描述法相结合的形式化描述方法对系统需求的结果进行描述。

Abstract: This paper puts forward a system requirement meta-model to analyze system requirement. Based on the model, the method of system requirement analysis and the formal description method for describing the result of system requirement proposed are presented.