FMV contraintes en direct - validation

Question

J'ai un modèle fem et je voudrais faire un éditeur de FMV pour créer des instances de cette metamodel.I'd comme aussi des contraintes en direct pour éviter des connexions entre les composants de ma FEM model.eg:My FEM se compose a, B, C, composants D qui dérivent d'une classe générale appelée F et il est fait référence à l'intérieur de F qui relie F-> F, en tant que tel, ce peut me fournir des connexions entre les lignes a, B, C, D Composants. Mais quand je suis à l'éditeur de FMV je voudrais un mécanisme de connexion éviter A> B et autorise uniquement la connexion A-> C. Je lis que ce peut être atteint avec des contraintes linguistiques et lien OCL qui peuvent être ajoutés au fichier gmfmap. Mais je ne pouvais pas trouver un tutoriel avec le vocabulaire des OCL et des exemples faisant que la validation en direct Toutes les directions de quelqu'un?

Answer 1

Après une recherche plus profonde, j'ai trouvé un cadre très utile et rapide pour validation. Il est appelé Eugenia du groupe Epsilon.

Eugenia vous permet de créer tous les fichiers appropriés pour la finale éditeur de FMV en un seul fichier (très impressionnant, car sinon vous devez déclarer gfmtool, gmfgraph, etc par votre propre) et ensuite vous pouvez créer un nouveau fichier EVL qui détient les contraintes et les invariants de votre cartographie model.The est en train de faire facilement été en fournissant et en point d'extension à votre métamodèle URI et tout ce que vous avez à faire est d'inclure votre nouveau plugin qui containts le fichier evl à votre configuration finale Eclipse. http://www.eclipse.org/gmt/epsilon / doc / articles / EVL-FMV-intégration /

(Attention, ne génère pas le code de diagramme comme une application RPC parce que le RPC ne va pas au travail Pour plus d'informations consulter ici. http://giampow.blogspot.com/2010/06/eclipse-rcp-application-custom-problems.html )