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.

An Eclipse-Based Editor for SAN Templates / Montecchi, Leonardo; Lollini, Paolo; Moncini, Federico; Keefe, Kenneth. - ELETTRONICO. - 1279:(2020), pp. 159-167. (Intervento presentato al convegno International Workshop on Software Engineering for Resilient Systems nel 7 September, 2020) [10.1007/978-3-030-58462-7_13].

An Eclipse-Based Editor for SAN Templates

Montecchi, Leonardo;Lollini, Paolo
;
2020

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.
2020
Dependable Computing - EDCC 2020 Workshops
International Workshop on Software Engineering for Resilient Systems
7 September, 2020
Goal 9: Industry, Innovation, and Infrastructure
Montecchi, Leonardo; Lollini, Paolo; Moncini, Federico; Keefe, Kenneth
File in questo prodotto:
File Dimensione Formato  
serene-paper6.pdf

accesso aperto

Descrizione: versione finale referata
Tipologia: Versione finale referata (Postprint, Accepted manuscript)
Licenza: Tutti i diritti riservati
Dimensione 705.49 kB
Formato Adobe PDF
705.49 kB Adobe PDF

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/1207177
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 1
social impact