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
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

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web