The following rules are recommended when using AADL for modeling a system. These are more modeling guidelines and are not mandatory. However, they are recommended in case you want to use a consistency naming rules and also want to share your models with other AADL users that might be used to them.
AADL entity | Rules | Examples |
All |
|
process pr_receive_http_request |
Files |
|
Example: package foo::bar is stored as foo-bar.aadl |
Component type |
|
process pr_receive_http_request |
Connections |
|
conn_source_dst : port source.dout -> dest.din |
Indentation | Blocks should be indenteded in a consistent manner, using either spaces or tab |
process myprocess features f1 : in event port; f2 : out event port; properties Property_Name => Property_Value; end myprocess; |
Features |
|
process chronometer features in_minute_elapsed : in event port; end chronometer; |