© 2017-2024 Leonardo Montecchi
Workshop Paper Tool Paper
Authors | |
---|---|
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 TextL. 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-2024 Leonardo Montecchi