中文摘要：

用反射机制为软件系统需求工程过程演化建模,将需求工程过程的开发活动作为反射系统的基层,实现软件系统的功能需求,将软件系统的非功能需求作为反射系统的元层,对需求工程过程的开发活动进行调节、控制,并将非功能需求的性质反射到功能需求.定义了有色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.