Patent ID: 7203924

Claim:
A system for modeling behavior of a message-passing program module wherein the message-passing program module communicates with other program modules and wherein intended message-passing behavior of the message-passing program module is specified by a type annotation, the system comprising: a memory for storing: typing rules defining a conformance relationship between the message-passing program module and the type annotation; and a type system; and a computer processor that executes instructions that: direct the type system to apply the typing rules to render a conclusion on whether actions of the message-passing program module satisfy the intended behavior expressed by the type annotation, wherein if the actions of the message-passing program module do not satisfy the intended behavior expressed by the type annotation, the type system output an error message indicating that the message-passing application program is not well-implemented, and if the actions of the message-passing program module do satisfy the intended behavior expressed by the type annotation, the type system outputs a valid message indicating that the message-passing application program is well-implemented.