Stochastic Activity Networks Templates
Research Area: | Uncategorized | Year: | 2018 | ||
---|---|---|---|---|---|
Type of Publication: | Technical Report | ||||
Authors: | Leonardo Montecchi; Paolo Lollini; Andrea Bondavalli | ||||
Institution: | Resilient Computing Lab | ||||
Number: | RCL180401 | ||||
Month: | April | ||||
BibTex: |
|||||
Abstract: | 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:
![]() |