Implementing the compiler of AADL behavior annex using ANTLR

Abstract

Behavior Annex is the extension of AADL which enhances AADL's detailed description of system's behavior. It provides better support for modeling and analyzing system's non-functional properties, such as reliability and security. The analysis for the properties of AADL model is based on the model compilation. Hence, in order to facilitate the extraction of the AADL's behavior model during the model analysis, we design the compiler of behavior annex to transform behavior model into structured XML documents based on the characteristic of AADL components. This article uses the compiler generating tool ANTLR to implement the lexical and syntactic parser of behavior annex and designs the meta-model classes of behavior annex using EMF. We call the meta-model classes during the syntactic analysis to generate the class objects and complete the parser of AADL behavior model. Finally, the compiler uses the EMF's internal XMI specification to transform the model class objects into XML documents.