基于行为及其可信扩展模型的可信服务组合方法研究

通过有效合成已有软件服务形成新的软件服务已经开始成为构造软件的一种新方式，由于服务环境具有分布、异构、动态变化等特点，这要求面向服务组合的软件构建方法更加关注组合后服务的可信性，即如何保证合成后的软件服务行为是与预期相符且可动态调控的。本项目从软件行为出发，紧扣可信软件的核心定义，提出服务行为及其可信扩展模型，并研究基于行为模型的可信服务组合原理与方法，实现对组合服务的行为及可信性进行建模、校验、检测和控制。本项目将研究基于Policy的基本服务的可信性表达、验证与检测；建立组合服务行为与可信行为扩展模型；研究对组合服务实现静、动态行为可信性校验、检测和调控的方法。并最终为实现可信的服务组合提供一套理论、方法与工具。