by Maria Maximova, Holger Giese, Christian Krause
Abstract:
Today, software has become an intrinsic part of complex distributed embedded real-time systems. The next generation of embedded real-time systems will interconnect the today unconnected systems via complex software parts and the service-oriented paradigm. Therefore besides timed behavior and probabilistic behavior also structure dynamics, where the architecture can be subject to changes at run-time, e.g. when dynamic binding of service end-points is employed or complex collaborations are established dynamically, is required. However, a modeling and analysis approach that combines all these necessary aspects does not exist so far. To fill the identified gap, we propose Probabilistic Timed Graph Transformation Systems (PTGTSs) as a high-level description language that supports all the necessary aspects of structure dynamics, timed behavior, and probabilistic behavior. We introduce the formal model of PTGTSs in this paper and present a mapping of models with finite state spaces to probabilistic timed automata (PTA) that allows to use the PRISM model checker to analyze PTGTS models with respect to PTCTL properties.
Reference:
Probabilistic Timed Graph Transformation Systems (Maria Maximova, Holger Giese, Christian Krause), In Graph Transformation - 10th International Conference, ICGT 2017 Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings, 2017.
Bibtex Entry:
@InProceedings{DBLP:confggMaximovaGK17,
AUTHOR = {Maximova, Maria and Giese, Holger and Krause, Christian},
TITLE = {{Probabilistic Timed Graph Transformation Systems}},
YEAR = {2017},
BOOKTITLE = {Graph Transformation - 10th International Conference, ICGT 2017 Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings},
PAGES = {159--175},
URL = {doi.org/10.1007/978-3-319-61470-0_10},
PDF = {uploads/pdf/DBLP:confggMaximovaGK17_PTGTSs.pdf},
OPTacc_pdf = {},
SLIDES = {uploads/slides/DBLP:confggMaximovaGK17_PTGTSs ohne Anhang.pdf},
OPTacc_slides = {},
ABSTRACT = {Today, software has become an intrinsic part of complex distributed embedded real-time systems. The next generation of embedded real-time systems will interconnect the today unconnected systems via complex software parts and the service-oriented paradigm. Therefore besides timed behavior and probabilistic behavior also structure dynamics, where the architecture can be subject to changes at run-time, e.g. when dynamic binding of service end-points is employed or complex collaborations are established dynamically, is required. However, a modeling and analysis approach that combines all these necessary aspects does not exist so far.
To fill the identified gap, we propose Probabilistic Timed Graph Transformation Systems (PTGTSs) as a high-level description language that supports all the necessary aspects of structure dynamics, timed behavior, and probabilistic behavior. We introduce the formal model of PTGTSs in this paper and present a mapping of models with finite state spaces to probabilistic timed automata (PTA) that allows to use the PRISM model checker to analyze PTGTS models with respect to PTCTL properties.}
}