Patent ID: 7886273
Filing Date: 2011-02-08
Classification: G06F

Abstract:
1. A computer-accessible medium having executable instructions to generate a system, the executable instructions capable of directing a processor to perform: receiving at least one policy of the system; translating the at least one policy of the system to an implementation, and analyzing the formal specification, wherein a policy includes a set of rules or principles that describes constraints on system functionality and prescribes how the system must behave; wherein translating the at least one policy of the system includes mapping a policy to a specific, single implementation as determined by the syntax and semantics of a policy language, an underlying formal model, and domain knowledge; wherein an implementation is a set of artifacts that provides a functional instance of the system; and wherein analyzing the formal specification includes interpreting and applying mathematical logic to the formal specification to identify inconsistencies, omissions, redundancies, and errors, including system deadlock, system livelock, and unreachable states, wherein applying mathematical logic includes applying axioms and theorems of mathematics and logic, wherein system deadlock is when at least two executing processes each wait for the other to finish and may continue to do so indefinitely, and wherein system livelock is when at least two executing processes each wait for the other to finish, but their relative internal states change continually during execution without progress being made by either process.