Abstract: A method and apparatus for generating a model of a system, in which the system comprises a plurality of physical entities capable of performing interactions between each other. The method comprises receiving an interaction-based specification of the system defining interactions between the plurality of physical entities; dividing the interaction-based specification into a plurality of interaction sections; and generating a model defining each interaction section and its possible continuing interaction sections. An event flow diagram is generated from the model from which an executable model of the system can be automatically obtained.

Abstract: An objective and reliable way of effecting the technical due diligence process associated with a corporate transaction uses a software analysis tool to extract information on the target entity's software assets, followed by performing at least one subsequent step in the transaction as a function of the extracted information. Also, a method of performing technical due diligence on a target entity having software assets, including providing software files to a software analysis tool and obtaining information on the target entity's software assets from the software analysis tool.

Abstract: A system and method for generating a consistent graphical expression of source code which is independent of the source language and of a particular programmer's style. The system first provides an intermediary pattern language which is source language independent into which the source code is translated. This pattern language is directly mapped to a set of predetermined graphical patterns having a series of attributes. The pattern language is nested in the sense that certain expressions may contain certain other expressions. This translates directly to graphical containment. Attributes are computed starting with the most nested parts of the pattern language translation. The attributes of the more nested parts having been thus computed may be used in the computation of the attributes of less nested parts of the expression. Once all attributes are computed, a mapping to display directives is performed, and a graphical engine produces an actual display.

Abstract: A system and method for identifying indirect messaging relationships between software process. Within a source code repository, all occurrences of calls to interface procedures are identified together with communications objects to which these calls pertain. Each interface procedure call is categorized as either a “send” or a “receive” interface procedure call. A relationship is identified when a pair of interface procedure calls are located which pertain to the same communications object and one of the pair has a “send” type and the other of the pair has a “receive” type. By identifying pairs of this type, relationships between hierarchical software entities which contain the interface procedure calls are also simultaneously identified. Each relationship thus identified is mapped onto one or more inter-process indirect messaging relationships.

Abstract: A system and method for identifying indirect messaging relationships between software entities. Within a source code repository, all occurrences of calls to interface functions are identified together with communications objects to which these calls pertain. Each interface function call is categorized as either a “send” or a “receive” interface function call. A relationship is identified when a pair of interface function calls are located which pertain to the same communications object and one of the pair has a “send” type and the other of the pair has a “receive” type. By identifying pairs of this type, relationships between hierarchical software entities which contain the interface function calls are also simultaneously identified.