%0 Journal Article %T 工作流理论中系统需求模型及其形式化描述 %A 纪晓东 %A 边馥苓 %J 武汉大学学报(信息科学版) %D 2005 %X ?描述了系统需求元模型的概念体系,提出了系统需求元模型的内容,描述了系统需求定义与分析的流程,最后采用了一种层次描述法与petri网描述法相结合的形式化描述方法对系统需求的结果进行描述。 %K 系统需求元模型 %K 概念模型 %K 层次描述法 %U http://ch.whu.edu.cn/CN/abstract/abstract2140.shtml