Appendix A. Syntax and Property Summary

A.1. AADL Syntax

The AADL syntax and grammar rules summarized in Listing A-1 conform to the AADL standard document [AS5506A]. The following table shows what some of the notations in the listing mean.

Image

Listing A-1. Summary of AADL Language

-- Packages to structure component specifications into libraries AADL_model ::= package_spec | property_set package_spec ::= package package_name ( public package_content [  private package_content ] | private package_content ) [ properties ( { property_association }+ | none_statement ) ] end package_name ; package_name ::= { package_identifier ...

Get Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.