Modeling and analyzing mixed communications in service-oriented trustworthy software

• DOI: 10.1007/s11432-012-4744-y
• Publication Date: 2012-12-28T07:46:59Z
• Authors: JianMin Jiang; Shi Zhang; Ping Gong; Zhong Hong; HouGuang Yue
• Keywords: 0202 electrical engineering, electronic engineering, information engineering; 0102 computer and information sciences; 02 engineering and technology; 01 natural sciences

Communication is an essential part of service-oriented trustworthy software. The actual communication 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.