Modèle d'alliage sans interface graphique

Question

Je veux écrire un programme évolutif en Python qui créerait des modèles Alloy en fonction de l'entrée de l'utilisateur. En particulier, je souhaite que l'utilisateur saisisse un graphique et utilise Alloy pour indiquer à l'utilisateur si le graphe a un chemin eulérien. J'ai le modèle prêt en alliage pour une instance particulière de graphique. Cependant, je pense à générer un fichier .als via le code Python, puis à allumer Alloy via Python pour évaluer le modèle. Y a-t-il une API Alloy que je peux utiliser ou des arguments de ligne de commande qui peuvent m'aider à décider si un certain prédicat est cohérent ou non?

Merci

Answer 1

Il n'y a pas d'API pour Python en alliage. Le official API is in Java; Des exemples de l'utilisation de l'API peuvent être trouvés here (ainsi que sur StackOverflow). Il y a aussi un embedding of Alloy in Ruby, qui est toujours en alpha.

Answer 2

Un de mes collègues m'a posé la même question il y a quelques jours.

J'ai développé un petit programme Java basé sur l'API Alloy qui prend en entrée un chemin vers un module Alloy donné, analyse le module d'entrée (en prenant en compte la première commande rencontrée) et affiche (en sortie) si l'analyseur trouvé une instance satisfaisante pour le module et la commande donnés.

Voici un lien vers ce programme très simple. https://www.dropbox.com/s/9ekwegj0ltfs8lq/alloy_text-based.jar?dl=0

Espérons que cela aide