检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:张国生[1]
出 处:《微电子学与计算机》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[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.30