Sign in

Translating essential OCL invariants to nested graph constraints for generating instances of meta-models.

Hendrik RadkeThorsten ArendtJan Steffen BeckerAnnegret HabelGabriele Taentzer
Published in: Sci. Comput. Program. (2018)
Keyphrases
  • metamodel
  • d objects
  • development process
  • randomly generated
  • graph representation
  • lower and upper bounds
  • fully connected
  • constraint language
  • constraint sets