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

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