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:


Add new attachment

Only authorized users are allowed to upload new attachments.

List of attachments

Kind Attachment Name Size Version Date Modified Author Change note
aslan
Orchestration - DCS - Goal Sty... 29.7 kB 1 10-Feb-2011 17:11 Mathieu Turuani ASLAN Orchestration example - DCS - Goal Style Input
aslan
Orchestration - DCS.aslan 26.1 kB 1 10-Feb-2011 17:10 Mathieu Turuani ASLAN Orchestration example - DCS
aslan
Orchestration - SQUARED SUM.as... 2.2 kB 1 10-Feb-2011 17:11 Mathieu Turuani ASLAN Orchestration example - SQUARED SUM
« This page (revision-27) was last changed on 22-juin-2012 16:32 by Mathieu Turuani