摘要
描述了系统需求元模型的概念体系,提出了系统需求元模型的内容,描述了系统需求定义与分析的流程,最后采用了一种层次描述法与Petri网描述法相结合的形式化描述方法对系统需求的结果进行描述。
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.
出处
《武汉大学学报(信息科学版)》
EI
CSCD
北大核心
2005年第3期230-233,共4页
Geomatics and Information Science of Wuhan University
基金
国家863计划资助项目(2002AA135340)
关键词
系统需求元模型
概念模型
层次描述法
system requirement meta-model
conceptual model
hierarchy describing method