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

Determining on Consistency and Compatibility of Web Services Behavior

作　　者：殷昱煜[1] 李莹[1] 邓水光[1] 尹建伟[1] 

机构地区：[1]浙江大学计算机学院,浙江杭州310027

出　　处：《电子学报》2009年第3期433-438,共6页Acta Electronica Sinica

基　　金：国家自然科学基金(No.60703042);国家863高技术研究发展计划(No.2006AA01Z171;2007AA01Z124);国家科技支撑计划重大项目(No.2006BAH02A01);浙江省自然科学基金(No.Y106045)

摘　　要：Web服务行为相容性和一致性是保证服务组装的正确性和可靠性的关键.然而,如何有效快捷的对其判定是一大难点.在深入分析服务行为特点的基础上,引入Martin-Lf类型论(简称:MTT),并针对其在服务动态行为描述上的不足进行有益的扩展.然后,基于扩展后MTT的相关理论,给出服务行为相容性和一致性的证明规则.最后,通过实例给出服务行为相容性和一致性判定过程,并分析其复杂度.Web services behavior is the key aspect to compatibility and consistency of web services, which can ensure correcmess and reliability in web services choreography. But few methods can conduct the trade-off between expressiveness and amenability of efficient verification, this paper gives a better answer to solve the problem. It constructs services behavioral type disci- pline based on extended the Martin-Lof＇s type theory（for short,MTF） which supports a type-theoretic formulation of services behavior structured patterns, so that services behavior in a distributed system can be verified by type checking. Then, the type rules for subtype, duality, compatibility and consistency of web services behavior are discussed. The deductions are given to show that how to verify the consistency between behavior of vendor and behavior of vendor-s. Finally, the complexity of the deduction is given.

关 键 词：WEB服务行为 相容性 一致性 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]