|
| LIP6 > Software
> MoVe Sofware > Alligator
> FAQ |
Alligator is now included in the new CosyVerif Environment
Clik here to know more about CosyVerif.
I have a question that is not listed below, can I contact the developpers ?
Yes, you can ask to Clément Démoulins by email:alligator-users@systeme.lip6.fr.
How can I know more about the Alligator platform and its possibilities?
The was a Tutorial about this in Paris, on Friday September 30, 2011. The slides presented then are available here.
What are the formalisms currently supported in Alligator ?
So far, Place/Transition Net, Symmetric nets and Symmetric Nets withBags are included in Alligator.
How can I defined a new formalism ?
A formalism is defined using the FML (Formalism markup Language) that defined objects to be stored using GrML (Graph Markup Language).FML defined the metamodel of any graph structure (potentially hierarchical) as well as the structural checks to be performed on the associated GrML.
To know more about this operation, please have a look on the dedicated tutorial (french only so far, sorry).
How can I create a new service in Alligator from a binary tool (not developped in Java) ?
New services are created by creating a java class implementing the java interface Service. For binary tools, a maven archetype has been created to ease the procedure.
To know more about this procedure and how to create your service, please have a look on the dedicated tutorial (french only so far, sorry).
I found a bug or need a feature.
You can create a new issue on our forge: Alligator forge
Question ?
Answer.
|
|
