基于扩展投影时序逻辑的组合Web服务描述与验证

• 作者: 段振华 雷丽晖
• 来源期刊: 西安交通大学学报
• 关键词: 组合Web服务 投影时序逻辑 形式化验证
• 年，卷（期）: 2007,（10）
• 所属期刊栏目: 专题研究
• 页码范围: 1155-1159
• 页数: 5页
• 分类号: TP393
• 语种: 中文
• DOI: 10.3321/j.issn:0253-987x.2007.10.007

摘要

针对编制方式生成的组合Web服务需要用一个工作流引擎执行这个特征,对投影时序逻辑进行了扩展,并用扩展投影时序逻辑描述和验证组合Web服务.将组合Web服务视为一个基于过程的工作流,将工作流引擎与组合Web服务组成部分的一次不可分割的消息交互抽象为一个原子过程.用扩展投影时序逻辑公式描述原子过程,用扩展投影时序逻辑操作符定义过程组合规则、连接过程描述公式,得到组合Web服务描述公式.通过模拟组合Web执行,可验证组合Web服务满足系统的需求和性质,为提高组合Web服务设计的可靠性提供了依据.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	段振华	西安电子科技大学计算理论与技术研究所	47	363	10.0	16.0
2	雷丽晖	西安电子科技大学计算理论与技术研究所	5	111	4.0	5.0