Web服务组合建模和验证技术研究

项目名称： Web服务组合建模和验证技术研究

项目编号： No.60973149

项目类型： 面上项目

立项/批准年度： 2010

项目学科： 自动化技术、计算机技术

项目作者： 李必信

作者单位： 东南大学

项目金额： 33万元

中文摘要： Web服务作为一种自治、开放和平台无关的网络化构件，使得软件开发技术和分布式应用具有更好的复用性。将已有的服务以静态或动态方式组合成一个新服务的思想，已影响到当今软件产品开发方式。然而，在如何保证服务组合的质量问题上，正面临着一些挑战：如何在网络环境中保证独立的服务构件之间互操作行为和数据交换的正确性，如何解决发送方发送的消息可能永远不会被接受方接收，发送方和接收方存在死锁，两个服务进行交互时行为或数据不兼容等问题。所以在Web服务的设计阶段，保证Web服务组合建模的正确性尤为重要。基于形式化方法的Web服务组合建模技术就很有用，因为形式化方法具有清晰的语义，能够使用相应的工具来自动地分析和验证一个系统是否具有想要的属性，或者不具有不想要的属性。本课题从Web服务的动态组合出发，利用形式化和图形化结合的方式，研究如何对Web服务的行为一致性、时态属性、时间属性和概率属性进行建模和验证。

中文关键词： WEB服务；建模；测试；监控；验证

英文摘要：

英文关键词： Web service；model；test；monitor；verification