×

Systems and methods that employ process algebra to specify contracts and utilize performance prediction implementations thereof to measure the specifications

  • US 20050131978A1
  • Filed: 07/30/2004
  • Published: 06/16/2005
  • Est. Priority Date: 12/10/2003
  • Status: Abandoned Application
First Claim
Patent Images

1. A system that employs process algebra and performance predicting techniques to specify and check contracts, comprising:

  • a first component that employs the process algebra to specify a contract in at least a fragment of the process algebra, and a second component that compares the specified contract with an implementation generated via the performance predicting techniques, wherein a result of the comparison determines whether the implementation satisfies the contract.

View all claims
  • 3 Assignments
Timeline View
Assignment View
    ×
    ×