Next: Ada Mapping Rules, Previous: A Tutorial of AADL & Ocarina, Up: Top
This chapter describes Ocarina's API, an API to manipulate AADL models.