Log In Sign Up

A Formal Definition of Stochastic Activity Networks Templates

by   Leonardo Montecchi, et al.

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.


TempLM: Distilling Language Models into Template-Based Generators

While pretrained language models (PLMs) have greatly improved text gener...

Few-Shot Natural Language Generation by Rewriting Templates

Virtual assistants such as Google Assistant, Alexa and Siri enable users...

Integrated Visualization Editing via Parameterized Declarative Templates

Interfaces for creating visualizations typically embrace one of several ...

Mining Error Templates for Grammatical Error Correction

Some grammatical error correction (GEC) systems incorporate hand-crafted...

Formal Connections between Template and Anchor Models via Approximate Simulation

Reduced-order template models like the Linear Inverted Pendulum (LIP) an...

Non-repudiable provenance for clinical decision support systems

Provenance templates are now a recognised methodology for the constructi...

GenoM3 Templates: from Middleware Independence to Formal Models Synthesis

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