Behavioral Refinement of Graph Transformation-Based Models | Zendy

Reiko Heckel | Zendy; Sebastian Thöne | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Behavioral Refinement of Graph Transformation-Based Models

Author(s) -

Reiko Heckel,

Sebastian Thöne

Publication year - 2005

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.2004.08.037

Subject(s) - graph rewriting , computer science , model transformation , transformation (genetics) , theoretical computer science , graph , relation (database) , programming language , metamodeling , artificial intelligence , data mining , biochemistry , chemistry , consistency (knowledge bases) , gene

Model-driven software engineering requires the refinement of abstract models into more concrete, platform-specific ones. To create and verify such refinements, behavioral models capturing recon- figuration or communication scenarios are presented as instances of a dynamic meta-model, i.e., a typed graph transformation system specifying the concepts and basic operations scenarios may be composed of. Possible refinement relations between models can now be described based on the corresponding meta-models.In contrast to previous approaches, refinement relations on graph transformation systems are not defined as fixed syntactic mappings between abstract transformation rules and, e.g., concrete rule expressions, but allow for a more loose, semantically defined relation between the transformation systems, resulting in a more flexible notion of refinement

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