Towards symbolic analysis of visual modeling languages

Research output: Conference article

15 Citations (Scopus)


Graph transformation has recently become more and more popular as a general, rule-based visual specification paradigm to formally capture the operational semantics of modeling languages based on metamodeling techniques as demonstrated by benchmark applications focusing on the formal treatment of the Unified Modeling Language (UML). In the paper, we enable model checking-based symbolic verification for such modeling languages by providing a meta-level transformation of well-formed model instances into SAL specifications. We also discuss several optimizations in the translation process that makes our approach efficient and independent of the SAL framework.

Original languageEnglish
Pages (from-to)51-64
Number of pages14
JournalElectronic Notes in Theoretical Computer Science
Issue number3
Publication statusPublished - febr. 2003
EventGT-VMT'2002, Graph Transformation and Visual Modeling Techniques (First International Conference on Graph Transformation) - Barcelona, Spain
Duration: okt. 11 2002okt. 12 2002

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Towards symbolic analysis of visual modeling languages'. Together they form a unique fingerprint.

  • Cite this