Patent Document ID: 5404319
Application ID: 07991646

Base Claim:
1. A general-purpose, computer-implemented translator (10) for translating a specification for a system, having system components, a behavior description for each component, and a template therefor, from an initial representation thereof into another representation of the system comprising: a computer-implemented extraction module (30, 32) for extracting behavior descriptions from the specification; a computer-implemented analysis module (34) including one or more behavior-specific translators (36, 38, 40, 46, 50, 52) for reducing the behavior description to a mathematical depiction of the components of the system; and at least one computer-implemented synthesis module (42, 54) for transforming said mathematical depiction into another representation of the system.

---

Claim 8:
8. The translator of claim 1 which further includes a collection of component representations (18, 20) in the initial form, each representation including at least one keyword therein; a comparison module (32a) to compare the mathematical depiction of the behavior properties of a system component to the other form component representations by matching the properties to said keywords; and an output module (62) for outputting an output facsimile for any component which is not linked to said other form representation keyword match by said comparison module (32a).