Workshop Paper Tool Paper

An Eclipse-Based Editor for SAN Templates

PDF Online

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.
DOI https://doi.org/10.1007/978-3-030-58462-7_13
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, 2020
Pages 159-167
Publisher Springer
Series CCIS
Volume 1279
ISBN PRINT: 978-3-030-58461-0
ELECTRONIC: 978-3-030-58462-7
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},
  pages = {159-167},
  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), pp. 159-167. Munich, Germany, September 7, 2020.
 
 

© 2017-2020 Leonardo Montecchi