跨机构服务组合的应用一致性研究

跨机构的服务组合由于服务的松散耦合和自治特性，使得其应用一致性保证成为这类分布式应用开发的关键性问题。异常处理是一种灵活的错误恢复机制，为跨机构服务组合的错误异常处理提供了一种可能的技术途径。但由于参与跨机构服务组合中的服务都是独立自治，且其自身的异常处理由自己开发，如何组合参与服务的异常处理程序且使得该服务组合的应用一致性能够得到保证成为重要挑战。本项目研究提出一套理论框架和软件工程方法来发现和解决跨机构服务组合中出现的应用不一致问题。具体而言是提出松弛原子相等性和干扰相等性，基于相等关系把服务实现流程投影到相等的公共视图之上，并基于这些相等的公共视图，运用数据流分析、符号执行等程序分析方法，与异常处理机制紧密结合，提出一种供软件开发人员循序渐进发现和解决服务组合应用不一致性的方法。在该理论框架基础之上开发相应的方法支撑工具，支持跨机构服务组合应用的有效和正确开发。

跨机构的服务组合由于服务的松散耦合和自治特性,使得其应用一致性保证成为这类分布式应用开发的关键性问题。本课题研究提出一套理论框架和软件工程方法来发现和解决跨机构服务组合中出现的应用不一致问题。本课题完成预期计划的研究目标，取得如下研究成果：1）提出松弛原子相等性和干扰相等性,基于相等关系把服务实现流程投影到相等的公共视图之上,并基于这些相等的公共视图,运用数据流分析、符号执行等程序分析方法,与异常处理机制紧密结合,提出一种供软件开发人员循序渐进发现和解决服务组合应用不一致性的方法。2）提出一种混合上下文不一致性检测和修复方法，结合底层上下文不一致型检测方法与应用层错误恢复策略，提高上下文不一致性检测准确性和减少错误回复代价。3）提出基于面向方面的方式对服务组合的业务流程进行动态监控，有效发现和解决服务组合运行过程中发生的异常和不一致行为。