反射式需求工程过程演化建模  

Reflecting Requirements Engineering Processes Evolution Modeling

在线阅读下载全文

作  者:张国生[1] 

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

出  处:《微电子学与计算机》2012年第7期154-157,共4页Microelectronics & Computer

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

摘  要:用反射机制为软件系统需求工程过程演化建模,将需求工程过程的开发活动作为反射系统的基层,实现软件系统的功能需求,将软件系统的非功能需求作为反射系统的元层,对需求工程过程的开发活动进行调节、控制,并将非功能需求的性质反射到功能需求.定义了有色Petri网及其范畴,并用有色Petri网范畴描述软件系统非功能需求性质的模拟、保持和反射机制;用有色Petri网建立反射式需求工程过程演化形式化模型,模拟了软件系统需求工程过程中功能需求和非功能需求的迭代、增量、演化,为软件系统需求工程过程演化建模提出了一种新的方法.In this paper,reflecting mechanism is used to model for software system requirements engineering processes.Development activities of requirements engineering processes set as base level of reflecting system complete functional requirements of software system.Nonfunctional requirements of software system set as meta level of reflecting system adjust and control development activities of requirements engineering processes.Meanwhile,the properties of nonfunctional requirements are reflected to functional requirements.The CPN and its category are defined in this paper.Simulation,preservation and reflection mechanism of nonfunctional requirements properties of the software system are stated with CPN category.Reflecting requirements engineering processes evolution formal model is created by CPN.The model simulates iteration,increment and evolution of functional and nonfunctional requirements in the software system requirements engineering processes.It presents a new approach for software system requirements engineering processes modeling.

关 键 词:反射 需求工程过程 演化 有色PETRI网 范畴 功能需求 

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

 

参考文献:

正在载入数据...

 

二级参考文献:

正在载入数据...

 

耦合文献:

正在载入数据...

 

引证文献:

正在载入数据...

 

二级引证文献:

正在载入数据...

 

同被引文献:

正在载入数据...

 

相关期刊文献:

正在载入数据...

相关的主题
相关的作者对象
相关的机构对象