Peer To Patent

Pre-Grant Publication Number: 20110022575

System and method of conclusively verifying the correctness of an information system without needing to test every combination of behaviour at run-time

Collaborate on the process of community review for this application. Posting will not be forwarded to the USPTO. Flagging a post as an ACTION ITEM signals further research. Flagging SPAM and ABUSE helps to manage discussion. Placing double brackets around a reference to a claim or prior art will create a hyperlink to the original ex. [[claim 1]] and [[prior art 2]].

Please review the Community Code of Conduct prior to posting

Discussion (4)

View: Date|Claims|Prior Art|Action Item|

Facilitator's Comment

Action Item

Show without Noise

Steven Pearson (about 2 years ago)

Whoo, boy, the description is long and in gory detail. Not so for the claims, fortunately. Claim 1 sounds like it basically covers a business rule repository and clients making use of same. The part about using same to ensure integrity is maintained without the need to test every combination seems a bit speculative. Anyway, there seems to be quite a bit of art on business rules (e.g., http://www.iadis.net/dl/final_uploads/200504D005.pdf and its references), but I don't know how easy it will be to find something covering the client loading of rules from the database into a meta system object and ensuring the integrity without testing.

Diane Willis (about 2 years ago)

I tried to access the link with no luck. Could there be a typo (200504D005?) or a change in the location of the information?
Thanks.

Diane Willis (about 2 years ago)

The link is working now with Internet Explorer. Thanks.

Diane Willis (about 2 years ago)

I used Invite a Reviewer to invite the 2 authors of the article you suggested to contribute to the peer review.

0 days left