DeepAI
Log In Sign Up

A Formal Definition of Stochastic Activity Networks Templates

06/07/2020
by   Leonardo Montecchi, et al.
0

Model-based evaluation has been extensively used to estimate performance and reliability metrics of computer systems, especially critical systems, for which experimental approaches are not always applicable. A significant challenge is constructing and maintaining the models for large-scale and possibly evolving systems. In a recent work we defined the Template Models Description Language (TMDL) framework, an approach to improve reuse in the specification of performability models. The approach is based on the concept of libraries of model templates that interact using well-defined interfaces. To apply the framework, some assumptions must be satisfied. In particular, a template-level version of the formalism that will be used for the analysis needs to be defined. A template-level formalism is essentially a parameterized abstracted version of a certain modeling specific formalism, from which concrete instances can be automatically derived. In this paper we give the formal definition of Stochastic Activity Networks Templates (SAN-T), a formalism based on SANs with the addition of variability aspects that can be used to define model templates. We then discuss its concrete application to a simple example in the telecom domain.

READ FULL TEXT
05/23/2022

TempLM: Distilling Language Models into Template-Based Generators

While pretrained language models (PLMs) have greatly improved text gener...
04/30/2020

Few-Shot Natural Language Generation by Rewriting Templates

Virtual assistants such as Google Assistant, Alexa and Siri enable users...
01/19/2021

Integrated Visualization Editing via Parameterized Declarative Templates

Interfaces for creating visualizations typically embrace one of several ...
06/23/2022

Mining Error Templates for Grammatical Error Correction

Some grammatical error correction (GEC) systems incorporate hand-crafted...
09/20/2019

Formal Connections between Template and Anchor Models via Approximate Simulation

Reduced-order template models like the Linear Inverted Pendulum (LIP) an...
06/19/2020

Non-repudiable provenance for clinical decision support systems

Provenance templates are now a recognised methodology for the constructi...
07/26/2018

GenoM3 Templates: from Middleware Independence to Formal Models Synthesis

GenoM is an approach to develop robotic software components, which can b...