公开(公告)号：US20230385056A1

公开(公告)日：2023-11-30

申请号：US17752757

申请日：2022-05-24

申请人： Red Hat, Inc.

发明人： Edoardo Vacchi ,  Paolo Antinori

IPC分类号： G06F8/72

CPC分类号： G06F8/72

摘要： Removing inactive components to facilitate code generation. A first file that includes a first group of components in a first notation syntax and a second file that includes a second group of components in a second notation syntax is received. A first set of inactive components of the first group of components is identified. A second set of inactive components of the second group of components is identified. The components of the first group of components and the second group of components that are not marked as inactive components are active components. Code to be executed based on the active components is generated.

公开(公告)号：US20230385036A1

公开(公告)日：2023-11-30

申请号：US17824002

申请日：2022-05-25

申请人： Red Hat, Inc.

发明人： Edoardo Vacchi ,  Paolo Antinori

IPC分类号： G06F8/35

CPC分类号： G06F8/35

摘要： In various examples disclosed herein, provided is a method for mapping data models to facilitate code generation. The method can include receiving a first file comprising a first data model of a first group of components and a second file comprising a second data model of a second group of components. The method can also include converting the first data model into a first intermediate data model. The method can also include converting the second data model into a second intermediate data model. The method can also include mapping the first intermediate data model to the second intermediate data model to generate a map of matching elements. The method can also include generating code to be executed based at least in part on the map of matching elements.

公开(公告)号：US20230325156A1

公开(公告)日：2023-10-12

申请号：US17716779

申请日：2022-04-08

申请人： Red Hat, Inc.

发明人： Edoardo Vacchi ,  Paolo Antinori

IPC分类号： G06F8/35 ,  G06F8/41

CPC分类号： G06F8/35 ,  G06F8/42 ,  G06F8/436

摘要： In various examples disclosed herein, provided is a method and system for cross-validating files to facilitate code generation. The system can perform the cross-validation in phases of disparate files to enable the interoperability of the files. The files can include representations of tasks that are organized differently and differ in format and semantics. The method and system described herein can perform syntax and semantic validation on the files to check for errors, and then identify terms and names identified in the tasks associated with the files along with signatures (e.g., schemas for data models or function signatures for function invocations) associated with the names. After error checking is complete, and after the names and signatures are identified, the names and signatures in the respective files can be cross-validated to find matching tasks, and code is generated that utilizes the cross-validated and matching tasks.