会话类E-Service的接口兼容分析

摘要：

为保证最终获得的组合服务能够正确运行,首先对涉及会话类E-Service服务组合过程中的E-Service动态行为接口进行了形式化描述.然后采用”乐观”方式进行接口兼容检查;同时针对会话类E-Service的完整性要求,提出了验证会话类E-Service接口兼容的算法,以此对业务组合过程进行设计时的检查,确保组合的正确性.

关键词： 接口兼容 组合 会话类E-Service 有限状态自动机 Web服务

作者: 张文涛 彭泳 陈俊亮

作者单位: 北京邮电大学,网络与交换技术国家重点实验室,北京,100876

会议类型: 国内会议

会议名称: 2006年全国通信软件学术会议

会议地点: 北京

会议语种:中文

页码: 140-143

在线出版日期: 2006-05-21（万方平台首次上网日期，不代表论文的发表时间）