Systems, methods and apparatus for pattern matching in...

Details Systems, methods and apparatus for pattern matching in... Systems, methods and apparatus for pattern matching in...

2011-07-12

2011-07-12

Kendall, Chuck O (Department: 2192)

Data processing: software development, installation, and managem

Software program development tool

Testing or debugging

C717S128000, C717S131000, C717S141000

Reexamination Certificate

active

07979848

ABSTRACT:
Systems, methods and apparatus are provided through which, in some embodiments, a formal specification is pattern-matched from scenarios, the formal specification is analyzed, and flaws in the formal specification are corrected. The systems, methods and apparatus may include pattern-matching an equivalent formal model from an informal specification. Such a model can be analyzed for contradictions, conflicts, use of resources before the resources are available, competition for resources, and so forth. From such a formal model, an implementation can be automatically generated in a variety of notations. The approach can improve the resulting implementation, which, in some embodiments, is provably equivalent to the procedures described at the outset, which in turn can improve confidence that the system reflects the requirements, and in turn reduces system development time and reduces the amount of testing required of a new system. Moreover, in some embodiments, two or more implementations can be “reversed” to appropriate formal models, the models can be combined, and the resulting combination checked for conflicts. Then, the combined, error-free model can be used to generate a new (single) implementation that combines the functionality of the original separate implementations, and may be more likely to be correct.

REFERENCES:
patent: 5247651 (1993-09-01), Clarisse
patent: 6898791 (2005-05-01), Chandy et al.

Affiliated with

Also associated with

Rating

Systems, methods and apparatus for pattern matching in... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Systems, methods and apparatus for pattern matching in..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Systems, methods and apparatus for pattern matching in... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2640880