Modeling and analyzing mixed communications in service-oriented trustworthy software

Trustworthiness
DOI: 10.1007/s11432-012-4744-y Publication Date: 2012-12-28T07:46:59Z
ABSTRACT
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.
SUPPLEMENTAL MATERIAL
Coming soon ....
REFERENCES (31)
CITATIONS (9)
EXTERNAL LINKS
PlumX Metrics
RECOMMENDATIONS
FAIR ASSESSMENT
Coming soon ....
JUPYTER LAB
Coming soon ....