纪晓东, 边馥苓. 工作流理论中系统需求模型及其形式化描述[J]. 武汉大学学报 ( 信息科学版), 2005, 30(3): 230-233.
引用本文: 纪晓东, 边馥苓. 工作流理论中系统需求模型及其形式化描述[J]. 武汉大学学报 ( 信息科学版), 2005, 30(3): 230-233.
shu
JI Xiaodong, BIAN Fuling. System Requirement Models of Workflow and Their Formal Descriptions[J]. Geomatics and Information Science of Wuhan University, 2005, 30(3): 230-233.
Citation: JI Xiaodong, BIAN Fuling. System Requirement Models of Workflow and Their Formal Descriptions[J]. Geomatics and Information Science of Wuhan University, 2005, 30(3): 230-233.
shu

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

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.

     

    • HTML全文
    • 参考文献(0)
    • 相关文章
    • 施引文献
  • 资源附件(0)

/

返回文章
返回