Modeling and analyzing mixed communications in service-oriented trustworthy software  

作　　者：JIANG JianMin ZHANG Shi GONG Ping HONG Zhong YUE HouGuang 

机构地区：[1]Department of Computer, Fujian Normal University, Fuzhou 350007, China [2]Department of Computer, Shandong University of Finance and Economics, Jinan 250014, China

出　　处：《Science China(Information Sciences)》2012年第12期2738-2756,共19页中国科学（信息科学）（英文版）

基　　金：supported by National Science Foundation of China(Grant No.61175123);a Key Project of Fujian Provincial Universities-Information Technology Research Based on Mathematics(Grant No.1240104- 201007);Natural Science Foundation of Fujian Province(Grant No.2012J05112);Shandong Provincial Natural Science Foundation of China(Grant No.Y2008G33)

摘　　要：Communication is an essential part of service^oriented trustworthy software. The actual communica- tion mechanism among services adopts asynchronous communications and supports broadcast communications. However, in order to achieve a better performance in analysis and verification, most existing formal languages rely on the strong hypothesis： the communication between services is synchronous. In this paper, we propose a novel model, which can model synchronous communications, asynchronous communications and broadcast communications in a uniform way. Moreover, we investigate the preservation problem of the weak termination and deadlocks of a composite service under the hierarchical communication models.Communication is an essential part of service^oriented trustworthy software. The actual communica- tion mechanism among services adopts asynchronous communications and supports broadcast communications. However, in order to achieve a better performance in analysis and verification, most existing formal languages rely on the strong hypothesis： the communication between services is synchronous. In this paper, we propose a novel model, which can model synchronous communications, asynchronous communications and broadcast communications in a uniform way. Moreover, we investigate the preservation problem of the weak termination and deadlocks of a composite service under the hierarchical communication models.

关 键 词：communication service composition message dependency DEADLOCK 

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