Login



An Eclipse-Based Editor for SAN Templates

Research Area: Uncategorized Year: 2020
Type of Publication: In Proceedings
Authors: Leonardo Montecchi; Paolo Lollini; Federico Moncini; Kenneth Keefe
Editor: Bernardi, Simona and Vittorini, Valeria and Flammini, Francesco and Nardone, Roberto and Marrone, Stefano and Adler, Rasmus and Schneider, Daniel and Schleiß, Philipp and Nostro, Nicola and Lovenstein Olsen, Rasmus and Di Salle, Amleto and Masci, Paolo
Book title: Dependable Computing - EDCC 2020 Workshops
Pages: 159-167
Address: Cham
ISBN: 978-3-030-58462-7
BibTex:
Abstract:
Mathematical models are an effective tool for studying the properties of complex systems. Constructing such models is a challenging task that often uses repeated patterns or templates. The Template Models Description Language (TMDL) has been developed to clearly define model templates that are used to generate model instances from the template specification. This paper describes the tool support that is being developed for applying the TDML approach with Stochastic Activity Networks (SANs) models. In particular, this paper details a graphical editor for SAN templates, which assists users in creating template-level models based on SANs. From these specifications, it will be possible to generate by model-transformation the subsequent instance-level models, which can be studied by simulation or analytical tools.

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web