[1]庞士焕 朱相冰 张琦[] 汤萍萍[].基于TLA的正确性验证方法[J].计算机技术与发展,2009,(03):55-58.
　PANG Shi-huan,ZHU Xiang-bing,ZHANG Qi[],et al.A Method of Verification Based on TLA[J].,2009,(03):55-58.
点击复制

基于TLA的正确性验证方法()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2009年03期
页码:
55-58
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
A Method of Verification Based on TLA
文章编号:
1673-629X（2009）03-0055-04
作者:
庞士焕1 朱相冰2 张琦[3] 汤萍萍[4]
[1]安徽师范大学教育科学学院[2]安徽师范大学物理与电子信息工程学院[3]西北大学软件学院[4]东南大学计算机学院
Author(s):
PANG Shi-huan1;  ZHU Xiang-bing2;  ZHANG Qi[3];  TANG Ping-ping[4]
[1]Department of Educational Science,Anhui Normal University[2]Department of Physics and Electronic Information, Anhui Normal University[3]Department of Software Engineering,Northwest University[4]Department of Computer Science,Sutbeast University
关键词:
Web服务; TLA; BPEL; Conversation模型; 正确性验证
Keywords:
Web service; TLA;  BPEL;  conversation model;  verification
分类号:
TP393
文献标志码:
A
摘要:
随着面向服务的体系结构的发展，有效地组合单个分布的web服务以提供更有价值的服务成为新的热点问题。然而，在这一研究领域还存在诸多问题，比如web服务用哪种方式组合，能否实现自动组合，对组合服务进行正确性验证等等。文中主要是针对组合服务的正确性验证问题，引入时序逻辑TLA。通过把组合服务的BPEL描述转换为TLA可以理解的自动机的形式，这种方法可以很好地验证组合逻辑的正确性以及快速发现死锁等问题。
Abstract:
With the evolution of service-oriented architecture, composing distributed web services to provide more valuable one has become a key area in the software engineering research. However, the research on these emerging technologies is far from mature, such

相似文献/References:

[1]李学俭 何文华.基于SOA架构的高校数据资源整合研究[J].计算机技术与发展,2010,(01):74.
　LI Xue-jian,HE Wen-hua.Research of Campus Data Integration Based on SOA[J].,2010,(03):74.
[2]戴雪梅 姜浩.基于带权图规划算法的语义Web服务组合[J].计算机技术与发展,2010,(03):67.
　DAI Xue-mei,JIANG Hao.Semantic Web Services Composition Based on Weighted Planning Graph Algorithm[J].,2010,(03):67.
[3]张小欢 管有庆 王佳伟.基于BTP的Web服务事务协调研究与实现[J].计算机技术与发展,2010,(04):39.
　ZHANG Xiao-huan,GUAN You-qing,WANG Jia-wei.Research and Implementation on BTP- Based Web Services Transaction Coordination[J].,2010,(03):39.
[4]李文亮 刘竹松 陈璟.基于SOA的科研管理系统的分析与设计[J].计算机技术与发展,2010,(05):234.
　LI Wen-liang,LIU Zhu-song,CHEN Jing.Analysis and Design of Management System of Scientific Research Based on SOA[J].,2010,(03):234.
[5]李苏 刘建勋.Web服务的绑定与调用方法研究[J].计算机技术与发展,2010,(06):59.
　LI Su,LIU Jian-xun.Research on Methods of Web Service Binding and Invocation[J].,2010,(03):59.
[6]刘振岩 王勇 陈立平 马俊杰 陈天恩.基于SVM的农业智能决策Web服务的研究与实现[J].计算机技术与发展,2010,(06):213.
　LIU Zhen-yan,WANG Yong,CHEN Li-ping,et al.Research and Implementation of Intelligence Decision Web Services Based on SVM for Digital Agriculture[J].,2010,(03):213.
[7]王丽侠 楼玉萍 吕君可.基于Web服务的电力信息集成系统[J].计算机技术与发展,2009,(05):173.
　WANG Li-xia,LOU Yu-ping,LU Jun-ke.A Power Information Integration System Based on Web Services[J].,2009,(03):173.
[8]高云全.一种基于语义的Web服务动态组合及其实现[J].计算机技术与发展,2009,(06):65.
　GAO Yun-quan.A Dynamic Web Services Composition and Realization Based on Semantic[J].,2009,(03):65.
[9]王谢宁.构建协同商务系统的核心技术研究[J].计算机技术与发展,2009,(06):221.
　WANG Xie-ning.Core Technology Research of Construction Collaborative Commerce System[J].,2009,(03):221.
[10]胡江晖 袁道华 段恺.一种基于JXTA的SOAP消息通信实现模型[J].计算机技术与发展,2009,(08):45.
　HU Jiang-hui,YUAN Dao-hua,DUAN Kai.An Implementation Fraanework of SOAP Messaging Based on JXTA[J].,2009,(03):45.

备注/Memo

备注/Memo:
安徽省自然科学基金项目(KJ2007B061)；安徽省教育厅重点项目(KJ2008A142C)庞士焕(1955-)，女，安徽芜湖人，实验师，研究方向为计算机科学。
更新日期/Last Update: 1900-01-01