Alligator is now included in the new CosyVerif Environment

Clik here to know more about CosyVerif.

What is Alligator

Alligator is an integration platform for verification tools. It allows these to be used as web services by clients like Coloane, an Eclipse-based generic graphic interface.

Alligator is jointly developed by the MeFoSyLoMa group (an informal research structure gathering verification people from the following laboratories: Cedric (Cnam), IBISC (Univ. Evry), LACL (Univ. Paris 12), LIP6 (UPMC), LIPN (Univ. Paris 13), LSV (École Normale Supérieure de Cachan) et LTCI (TELECOM ParisTech). The development started in the context of the NEOPPOD project thanks to the support of FEDER Île-de-France/System@tic - free software.

Alligator propose a quick and easy distribution of their tools to developers. It provides an extensible and powerful environment to manage your specific formalisms for both graphical and hierarchical models.

Architecture

The Alligator architecture is service oriented (SOA). Therfore, all the components are services. There are only two kind of components in our architecture :

• the ServiceManager, manages a bundle of tools not directly connected to Alligator. For example, it allow to connect all the tools of a distant Alligator instance and then create a decentralized platform.
• the Service, like a wrapper between the Alligator and the tool. It give all the informations needed by Alligator like an id and a name and especially how to invoke the tools.

Technologies

• Web service (Apache CXF) Web service framework used to offer our services.
• Maven
  Project management and configuration. The build process relies completely on it (dependencies, compilation, packaging).
• Java
  Language used to develop the server however the tools can of course use other languages binary or not. Particularly, the ServiceLoader facility is used to extend the platform.

License

Alligator is published under the GNU Affero General Public License version 3.