Microsoft Technology Licensing, LLC

Kirill Gavrylyuk

Nicholas Alexander Allen

Kenneth David Wolf

Richard Douglas Hill

Edmund Samuel Victor Pinto

Tao Xie

Stefan R Batres

Shy Cohen

Asad Jawahar

Ondrej Hrebicek

A declarative program definition. The definition is analyzed to produce an application contract that describes semantics for sending and receiving application messages during the successful execution of operations by the program. In addition, this analysis may also generate local behaviors associated with the local execution of the program. Alternatively or in addition, the analysis may infer secondary contracts regarding the sending and receiving of application messages, even though the full details of the secondary contracts are not present in the declarative program definition. For instance, the secondary contracts might include error contracts or consistency contracts.

Inference of contract using declarative program definition

A reliable request-response mechanism allows a requesting computer system and a responding computer system in an established end-to-end connection to send and receive messages in a manner that the responding computer system processes a request as intended by the requesting computer system, such that all the message communication is initiated by the requesting computer system. The requesting computer system and responding computer system can accommodate a wide range of messaging failures, such as intermittent network connections or failure of a transport of SOAP intermediary by resending cached versions of previously sent messages, and by acknowledging receipt of each message received. Cached messages on either computer system are deleted after being appropriately acknowledged. After all sent messages have been acknowledged by the responding computer, and the requesting computer has received all of the response messages from the responding computer, the end-to-end connection is terminated with an exchange of connection termination messages.

Reliable request-response messaging over a request-response transport

Growing community of inventors

Seattle, WA, United States of America

Kirill Gavrylyuk