|
|||||
|
|
| 正确性保证的组合服务综合问题复杂度研究 | |
| 作者姓名： | 邓婷 怀进鹏 沃天宇 |
| 作者单位： | 国家软件开发环境重点实验室;北京航空航天大学数学与系统科学学院;北京航空航天大学计算机学院; |
| 摘 要： | Web服务应用中一个富有挑战性的关键问题是:如何自动组合已有的Web服务并保证组合的正确性(如以时态逻辑LTL,CTL,CTL*等公式规范的时态性质).现有研究工作大多延用传统软件开发中的设计、验证、分析和纠错的过程,这使得组合过程既复杂又低效.文中研究了基于CTL与CTL*的组合服务综合问题,即利用已有Web服务自动生成满足给定的CTL,CTL*逻辑公式的组合服务,从而可以无需另外的验证过程,避免反复进行组合.证明了以CTL与CTL*逻辑公式为组合需求时,组合服务综合问题分别为EXPTIME–完全和2EXPTIME–完全问题.同时讨论了当综合失败时,如何通过合理限制环境(即服务的交互对象,如用户或其他服务)的输出使得综合成功,并证明了该问题关于CTL与CTL*逻辑公式同样分别为EXPTIME–完全和2EXPTIME–完全问题. |
| 关 键 词： | 业务协议 Web服务 组合服务 综合 环境 时态逻辑 |
| 本文献已被 CNKI 等数据库收录！ | |
