基本信息:
- 专利标题： INFERENCE OF CONTRACT USING DECLARATIVE PROGRAM DEFINITION
- 专利标题（中）：使用声明程序定义的合同约定
- 申请号：US12567610 申请日：2009-09-25
- 公开(公告)号：US20110078509A1 公开(公告)日：2011-03-31
- 发明人： 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
- 申请人地址： US WA Redmond
- 专利权人： MICROSOFT CORPORATION
- 当前专利权人： MICROSOFT CORPORATION
- 当前专利权人地址： US WA Redmond
- 主分类号： G06F11/07
- IPC分类号： G06F11/07 ; G06F11/00
摘要：
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.
摘要（中）：
声明式程序定义。 分析定义以产生一个应用程序合同，该应用程序合同描述在程序成功执行操作期间发送和接收应用程序消息的语义。 此外，此分析还可能产生与本地程序执行相关的本地行为。 或者或另外，分析可以推断关于应用消息的发送和接收的次级合同，即使次要合同的全部细节不存在于声明性程序定义中。 例如，次级合同可能包括错误合同或一致性合同。
公开/授权文献:
- US08074117B2 Inference of contract using declarative program definition 公开/授权日：2011-12-06