×

Dynamic control graphs for analysis of coordination-centric software designs

  • US 20020062463A1
  • Filed: 06/22/2001
  • Published: 05/23/2002
  • Est. Priority Date: 06/23/2000
  • Status: Abandoned Application
First Claim
Patent Images

1. A static error checking system for analyzing a software system in order to detect design errors prior to system execution, the software system comprising a set of software elements which expose control interactions between the software elements, by representing the control interactions in a control graph, the control graph comprising:

  • a set of conjunctive nodes, each of which represents a conjunctive boolean guard on state changes within the software system;

    a set of disjunctive nodes, each of which represents a boolean guard on a functional object within one of the software elements;

    a set of action nodes, each of which represents a functional object within one of the software elements that responds to control interactions and produces control interactions; and

    a set of directed edges, each of which connect two nodes and represents implication between the two nodes.

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