This technical report defines Stochastic Activity Networks Templates (SAN-T), a formalism based on Stochastic Activity Networks (SAN), with the addition of variability aspects. Its purpose is to define library of model templates, as in [1]. In Section 1 we recall the definition of Stochastic Activity Networks (SAN), while in Section 2 we introduce SAN Templates (SAN-T). The concretize() function to generate a SAN concrete model from a SAN-T is defined in Section 3. Finally, the notion of compatibility between a template specification, and its implementation with SAN-T is defined in Section 4.

Full text: sant-report.pdf