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

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

项目编号： No.61403255

项目类型： 青年科学基金项目

立项/批准年度： 2014

项目学科： 自动化技术、计算机技术

项目作者： 倪枫

作者单位： 上海理工大学

项目金额： 23万元

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

中文关键词： 面向服务设计；集成体系结构；着色petri网；可执行建模；模型验证

英文摘要： 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

英文关键词： service-oriented design；system of systems architecture；colored petri net；executable modeling；model validation