![]() ![]() |
||||
|
||||
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. |
||||