The goal that was set for this document in Annex 1
was to provide a "guide to using AP-level modeling containers". In
order that this goal can be accomplished more comprehensively, this
document contains an informal introduction to
HRT-UML/RCM, the methodology based on the Ravenscar Computational Model
(RCM) defined in the context of the ASSERT project, where the notion of
AP-level (modeling) container was first defined, promoted and pursued.
The document is edited in the form of a tutorial addressed to ASSERT
system designers, with the objective to ease their familiarization with
the
HRT-UML/RCM toolset across all modeling views which are traversed as
part
of the proposed development process. The view in which AP-level
(modeling) containers are used is in fact a key pivot element to the
entire modeling approach. The reader of this document is expected to be
familiar with the basic notions of UML modeling as well as with the
foundations of Model-Driven Engineering. The document does
intentionally refrains from duplicating information which may be found
in the User Guide to the HRT-UML/RCM toolset: this document is
therefore best understood by relating the provided information to the
actual features, capabilities and actions of the HRT-UML/RCM toolset.