«

»

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

by Martin Faunes, Juan Cadavid, Benoit Baudry, Houari Sahraoui, Benoit Combemale
Abstract:
Current metamodeling formalisms support the definition of a metamodel with two views: classes and relations, that form the core of the metamodel, 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. endabstract
Reference:
Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples (Martin Faunes, Juan Cadavid, Benoit Baudry, Houari Sahraoui, Benoit Combemale), In MODELS – ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems, Springer, 2013.
Bibtex Entry:
@inproceedings{faunes13,
    keywords = {MDE, test, selected},
      hal_id = {hal-00923789},
      url = {http://hal.inria.fr/hal-00923789},
      title = {{Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples}},
      author = {Faunes, Martin and Cadavid, Juan and Baudry, Benoit and Sahraoui, Houari and Combemale, Benoit},
      abstract = {{Current metamodeling formalisms support the definition of a metamodel with two views: classes and relations, that form the core of the metamodel, 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. end{abstract}}},
      booktitle = {{MODELS - ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems}},
      publisher = {Springer},
      pages = {187-202},
      address = {Miami, USA},
      series = {Lecture Notes in Computer Science },
    	X-International-Audience = {yes},
    	X-Language = {EN},
    	x-abbrv = {MODELS},
      year = {2013},
      pdf = {http://hal.inria.fr/hal-00923789/PDF/DerivingOCLInv_main.pdf},
  }