Inference of contract using declarative program definition

Details Inference of contract using declarative program definition Inference of contract using declarative program definition

2009-09-25

2011-12-06

Beausoliel, Jr., Robert (Department: 2113)

Error detection/correction and fault detection/recovery

Data processing system error or fault handling

Reliability and availability

C714S047100, C714S048000, C717S117000

Reexamination Certificate

active

08074117

ABSTRACT:
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.

REFERENCES:
patent: 7058886 (2006-06-01), Sulistio et al.
patent: 2003/0135584 (2003-07-01), Roberts et al.
patent: 2004/0255137 (2004-12-01), Ying
patent: 2004/0267867 (2004-12-01), Christian et al.
patent: 2005/0005158 (2005-01-01), Alaluf
patent: 2005/0021689 (2005-01-01), Marvin et al.
patent: 2005/0273667 (2005-12-01), Shrivastava et al.
patent: 2006/0005175 (2006-01-01), Ringseth et al.
patent: 2006/0029054 (2006-02-01), Breh et al.
patent: 2006/0074734 (2006-04-01), Shukla et al.
patent: 2006/0117009 (2006-06-01), Joe et al.
patent: 2007/0130571 (2007-06-01), Ringseth et al.
patent: 2009/0164973 (2009-06-01), Barnett et al.
patent: 2009/0327179 (2009-12-01), Strassner et al.
Daniela Florescu et al , XL: An XML Programming Language for Web Services Specification and Composition, May 7-11, 2002; http://2002.org/CDROM/refereed/481/.
Sheila A. McLlraith et al., Mobilizing the Semantic Web With DAML-Enabled Web Services, http://wwww.ksl.stanford.edu/projects/DAML/Webservices.
H. Peter Alesso, Preparing for Semantic Web Services, http://wwww.sitepoint.com/article/semantic-web-services, May 2, 2004.
Boualem Benatallah et al, Declarative Composition and Peer-to-Peer Provisioning of Dynamic Web Services, http://www.cs.txstate.edu/˜hn12/papers/ICDE2002.pdf.

Affiliated with

Also associated with

Rating

Inference of contract using declarative program definition does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Inference of contract using declarative program definition, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Inference of contract using declarative program definition will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4298635