Generating instance models from meta models

DOI10.1007/11768869_13MaRDI QIDQ4989489zbMATH OpenOpenAlexFDO

Authors Karsten Ehrig, Jochen M. Küster, Jessica Winkelmann, Gabriele Taentzer

Publication date 25 May 2021

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11768869_13

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Translation of restricted OCL constraints into graph constraints for generating meta model instances by graph grammars
• scientific article; zbMATH DE number 1946739
• Fundamental Approaches to Software Engineering
• An institution theory of formal meta-modelling in graphically extended BNF
• From Core OCL invariants to nested graph constraints

Cited in

(2)

• Towards the automated generation of consistent, diverse, scalable and realistic graph models
• Translation of restricted OCL constraints into graph constraints for generating meta model instances by graph grammars

Describes a project that uses

Uses Software

• Alloy

This page was built for publication: Generating instance models from meta models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4989489)