Paper Info
Title
Reliable contracts for unreliable half-duplex communications
Abstract
Recent trends in formal models of web services description languages and session types focus on the asynchronicity of communications. In this paper, we study a core of these models that arose from our modelling of the Sing# programming language, and demonstrate correspondences between Sing# contracts, asynchronous session behaviors, and the subclass of communicating automata with two participants that satisfy the half-duplex property. This correspondence better explains the criteria proposed by Stengel and Bultan for Sing# contracts to be reliable, and possibly indicate useful criteria for the design of WSDL. We moreover establish a polynomial-time complexity for the analysis of communication contracts under arbitrary models of asynchronicity, and we investigate the model-checking problems against LTL formulas.
Year
DOI
Venue
2011
10.1007/978-3-642-29834-9_2
WS-FM
Keywords
Field
DocType
polynomial-time complexity,communication contract,unreliable half-duplex communication,reliable contract,programming language,model-checking problem,half-duplex property,asynchronous session behavior,ltl formula,formal model,session type,arbitrary model
Asynchronous communication,Programming language,Computer science,Communicating automata,Message sequence chart,Web service,Duplex (telecommunications)
Conference
Citations 
PageRank 
References 
3
0.45
20
Authors
2
Name
Order
Citations
PageRank
Étienne Lozes112114.32
Jules Villard2664.62