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

项目名称： 跨机构服务组合的应用一致性研究

项目编号： No.60903052

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

立项/批准年度： 2010

项目学科： 武器工业

项目作者： 叶春杨

作者单位： 中国科学院软件研究所

项目金额： 19万元

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

中文关键词： 业务流程；服务组合；应用一致性；异常处理；进程代数

英文摘要：

英文关键词： Service Composition；Application Consistency；Exception Handling；Process Algebra；