4. Processing of AADL Models
This note discusses support for processing AADL models. After a short summary of the three types of models, the section discusses processing support based on various forms of traversal of declarative AADL models as well as AADL instance models. These methods are the basis for many analysis and generation plug-ins to OSATE that process AADL models but do not change the models.
This is followed by a discussion of methods that manipulate the models, i.e., make changes to the models.