Towards Verifying Model Transformations | Zendy

Anantha Narayanan | Zendy; Gábor Karsai | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Towards Verifying Model Transformations

Author(s) -

Anantha Narayanan,

Gábor Karsai

Publication year - 2008

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2008.04.041

Subject(s) - model transformation , computer science , programming language , graph rewriting , transformation (genetics) , equivalence (formal languages) , operational semantics , semantics (computer science) , formal semantics (linguistics) , theoretical computer science , model checking , graph , artificial intelligence , mathematics , discrete mathematics , biochemistry , chemistry , consistency (knowledge bases) , gene

In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and performing the verification and analysis on the analysis model. Graph transformation is increasingly being used to automate this conversion. In such a scenario, it is very important that the conversion preserves the semantics of the design model. This paper discusses an approach to verify this semantic equivalence for each transformation. We will show how to check whether a particular transformation resulted in an output model that preserves the semantics of the input model with respect to a particular property

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research