Designing the automatic transformation of visual languages

Dániel Varró, Gergely Varró, András Pataricza

Research output: Contribution to journalArticle

88 Citations (Scopus)


The design process of complex systems requires a precise checking of the functional and dependability attributes of the target design. The growing complexity of systems necessitates the use of formal methods, as the exhaustiveness of checks performed by the traditional simulation and testing is insufficient. For this reason, the mathematical models of various formal verification tools are automatically derived from UML-diagrams of the model by mathematical transformations guaranteeing a complete consistency between the target design and the models of verification and validation tools. In the current paper, a general framework for an automated model transformation system is presented. The method starts from a uniform visual description and a formal proof concept of the particular transformations by integrating the powerful computational paradigm of graph transformation, planner algorithms of artificial intelligence, and various concepts of computer engineering.

Original languageEnglish
Pages (from-to)205-227
Number of pages23
JournalScience of Computer Programming
Issue number2
Publication statusPublished - Jul 1 2002


  • Dependability
  • Graph transformation
  • MOF
  • Model transformation
  • Planner algorithms
  • System verification
  • UML
  • Validation
  • Visual languages

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Designing the automatic transformation of visual languages'. Together they form a unique fingerprint.

  • Cite this