Method, System, and Computer Program Product for Implementing External Domain Independent Modeling Framework in a System Design

• US 20090172632A1
• Filed: 12/28/2007
• Published: 07/02/2009
• Est. Priority Date: 12/28/2007
• Status: Active Grant

• Current Assignee: Cadence Design Systems Incorporated (Cadence Group)
• Original Assignee: Cadence Design Systems Incorporated (Cadence Group)
• Inventors: Balarin, Felice, Tripakis, Stavros, Kashai, Yaron
• Granted Patent: US 8,352,906 B2
• Time in Patent Office: Days
• US Class Current: 717/104
• CPC Class Codes: G06F 8/10 Requirements analysis; Specification techniques

Abstract

Disclosed are a method, system, and computer program product for implementing external domain independent modeling framework in a system design. In some embodiments, the method or system comprises importing an external model in an external format into the framework while substantially preserving some or all of the interpretation of the external model, determining a internal common representation for the external model within the framework, and displaying or storing the internal common representation in a tangible computer readable medium. In some embodiments, the method or system further comprises validating the accuracy of the internal common representation, determining an analysis or transformation capability for the framework, or outputting a first output model in a second external format. In various embodiments, the method or system requires no external tool compliance.

Claims

1. A computer implemented method for implementing external domain independent modeling framework in a system design, comprising:

importing a first external model in a first external format into an internal common modeling framework, in which

the action of importing a first external model further comprises substantially preserving some or all interpretation of the first external model, and

the computer implemented method requires no compliance on an external tool on which the first external model is constructed;

determining a first internal common representation for the first external model within the internal common modeling framework, in which the first internal common representation represents the first external model in a substantially common manner; and

displaying the first internal common representation of the first external model or storing the first internal common representation in a tangible computer readable medium.

2. The computer implemented method of claim 1, further comprising:

validating accuracy of the first internal common representation within the internal common modeling framework.

3. The computer implemented method of claim 1, further comprising:

determining an analysis or transformation capability for the internal common modeling framework.

4. The computer implemented method of claim 3, further comprising:

performing the analysis or transformation capability of the internal common modeling framework on the first internal representation within the internal common modeling framework.

5. The computer implemented method of claim 1, further comprising:

updating the internal common modeling framework to include the first internal common representation for the first external model.

6. The computer implemented method of claim 1, in which the action of importing a first external model comprises:

identifying the first external model in the first external format;

identifying a first set of semantics rules according to the first external format; and

compiling the first external model in the first external format according to the first semantics rules.

7. The computer implemented method of claim 6, in which the first set of semantics rules is identified from a repository which comprises a plurality of sets of semantics rules for compiling external models in a plurality of external formats.

8. The computer implemented method of claim 6, in which the action of compiling the first external model in the first external format comprises:

representing the first external model in a first intermediate internal representation within the internal common modeling framework while preserving the interpretation of the first external model in the first intermediate internal representation;

representing the first intermediate internal representation in the first internal representation by compiling the first intermediate internal representation.

9. The computer implemented method of claim 8, further comprising:

synchronizing the first intermediate internal representation within the internal common modeling framework.

10. The computer implemented method of claim 8, in which the action of compiling the first intermediate internal representation is performed by an imperative, an object oriented, or a dynamic programming language.

11. The computer implemented method of claim 1, further comprising:

outputting a first output model of the first internal common representation in a second external format.

12. The computer implemented method of claim 11, in which the action of outputting a first output model is performed in a manner to preserve interpretation of the first internal common representation.

13. The computer implemented method of claim 11, in which the second external format is a domain specific format.

14. The computer implemented method of claim 12, in which respective semantics or respective interpretation of the first external model, respective semantics or respective interpretation of the first internal common representation, and respective semantics or respective interpretation of the first output model are substantially identical.

15. The computer implemented method of claim 1, in which the action of preserving interpretation of a model comprises:

causing an external model and an internal representation of the external model within the internal common modeling framework to execute, simulate, emulate, or analyze in a substantially identical manner.

16. The computer implemented method of claim 1, in which the first internal common representation executes, simulates, or analyzes in a substantially identical manner within the internal common modeling framework as does the first external model in a respective first external domain.

17. The computer implemented method of claim 1, in which the first intermediate internal representation executes, simulates, or analyzes in a substantially identical manner within the internal common modeling framework as does the first external model in a respective first external domain.

18. The computer implemented method of claim 8, in which the first internal common representation executes, simulates, emulates, or analyzes in a substantially identical manner within the internal common modeling framework as does the first intermediate internal representation in the internal common modeling framework.

19. The computer implemented method of claim 1, in which the internal common modeling framework interpret all external models, each of which represents a part of the system design, in a substantially identical manner regardless of their respective external domains or respective external sources.

20. The computer implemented method of claim 1, in which the action of representing substantially all external models in a common manner comprises representing the substantially all external models regardless of an external source or an external format of the substantially all external models.

21. The computer implemented method of claim 1, in which the internal common modeling framework represents substantially all external models of the system design in a common manner.

22. The computer implemented method of claim 21, in which the action of representing substantially all external models of the system design in a common manner comprises representing the substantially all external models regardless of one or more external sources or one or more external formats of the substantially all external models.

23. The computer implemented method of claim 1, in which a portion of the method comprises an embedded software.

24. A system for implementing external domain independent modeling framework in a system design, comprising:

means for importing a first external model in a first external format into an internal common modeling framework, in which

the means for importing a first external model further comprises means for substantially preserving some or all interpretation of the first external model, and

the system requires no compliance on an external tool on which the first external model is constructed;

means for determining a first internal common representation for the first external model within the internal common modeling framework, in which the first internal common representation represents the first external model in a substantially common manner; and

means for displaying the first internal common representation of the first external model or storing the first internal common representation in a tangible computer readable medium.

25. A computer program product that includes a medium usable by a processor, the medium having stored thereon a sequence of instructions which, when executed by said processor, causes said processor to execute a process for implementing external domain independent modeling framework in a system design, the process comprising:

importing a first external model in a first external format into the internal common modeling framework, in which

the action of importing a first external model further comprises substantially preserving some or all interpretation of the first external model, and

the computer implemented method requires no compliance on an external tool on which the first external model is constructed;

determining a first internal common representation for the first external model within the internal common modeling framework, in which the first internal common representation represents the first external model in a substantially common manner; and

displaying the first internal common representation of the first external model or storing the first internal common representation in a tangible computer readable medium.