Bonjour ,
j'ai commencé de concevoir un compilateur pour un formalisme appelé Event-Calculus qui est utilisé pour la représentation de contrat (par exemple un contrat peut comporté que le client doit payer l'objet acheté avant 2 jours si non la commande sera annulé ...) concernant les Web Service :
-Pour l'analyse lexical et syntaxique j'ai utilisé JAVAC.
-Maintenant je veux aussi détecté les conflit qui peuvent survenir par exemple l'éxistance dans un contrat d'une obligation et de sa négation dans le même intervalle de temps ....ce que je veux savoir c'est est ce que je doit utilisé les tokens qui ont étaient définis lors de l'analyse syntaxique ou essayé de lire le fichier (manipuler le fichier) et faire des tests .
et si c'est possible des tutos qui peuvent m'aidé
Merci!!!!!!!!!!!!
Partager