Workshop Paper To Appear

An Eclipse-Based Editor for SAN Templates

Authors Leonardo Montecchi Federico Moncini Paolo Lollini Kenneth Keefe
Abstract
Mathematical models are an effective tool for studying theproperties of complex systems. Constructing such models is a challeng-ing task that often uses repeated patterns or templates. The TemplateModels Description Language (TMDL) has been developed to clearlydefine model templates that are used to generate model instances fromthe template specification. This paper describes the tool support that isbeing developed for applying the TDML approach with Stochastic Activ-ity Networks (SANs) models. In particular, this paper details a graphicaleditor for SAN templates, which assists users in creating template-levelmodels based on SANs. From these specifications, it will be possible togenerate by model-transformation the subsequent instance-level models, which can be studied by simulation or analytical tools.
Event 12th International Workshop on Software Engineering for Resilient Systems (SERENE 2020)
Main Event 16th European Dependable Computing Conference (EDCC 2020)
Venue Munich, Germany
Date September 7-10, 2020 (To appear)
Publisher Springer
Series LNCS
Citation
Bibtex
@inproceedings{2020SERENE,
  author = {Montecchi, Leonardo and Moncini, Federico and Lollini, Paolo and Keefe, Kenneth},
  title = {{An Eclipse-Based Editor for SAN Templates}},
  booktitle = {12th International Workshop on Software Engineering for Resilient Systems (SERENE 2020)},
  address = {Munich, Germany},
  date = {2020-09-07/2020-09-10},
  note = {\emph{To appear}},
  year = {2020}
}

Plain Text
L. Montecchi, F. Moncini, P. Lollini, K. Keefe. An Eclipse-Based Editor for SAN Templates. In: 12th International Workshop on Software Engineering for Resilient Systems (SERENE 2020). Munich, Germany, September 7-10, 2020.
 
 

© 2017-2020 Leonardo Montecchi