Synchronous data flow model language analysis method based on Antlr

Through the extension of Lustre V6 and Antlr parsing, an abstract syntax tree of the OnModel language is generated, which solves the efficiency and quality problems of software development tools and supports static analysis and formal verification in the MBSE field.

CN120010859APending Publication Date: 2025-05-16BEIJING INST OF COMP TECH & APPL
View PDF 5 Cites 0 Cited by

Patent Information

Application Number
CN202510183346.8
Authority / Receiving Office
CN · China
Patent Type
Applications(China)
Current Assignee / Owner
Filing Date
2025-02-19
Publication Date
2025-05-16

Smart Images

  • Figure CN120010859A_ABST
    Figure CN120010859A_ABST
Patent Text Reader

Abstract

The invention relates to an Antlr-based synchronous data flow model language analysis method, and belongs to the field of model-based software development tools. According to the method, the extended standard synchronous data stream language Lustre V6 can be analyzed, the required abstract syntax tree is generated, and a basis is provided for functions such as static analysis and formalized verification of the model subsequently. The method comprises the following steps: firstly, analyzing the characteristics of a model language, and expanding on a standard Lustre V6 grammar rule to form a new model language OnModel; according to the expanded grammar rule, a barkes normal form corresponding to OnModel is realized, and a corresponding lexical and grammar analyzer is constructed based on Antlr; according to the Barkes normal form and subsequent analysis requirements on the model, an abstract syntax tree structure is designed, construction of the abstract syntax tree is completed, and model static analysis, model formalization verification, code generation and development and implementation of other functions can be performed subsequently on the basis of the abstract syntax tree.
Need to check novelty before this filing date? Find Prior Art

Citation Information

Patent Citations

  • Method and device for compiling DSL (Domain Specific Language) based on remote control operation

    CN115469875A

  • Model-based visual software development tool implementation method

    CN115964033A

  • Model measurement method based on extended Lustre language

    CN116149624A

  • Model formalized verification method based on extended Lustre language

    CN116150005A

  • Data processing method and device, equipment and medium

    CN116483850A