Workshop Paper Tool Paper

An Eclipse-Based Editor for SAN Templates

PDF Online

Authors Leonardo Montecchi Paolo Lollini Federico Moncini 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 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 Lollini, Paolo and Moncini, Federico 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, P. Lollini, F. Moncini, 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-2022 Leonardo Montecchi