@MISC{Mottu07a,
  author = { Jean-Marie Mottu and Olivier Barais and Mark Skipper and Didier
	Vojtisek and Jean-Marc Jézéquel},
  title = {Intégration du support OCL dans Kermeta. Spécifiez la sémantique
	statique de vos méta-modèles.},
  howpublished = {Dixième Anniversaire de la Conférence Francophone sur les Approches
	Formelles dans l'Assistance au Développement de Logiciels (AFADL'07)},
  month = jun,
  year = {2007},
  abstract = {Ce document présente succintement l'intégration du support OCL pour
	le langage de méta-modélisation exécutable Kermeta. L'accent dans
	cette courte présentation est mis sur les cas d'utilisation possibles
	de cette brique logicielle et l'intérêt des choix techniques retenus
	: un support natif du paradigme de Conception par Contrats (Design
	by Contract) dans Kermeta et une transformation de modèle du méta-modèle
	OCL au méta-modèle Kermeta pour le support de la syntaxe concrète
	OCL.},
  address = {Namur, Belgium},
  comment = {Workshop,fr, about_kermeta},
  url = {http://www.irisa.fr/triskell/publis/2007/Mottu07a.pdf},
  x-international-audience = {no},
  x-proceedings = {yes},
  x-editorial-board = {no}
}


