Source code translation
First Claim
1. A method for software specification translation, the method including:
- receiving a first software specification specified in a first programming language, wherein the first programming language is a procedural programming language;
receiving a second software specification specified in a second programming language, wherein the second programming language is a procedural programming language;
receiving a third software specification specified in a third programming language different from the first and second programming languages, the third software specification referencing the first and second software specifications and constraining a flow of execution, and the third software specification defining one or more data relationships between the first software specification and the second software specification, where the data relationships are defined based on references to specified datasets;
forming a representation of the first software specification in a fourth programming language different from the first, second, and third programming languages, wherein the fourth programming language is a dataflow graph-based programming language;
forming a representation of the second software specification in the fourth programming language;
analyzing the third software specification to identify the one or more data relationships; and
forming a combined representation of the first software specification and the second software specification in the fourth programming language including forming connections in the fourth programming language between the representation of the first software specification in the fourth programming language and the representation of the second software specification in the fourth programming language according to the identified one or more data relationships.
3 Assignments
0 Petitions
Accused Products
Abstract
Software specification translation includes: receiving a first software specification specified in a first programming language, a second software specification specified in a second programming language, a third software specification specified in a third programming language, the third software specification defining one or more data relationships between the first software specification and the second software specification. A combined representation of the first software specification and the second software specification is formed in a fourth programming language different from the first, second, and third programming languages. Connections are formed in the fourth programming language between a representation of the first software specification and the representation of the second software specification according to identified data relationships.
107 Citations
52 Claims
-
1. A method for software specification translation, the method including:
-
receiving a first software specification specified in a first programming language, wherein the first programming language is a procedural programming language; receiving a second software specification specified in a second programming language, wherein the second programming language is a procedural programming language; receiving a third software specification specified in a third programming language different from the first and second programming languages, the third software specification referencing the first and second software specifications and constraining a flow of execution, and the third software specification defining one or more data relationships between the first software specification and the second software specification, where the data relationships are defined based on references to specified datasets; forming a representation of the first software specification in a fourth programming language different from the first, second, and third programming languages, wherein the fourth programming language is a dataflow graph-based programming language; forming a representation of the second software specification in the fourth programming language; analyzing the third software specification to identify the one or more data relationships; and forming a combined representation of the first software specification and the second software specification in the fourth programming language including forming connections in the fourth programming language between the representation of the first software specification in the fourth programming language and the representation of the second software specification in the fourth programming language according to the identified one or more data relationships. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17)
-
-
18. Software stored in a non-transitory form on a computer-readable medium, for software specification translation, the software including instructions for causing a computing system to:
-
receive a first software specification specified in a first programming language, wherein the first programming language is a procedural programming language; receive a second software specification specified in a second programming language, wherein the second programming language is a procedural programming language; receive a third software specification specified in a third programming language different from the first and second programming languages, the third software specification referencing the first and second software specifications and constraining a flow of execution, and the third software specification defining one or more data relationships between the first software specification and the second software specification, where the data relationships are defined based on references to specified datasets; form a representation of the first software specification in a fourth programming language different from the first, second, and third programming languages, wherein the fourth programming language is a dataflow graph-based programming language; form a representation of the second software specification in the fourth programming language; analyze the third software specification to identify the one or more data relationships; and form a combined representation of the first software specification and the second software specification in the fourth programming language including forming connections in the fourth programming language between the representation of the first software specification in the fourth programming language and the representation of the second software specification in the fourth programming language according to the identified one or more data relationships. - View Dependent Claims (19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31)
-
-
32. A computing system for software specification translation, the computing system including:
-
an input device or port configured to receive software specifications, the software specifications including; a first software specification specified in a first programming language, wherein the first programming language is a procedural programming language; a second software specification specified in a second programming language, wherein the second programming language is a procedural programming language; a third software specification specified in a third programming language different from the first and second programming languages, the third software specification referencing the first and second software specifications and constraining a flow of execution, and the third software specification defining one or more data relationships between the first software specification and the second software specification, where the data relationships are defined based on references to specified datasets; and at least one processor configured to process the received software specifications, the processing including; forming a representation of the first software specification in a fourth programming language different from the first, second, and third programming languages, wherein the fourth programming language is a dataflow graph-based programming language; forming a representation of the second software specification in the fourth programming language; analyzing the third software specification to identify the one or more data relationships; and forming a combined representation of the first software specification and the second software specification in the fourth programming language including forming connections in the fourth programming language between the representation of the first software specification in the fourth programming language and the representation of the second software specification in the fourth programming language according to the identified one or more data relationships. - View Dependent Claims (33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48)
-
-
49. A computing system for software specification translation, the computing system including:
-
means for receiving software specifications, the software specifications including; a first software specification specified in a first programming language, wherein the first programming language is a procedural programming language; a second software specification specified in a second programming language, wherein the second programming language is a procedural programming language; a third software specification specified in a third programming language different from the first and second programming languages, the third software specification referencing the first and second software specifications and constraining a flow of execution, and the third software specification defining one or more data relationships between the first software specification and the second software specification, where the data relationships are defined based on references to specified datasets; and means for processing the received software specifications, the processing including; forming a representation of the first software specification in a fourth programming language different from the first, second, and third programming languages, wherein the fourth programming language is a dataflow graph-based programming language; forming a representation of the second software specification in the fourth programming language; analyzing the third software specification to identify the one or more data relationships; and forming a combined representation of the first software specification and the second software specification in the fourth programming language including forming connections in the fourth programming language between the representation of the first software specification in the fourth programming language and the representation of the second software specification in the fourth programming language according to the identified one or more data relationships. - View Dependent Claims (50, 51, 52)
-
Specification