| Cím | Mathematical Model Transformation for System Verification |
| Közlemény típusa | Miscellaneous |
| Kiadás éve | 2000 |
| Szerzők | Varró, D., and Pataricza, A. |
| Kiadás dátuma | June |
| Kiadó | Budapest University of Technology and Economics, Dept. of Measurement and Information Systems |
| Kiadás nyelve | eng |
| Kulcsszavak | graph transformation, model transformation, system verification, UML |
| Összefoglalás | The design process of complex, dependable systems requires a precise verification of design decisions during the system modelling phase using formal methods. For that reason, the mathematical models of various formal verification tools are planned to be automatically derived from the system model usually constructed from UML-diagrams. In the paper, a general framework for an automated model transformation system is introduced providing a uniform formal description method of such transformations by applying the powerful computational paradigm of graph transformation. |
| URL | http://www.inf.mit.bme.hu/FTSRG/Publications/varro/2000/TR-06-2000.pdf |
