Logo of the Avantssar European Project

Orchestration & Validation Platform, Loria-INRIA part



This server is part of the European Project AVANTSSAR server ring. It provides the following services :

Service Name SOAP of the Web-Service Service description On-line query form(s) Documentation Download
The HLPSL to IF Translator (hlpsl2if) Translator Service WSDL Translate Hlpsl2If Doc. Hlpsl2If Packages
High-Lever Protocol Specification Language (HLPSL) to Intermediate Format (IF) translator for the European Project Avispa


Service Name SOAP of the Web-Service Service description On-line query form(s) Documentation Download
The Cl-Atse back-end solver (cl-atse) CL-Atse Service WSDL Analyze and Get options Cl-Atse Doc. Cl-Atse packages
Protocol and Web-services analysis backend for the European Projects Avispa & Avantssar


Service Name SOAP of the Web-Service Service description Online query form(s) Documentation Download
The ASLAN Orchestrator (Asynchronous) (see WSDL) WSDL (async.) Async. Orchestration Orchestrator Doc. Orchestrator packages
The ASLAN Orchestrator (Synchronous) (see WSDL) WSDL (sync.) Sync. Orchestration Orchestrator Doc. Orchestrator packages
Samples Two-Party Digital Contract Signing(info), Two-Party Digital Contract Signing (Goal Input Style)(info), Squared-Sum Computation(info)
ASLAN-based Web-Services Orchestration tool for the European Project Avantssar.


Other known servers in the AVANTSSAR's ring:


Ajouter un attachement

Seuls les utilisateurs autorisés peuvent publier de nouveaux attachements.

Liste des attachements

Type Nom de l'attachement Taille Version Date de modification Auteur Modifier la note
aslan
Orchestration - DCS - Goal Sty... 29,7 ko 1 10-févr.-2011 17:11 Mathieu Turuani ASLAN Orchestration example - DCS - Goal Style Input
aslan
Orchestration - DCS.aslan 26,1 ko 1 10-févr.-2011 17:10 Mathieu Turuani ASLAN Orchestration example - DCS
aslan
Orchestration - SQUARED SUM.as... 2,2 ko 1 10-févr.-2011 17:11 Mathieu Turuani ASLAN Orchestration example - SQUARED SUM
« Cette page (révision-27) a été modifiée pour la dernière fois le 22-juin-2012 16:32 par Mathieu Turuani