Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract

G. Engels, M. Lohmann, S. Sauer, R. Heckel, in: Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil), Springer, Berlin/Heidelberg, 2006, pp. 336–350.

Download
No fulltext has been uploaded.
Conference Paper | English
Author
; ; ;
Abstract
The model-driven development (MDD) approach for constructing software systems advocates a stepwise refinement and transformation process starting from high-level models to concrete program code. In contrast to numerous research efforts that try to generate executable function code from models, we propose a novel approach termed model-driven monitoring. Here, models are used to specify minimal requirements and are transformed into assertions on the code level for monitoring hand-coded programs during execution. We show how well-understood results from the graph transformation community can be deployed to support this model-driven monitoring approach. In particular, models in the form of visual contracts are defined by graph transitions with loose semantics, while the automatic transformation from models to JML assertions on the code level is defined by strict graph transformation rules. Both aspects are supported and realized by a dedicated Eclipse plug-in.
Publishing Year
Proceedings Title
Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil)
Volume
4178
Page
336-350
LibreCat-ID

Cite this

Engels G, Lohmann M, Sauer S, Heckel R. Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract. In: Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil). Vol 4178. LNCS. Berlin/Heidelberg: Springer; 2006:336-350. doi:http://dx.doi.org/10.1007/11841883
Engels, G., Lohmann, M., Sauer, S., & Heckel, R. (2006). Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract. In Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil) (Vol. 4178, pp. 336–350). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/11841883
@inproceedings{Engels_Lohmann_Sauer_Heckel_2006, place={Berlin/Heidelberg}, series={LNCS}, title={Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract}, volume={4178}, DOI={http://dx.doi.org/10.1007/11841883}, booktitle={Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil)}, publisher={Springer}, author={Engels, Gregor and Lohmann, Marc and Sauer, Stefan and Heckel, Reiko}, year={2006}, pages={336–350}, collection={LNCS} }
Engels, Gregor, Marc Lohmann, Stefan Sauer, and Reiko Heckel. “Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract.” In Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil), 4178:336–50. LNCS. Berlin/Heidelberg: Springer, 2006. http://dx.doi.org/10.1007/11841883.
G. Engels, M. Lohmann, S. Sauer, and R. Heckel, “Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract,” in Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil), 2006, vol. 4178, pp. 336–350.
Engels, Gregor, et al. “Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract.” Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil), vol. 4178, Springer, 2006, pp. 336–50, doi:http://dx.doi.org/10.1007/11841883.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar