面向服务集成体系结构层次化设计与可执行建模

Service-oriented System of Systems (SoS) architecture is an application of service-oriented ideas in design of the SoS architecture, which is a new way of large scare SoS integrated based on service components. The project will focus on how the top-level requirements description of the SoS is mapped to a separate, autonomous, heterogeneous, open and loosely coupled service components via a hierarchical way. Supplemented by the transformation from the static models to executable models to carry out dynamic simulation and validation, we can form an integrated feedback loop as "static view of the design - executable modeling - validation supported by dynamic behavior" to achieve structural flexibility, dynamic behavior predictability, integration agility as well as facilitate service components to be discoverable, reusable and interoperable. Expected achievements follows: First, to establish a hierarchical service-oriented SoS architecture design framework and methodology; Furthermore, to build the algorithm to carry out the automatic transformation from the static models to executable models based on the idea of meta-model mapping.; Finally, the method to validate the executable models by analysis of the dynamic behavior contained in their hierarchical state space.

将面向服务思想应用于集成体系结构设计与建模，探索一种新的基于服务组件的大型复杂系统层次化集成方式。基于层次化思想，研究如何将集成体系顶层使命能力需求映射到独立、自治、异构、开放和松耦合的服务组件层面实现，并辅以层次化的可执行建模与验证方法，形成一个“静态视图设计—可执行建模—动态行为验证”一体化反馈回路，实现集成体系的结构柔性、服务组件可发现和可复用性、动态行为可预见性以及集成敏捷性。预期取得三方面突破：首先，建立一套支持面向服务集成体系结构层次化设计的模型框架及方法；进而，给出基于元模型映射的可执行建模具体流程及算法；最后，导出基于层次化状态空间的可执行模型验证的形式化定义及具体实施步骤。

本项目研究将面向服务思想应用于集成体系结构设计与建模，探索出一种新的基于服务组件的大型复杂系统层次化集成方式，研究初步形成了一套基于层次化思想的体系结构设计与可执行建模方法体系。项目执行期间完成的工作包括：（1）基于层次化思想，提出了集成体系层与组件系统层“分层”、面向服务与结构化方法“融合”的集成体系结构分层融合、多阶段迭代设计方法；（2）区分本体元模型和语义元模型，提出了基于本体元模型匹配的“三准则”，以及基于语义元模型映射的HICPN可执行建模方法；（3）提出了基于层次化思想的可执行模型验证方法，并给出验证定理和证明过程。. 作为集成体系结构工程中的基础性工作，本项目为学术研究及工程实践中进一步探索集成体系结构领域更深层次问题提供了有益的借鉴。实现集成体系的结构柔性、服务组件可发现和可复用性、动态行为可预见性以及集成敏捷性还有很长的路要走，我们会继续在这个研究方向上砥砺前行。