正确性保证的组合服务综合问题复杂度研究

作者：邓婷; 怀进鹏; 沃天宇

来源：中国科学:信息科学 , 2012, (07): 789-802.

• 业务协议
• Web服务
• 组合服务
• 综合
• 环境
• 时态逻辑 business protocol
• Web services
• composite service
• synthesis
• environment
• temporal logic

Web服务应用中一个富有挑战性的关键问题是:如何自动组合已有的Web服务并保证组合的正确性(如以时态逻辑LTL,CTL,CTL*等公式规范的时态性质).现有研究工作大多延用传统软件开发中的设计、验证、分析和纠错的过程,这使得组合过程既复杂又低效.文中研究了基于CTL与CTL*的组合服务综合问题,即利用已有Web服务自动生成满足给定的CTL,CTL*逻辑公式的组合服务,从而可以无需另外的验证过程,避免反复进行组合.证明了以CTL与CTL*逻辑公式为组合需求时,组合服务综合问题分别为EXPTIME–完全和2EXPTIME–完全问题.同时讨论了当综合失败时,如何通过合理限制环境(即服务的交互对象,如...

• 单位
  软件开发环境国家重点实验室; 北京航空航天大学