Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples
Created by W.Langdon from
gp-bibliography.bib Revision:1.7954
- @InProceedings{Faunes:2013:MODELS,
-
author = "Martin Faunes and Juan Cadavid and Benoit Baudry and
Houari Sahraoui and Benoit Combemale",
-
title = "Automatically Searching for Metamodel Well-Formedness
Rules in Examples and Counter-Examples",
-
year = "2013",
-
booktitle = "MODELS - ACM/IEEE 16th International Conference on
Model Driven Engineering Languages and Systems",
-
address = "Miami, Florida, USA",
-
month = "29 " # sep # " 2013-4 " # oct # " 2013",
-
keywords = "genetic algorithms, genetic programming, SBSE,
computer science, software engineering",
-
bibsource = "OAI-PMH server at hal.archives-ouvertes.fr",
-
language = "ENG",
-
oai = "oai:hal.inria.fr:hal-00923789",
-
URL = "http://models2013.lcc.uma.es/technical.html",
-
URL = "http://hal.inria.fr/hal-00923789",
-
URL = "http://hal.inria.fr/docs/00/92/37/89/PDF/DerivingOCLInv_main.pdf",
-
size = "16 pages",
-
abstract = "Current meta-modelling formalisms support the
definition of a metamodel with two views: classes and
relations, that form the core of the meta-model, and
well-formedness rules, that constraints the set of
valid models. While a safe application of automatic
operations on models requires a precise definition of
the domain using the two views, most metamodels
currently present in repositories have only the first
one part. In this paper, we propose to start from valid
and invalid model examples in order to automatically
retrieve well-formedness rules in OCL using Genetic
Programming. The approach is evaluated on metamodels
for state machines and features diagrams. The
experiments aim at demonstrating the feasibility of the
approach and at illustrating some important design
decisions that must be considered when using this
technique.",
-
notes = "Miami Models 2013 http://models2013.lcc.uma.es/
http://models2013.lcc.uma.es/downloads/models-2013-program-online.pdf
Not in IEEE xplor May 2014
oai:hal.inria.fr:hal-00923789",
- }
Genetic Programming entries for
Martin Faunes
Juan Cadavid
Benoit Baudry
Houari Sahraoui
Benoit Combemale
Citations