Documentation

An AADL model can be edited through several diagram types :


AADLSpec Diagram
Extend and Implement links
  • An Implements relation is used to associate a ComponentImplementation with a ComponentType of the same category (System, Data, Thread, ...).
  • An Extends relation is used to make a Component extending another Component of the same type (Impl or Type) and category (System, Data, Thread, ...)
  • Extends and Implements connections can only be deleted graphically.
  • When an Implements connection is removed, all Feature elements that may have been created and that are dependent on the connection are also deleted.
Instance Diagram
Mode and ModeTransition The user can add Mode in an Instance Diagram. Two types of Mode are available : InitialMode (with State = "INITIAL") and Mode (with State = "NORMAL"). ModeTransition may be then created between two Mode elements. After the creation, an EventPort must be specified in the popup dialog : this represent the Event that is used to switch between the two Modes.
General
Graphical Editing The graphical editor has a palette with all the language constructs that are graphically supported. New model objects are created by selecting an item on the palette and placing it in the diagram by placing the mouse at the desired location and clicking once.
Features creation Features can be placed into ComponentTypes, ComponentImplementations, and into Subcomponents. In all cases the Feature is actually created is created in the first ComponentType (if it exists, otherwise Features cannot be added) and shown with all Implementations and Subcomponents. If the shown Features are thought out of date a Refresh Features command in the context menu for the selected element will update the Features being displayed. The default direction of Features can be changed by selecting the drop-down menu on the right of the Feature entry in the palette.

featureSelectionInPalette

The AADL Property Values View Whenever you select a model element either in the editor or in the outline and that this element may contains Properties, its AADL Properties are shown in a dedicated view : the AADL Property Values View taken from the OSATE AADL properties viewer and editor. This editor allows the user to change and add property values through context menu commands. When a property is associated to a model element such as a Subcomponent, the user is given the choice of associating it to the selected component or to its classifier.

aadlPropertyValuesView

Outline View The graphical editor also has an Outline View that shows an overview of the diagram for quick viewing of different parts of the diagram and an object model navigator. When selecting a model object in the model navigator commands that are acceptable for that model object are available. The user can create objects in the model without adding them to the diagram, and can invoke analysis actions available through OSATE analysis plug-ins.