需求变更\系统演化环境下的特征化需求模型的代码综合方法

For complex software systems with the perspective of the automation of system development, this project integrates the thought of the code synthesis, to research how to get the architecture code of the target system from the characteristization requirement model and to research the mutual influence between requirement change and system evolution and how to track them.The meaning of this work is that: firstly, whether the architecture code（target system）from code synthesis is standard or not is the key for determining that if the realization of the code in the later work can ensure orderly and completely. Secondly, the software system is coded with a constraint based on real world is also a proved effective way which can lower the risk of developing. In addition, taking into account the mutability requirements and the inherent condition of system evolution, in order to guarantee correctness and completeness of software development，the research on the mutual influence and change tracking between is necessary. .Therefore, this project focuses on the related content by dividing the works to be two parts:①under the precondition of the requirement model based on the software behavior, analysis requirement model and its characteristics. And then synthesis the architecture code (target system)from characteristization requirement model; ②considering the characteristics that the requirement model is easy to change, research on how to trace the changes of the requirement, and research the influence of changes on system evolution of the target system.

针对复杂的软件系统，从系统开发的角度，结合代码综合的思想，研究如何从特征化需求模型出发来得到目标系统框架代码并研究需求变更\系统演化之间的相互影响和追踪机制。这个研究的意义在于：首先，代码综合得到的框架代码（目标系统）是否规范是后期工作当中代码的实现能否保证有序和完备的关键，其次以一种基于现实世界的约束来对系统进行设计也是一种被证明可以降低开发风险的有效方式。另外，考虑到需求的易变性和系统演化的内在要求，对二者之间的相互影响和追踪进行研究可以保障软件开发的正确性和完备性。因此，本课题主要研究内容为：①在基于软件行为的需求模型的前提下，分析需求模型并将其特征化。结合代码综合的思想，综合特征化需求模型得到目标系统框架代码；②考虑到需求模型易变更的特性，研究如何追踪需求的变更，并研究这种变更对目标系统的演化影响。

目前的软件开发工作还有很多需要人工去完成，本项目从软件开发的角度，结合模型驱动的思想，研究如何从需求模型出发来得到目标软件的体系结构。这个研究的意义在于：首先软件的体系结构是否规范是后期工作当中代码的实现能否保证有序和完备的关键，其次以一种现实世界的约束来对软件进行编码也是一种被证明可以降低开发风险的有效方式。因此，本项目主要研究内容为：①在基于软件行为的需求模型的前提下，抽取模型内容并转换为软件体系结构当中的结构元素来获得目标软件的体系结构；②考虑到需求模型易变更的特性，研究如何追踪需求的变更，并研究这种变更对软件体系结构的影响。经过多年研究，本项目从理论和实践上解决了如下问题：（1）需求模型到软件体系结构的转换方法；（2）BDL模型的结构和软件体系结构的转换一致性证明；（3）需求模型变更的追踪机制；