Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples

Created by W.Langdon from gp-bibliography.bib Revision:1.3872

@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