专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US07359919B2 Reliable request-response messaging over a request-response transport 有权
标题翻译：通过请求 - 响应传输提供可靠的请求 - 响应消息
公开(公告)号：US07359919B2
公开(公告)日：2008-04-15
申请号：US11075418
申请日：2005-03-08
申请人： Shy Cohen , Kirill Gavrylyuk , Ondrej Hrebicek , Richard Hill , Stefan R. Batres
发明人： Shy Cohen , Kirill Gavrylyuk , Ondrej Hrebicek , Richard Hill , Stefan R. Batres
IPC分类号： G06F17/30 , G06F15/173
CPC分类号： H04L29/06 , H04L67/42 , H04L69/32 , H04L69/329 , H04L69/40 , Y10S707/99945 , Y10S707/99948
摘要： 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.
摘要翻译：可靠的请求 - 响应机制允许请求计算机系统和建立的端对端连接中的响应计算机系统以响应的计算机系统按请求计算机系统的预期处理请求的方式来发送和接收消息，所有消息通信由请求计算机系统发起。请求计算机系统和响应的计算机系统可以适应各种消息传递失败，例如间歇性网络连接或通过重新发送先前发送的消息的缓存版本的SOAP中介的传输失败，以及通过确认收到的每个消息的接收。任何计算机系统上的缓存消息在被适当确认后被删除。在所有发送的消息已经被响应的计算机确认，并且请求计算机已经从响应的计算机接收到所有的响应消息之后，端到端连接通过交换连接终止消息来终止。

2. 发明申请

US20060206558A1 Reliable request-response messaging over a request-response transport 有权
标题翻译：通过请求 - 响应传输提供可靠的请求 - 响应消息
公开(公告)号：US20060206558A1
公开(公告)日：2006-09-14
申请号：US11075418
申请日：2005-03-08
申请人： Shy Cohen , Kirill Gavrylyuk , Ondrej Hrebicek , Richard Hill , Stefan Batres
发明人： Shy Cohen , Kirill Gavrylyuk , Ondrej Hrebicek , Richard Hill , Stefan Batres
IPC分类号： G06F15/16
CPC分类号： H04L29/06 , H04L67/42 , H04L69/32 , H04L69/329 , H04L69/40 , Y10S707/99945 , Y10S707/99948
摘要： 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.
摘要翻译：可靠的请求 - 响应机制允许请求计算机系统和建立的端对端连接中的响应计算机系统以响应的计算机系统按请求计算机系统的预期处理请求的方式来发送和接收消息，所有消息通信由请求计算机系统发起。请求计算机系统和响应的计算机系统可以适应各种消息传递失败，例如间歇性网络连接或通过重新发送先前发送的消息的缓存版本的SOAP中介的传输失败，以及通过确认收到的每个消息的接收。任何计算机系统上的缓存消息在被适当确认后被删除。在所有发送的消息已经被响应的计算机确认，并且请求计算机已经从响应的计算机接收到所有的响应消息之后，端到端连接通过交换连接终止消息来终止。

3. 发明申请

US20110078509A1 INFERENCE OF CONTRACT USING DECLARATIVE PROGRAM DEFINITION 有权
标题翻译：使用声明程序定义的合同约定
公开(公告)号：US20110078509A1
公开(公告)日：2011-03-31
申请号：US12567610
申请日：2009-09-25
申请人： Kenneth D. Wolf , Nicholas Alexander Allen , Kirill Gavrylyuk , Edmund Samuel Victor Pinto , Tao Xie , Asad Jawahar
发明人： Kenneth D. Wolf , Nicholas Alexander Allen , Kirill Gavrylyuk , Edmund Samuel Victor Pinto , Tao Xie , Asad Jawahar
IPC分类号： G06F11/07 , G06F11/00
CPC分类号： G06F11/0766 , G06F11/0709
摘要： 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.
摘要翻译：声明式程序定义。分析定义以产生一个应用程序合同，该应用程序合同描述在程序成功执行操作期间发送和接收应用程序消息的语义。此外，此分析还可能产生与本地程序执行相关的本地行为。或者或另外，分析可以推断关于应用消息的发送和接收的次级合同，即使次要合同的全部细节不存在于声明性程序定义中。例如，次级合同可能包括错误合同或一致性合同。

4. 发明授权

US08074117B2 Inference of contract using declarative program definition 有权
标题翻译：使用声明式程序定义推断合同
公开(公告)号：US08074117B2
公开(公告)日：2011-12-06
申请号：US12567610
申请日：2009-09-25
申请人： Kenneth D. Wolf , Nicholas Alexander Allen , Kirill Gavrylyuk , Edmund Samuel Victor Pinto , Tao Xie , Asad Jawahar
发明人： Kenneth D. Wolf , Nicholas Alexander Allen , Kirill Gavrylyuk , Edmund Samuel Victor Pinto , Tao Xie , Asad Jawahar
IPC分类号： G06F11/00
CPC分类号： G06F11/0766 , G06F11/0709
摘要： 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.
摘要翻译：声明式程序定义。分析定义以产生一个应用程序合同，该应用程序合同描述了在程序成功执行操作期间发送和接收应用程序消息的语义。此外，此分析还可能产生与本地程序执行相关的本地行为。或者或另外，分析可以推断关于应用消息的发送和接收的次级合同，即使次要合同的全部细节不存在于声明性程序定义中。例如，次级合同可能包括错误合同或一致性合同。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式