Web服务行为一致性与相容性判定

被引：17

作者：

殷昱煜

李莹

邓水光

尹建伟

机构：

[1] 浙江大学计算机学院

来源：

电子学报 | 2009年 / 37卷 / 03期

基金：

浙江省自然科学基金;

关键词：

Web服务行为; 相容性; 一致性;

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

081202 ; 0835 ;

摘要：

Web服务行为相容性和一致性是保证服务组装的正确性和可靠性的关键.然而,如何有效快捷的对其判定是一大难点.在深入分析服务行为特点的基础上,引入Martin-Lf类型论(简称:MTT),并针对其在服务动态行为描述上的不足进行有益的扩展.然后,基于扩展后MTT的相关理论,给出服务行为相容性和一致性的证明规则.最后,通过实例给出服务行为相容性和一致性判定过程,并分析其复杂度.

引用

页码：433 / 438

页数：6

共 7 条

[1] Web服务行为兼容性的判定与计算 [J].

邓水光 ;

李莹 ;

吴健 ;

邝砾 ;

吴朝晖 .

软件学报, 2007, (12) :3001-3014

[2] 虚拟计算环境中服务行为与质量的一致性 [J].

胡昊 ;

殷琴 ;

吕建 .

软件学报, 2007, (08) :1943-1957

[3] 场景驱动的构件行为抽取 [J].

张岩 ;

胡军 ;

于笑丰 ;

张天 ;

李宣东 ;

郑国梁 .

软件学报, 2007, (01) :50-61

[4] 一门新的面向构件语言 [J].

陈波 ;

谭庆平 ;

李舟军 ;

陈火旺 .

电子学报, 2006, (S1) :2462-2466

[5] 基于Pi演算的构件演化研究 [J].

龚洪泉 ;

赵文耘 ;

徐如志 ;

钱乐秋 .

电子学报, 2004, (S1) :238-242

[6]

Formalizing Web Service Choreographies[J] . Antonio Brogi,Carlos Canal,Ernesto Pimentel,Antonio Vallecillo.Electronic Notes in Theoretical Computer Science . 2004

[7]

Coinductive Axiomatization of Recursive Type Equality and Subtyping[J] . Michael Brandt,Fritz Henglein.Fundamenta Informaticae . 1998 (4)

← 1 →