反射式集成框架的规约描述方法研究

The Research on the Specification of Reflective Integration Architecture

反射式集成框架的规约描述方法,主要研究在分布式实时应用领域基于构件的软件开发模式中集成框架的形式化规约描述问题。这种描述方法通过引入反射技术,除了描述集成框架中组成要素的业务逻辑之外,还对各要素的实时性能约束、运行时状态的变化以及可能具有的需求变更等特征进行形式化规约,从而支持软件在需求分析阶段的演化进程,并以指导与实现实时应用软件开发时业务逻辑与系统非功能性特征的关注分离。

The research on the specification of reflective integration architecture is mainly involved in the question of the formalization of the integration architecture of the component based software developing pattern in the distributed realtime application domain. This specification introducs reflection technology to formally describe the business logic of various elements in the integralion architecture, as well as these elements＇ characteristics including timing constraints, changes of state in runtime and possible changes of requirements. Therefore the specification can support software evolution in the requirements analyzing phase, and guide to realize separation of concerns on business logic and non-functional features in developing the real-time application software.