Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars

@article{Winkelmann2008TranslationOR,
  title={Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars},
  author={Jessica Winkelmann and G. Taentzer and K. Ehrig and J. K{\"u}ster},
  journal={Electron. Notes Theor. Comput. Sci.},
  year={2008},
  volume={211},
  pages={159-170}
}
The meta modeling approach to syntax definition of visual modeling techniques has gained wide acceptance, especially by using it for the definition of UML. Since meta-modeling is non-constructive, it does not provide a systematic way to generate all possible meta model instances. In our approach, an instance-generating graph grammar is automatically created from a given meta model. This graph grammar ensures correct typing and cardinality constraints, but OCL constraints for the meta model are… Expand
Generating instance models from meta models
Generating Instance Models from Meta Models
Integration of Triple Graph Grammars and Constraints
Instance Generation from Type Graphs with Arbitrary Multiplicities
  • G. Taentzer
  • Computer Science
  • Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
  • 2012
A Theory of HR* Graph Conditions and their Application to Meta-Modeling
Lightweight string reasoning in model finding
Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 13 REFERENCES
Termination Criteria for Model Transformation
Validating UML and OCL models in USE by automatic snapshot generation
Compiler test case generation methods: a survey and assessment
Automatically Generating Instances of Meta Models based on a Graph Grammar Approach
  • Automatically Generating Instances of Meta Models based on a Graph Grammar Approach
  • 2005
Object Management Group (OMG). OCL 2.0 Specification. OMG document ptc
  • Object Management Group (OMG). OCL 2.0 Specification. OMG document ptc
  • 2005
Pennemann. Constraints and application conditions: From graphs to high-level structures
  • Proc. 2nd Int. Conference on Graph Transformation (ICGT’04),
  • 2004
...
1
2
...