Abstract
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement (SSIRI, Jeju Island, South Korea, June 27-29, 2011) |
| Publisher | Institute of Electrical and Electronics Engineers |
| Pages | 120-127 |
| ISBN (Print) | 978-1-4577-0781-0 |
| DOIs | |
| Publication status | Published - 2011 |
Fingerprint
Cite this
}
Using a DSL and fine-grained model : transformations to explore the boundaries of model verification. / Amstel, van, M.F.; Brand, van den, M.G.J.; Engelen, L.J.P.
Proceedings of the 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement (SSIRI, Jeju Island, South Korea, June 27-29, 2011). Institute of Electrical and Electronics Engineers, 2011. p. 120-127.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
TY - GEN
T1 - Using a DSL and fine-grained model : transformations to explore the boundaries of model verification
AU - Amstel, van, M.F.
AU - Brand, van den, M.G.J.
AU - Engelen, L.J.P.
PY - 2011
Y1 - 2011
N2 - Traditionally, the state-space explosion problem in model checking is handled by applying abstractions and simplifications to the model that needs to be verified. In this paper, we propose a model-driven engineering approach that works the other way around. Instead of making a concrete model more abstract, we propose to refine an abstract model to make it more concrete. We propose to use fine-grained model transformations to enable model checking of models that are as close to the implementation model as possible. We applied our approach in a case study. The results show that it is possible to validate models that are more concrete when fine-grained transformations are applied.
AB - Traditionally, the state-space explosion problem in model checking is handled by applying abstractions and simplifications to the model that needs to be verified. In this paper, we propose a model-driven engineering approach that works the other way around. Instead of making a concrete model more abstract, we propose to refine an abstract model to make it more concrete. We propose to use fine-grained model transformations to enable model checking of models that are as close to the implementation model as possible. We applied our approach in a case study. The results show that it is possible to validate models that are more concrete when fine-grained transformations are applied.
U2 - 10.1109/SSIRI-C.2011.26
DO - 10.1109/SSIRI-C.2011.26
M3 - Conference contribution
SN - 978-1-4577-0781-0
SP - 120
EP - 127
BT - Proceedings of the 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement (SSIRI, Jeju Island, South Korea, June 27-29, 2011)
PB - Institute of Electrical and Electronics Engineers
ER -