(1) The Behavior Annex document provides a standard sublanguage extension to allow behavior specifications to be attached to AADL components. The aim of the Behavior Annex is to refine the implicit behavior specifications that are specified by the core of the language. The Behavior Annex targets the following goals: • Describe the internal behavior of component implementations as a state transition system with guards and actions. However, the aim is not to replace software programming languages or to express complex subprogram computations. • Extend the default run-time execution semantics that is specified by the core of the standard, such as thread dispatch protocols. • Provide more precise subprogram calls synchronization protocols for client-server architectures.
This is a revision of Annex D, which is part of Annex Volume 2 (AS5506/2). The revision reflects errata that have been discussed in the committee and incorporated into the revised draft document. We are balloting this annex separate from the other two annexes in Volume 2. We are now giving each annex a separate document number.