基于层次着色Petri网的需求工程过程框架  

HIERARCHICAL COLORED PETRI NET BASED REQUIREMENT ENGINEERING PROCESS FRAMEWORK

作　　者：张国生[1] 

机构地区：[1]云南大学信息学院,云南昆明650091

出　　处：《计算机应用与软件》2011年第8期17-19,共3页Computer Applications and Software

基　　金：国家自然科学基金项目(60463002);云南大学重点教改项目(WX070142)

摘　　要：提出一种基于层次着色Petri网的需求工程过程框架,对软件需求工程过程、需求活动、需求任务及其功能进行了形式化定义,为软件需求工程实现了一个清晰、完整、无二义性的精确描述框架,并为最终产生高质量的软件需求规格说明奠定了坚实的基础,也为软件需求的精化、规约、复用、演化以及需求管理、需求质量控制、度量等提供了严格数学依据。A hierarchical colored Petri net based requirement engineering process framework is put forward,which formally defines the engineering processes,requirement activities,requirement tasks and functions of software requirements,implements a clear,full,unambiguous and precise framework description for software requirement engineering,establishes a solid foundation for creating high quality software requirement specifications in the end,and additionally provides strict mathematical guidance for software requirement refinement,specification,reuse and evolution as well as requirement management,requirement quality control,measurement and so on.

关 键 词：层次着色PETRI网 需求工程过程 活动 任务 任务功能 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]