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

@article{Winkelmann2006TranslationOR,
  title={Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars},
  author={Jessica Winkelmann and Gabriele Taentzer and Karsten Ehrig and Jochen Malte K{\"u}ster},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2006},
  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… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 55 CITATIONS

Translating OCL to Graph Patterns

  • MoDELS
  • 2014
VIEW 7 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Generating Test Data from OCL Constraints with Search Techniques

  • IEEE Transactions on Software Engineering
  • 2013
VIEW 5 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

A combined graph-based approach for systems design and verification

  • 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)
  • 2015
VIEW 5 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Achieving model quality through model validation, verification and exploration

  • Computer Languages, Systems & Structures
  • 2017
VIEW 3 EXCERPTS
CITES METHODS & BACKGROUND

FILTER CITATIONS BY YEAR

2006
2019

CITATION STATISTICS

  • 5 Highly Influenced Citations