Master d’informatique 2006 2007 de l’université Paris VI
cps
Tamago

La plateforme de composant Tamago est utilisée à plusieurs reprises dans le cadre du cours Composant.

Framework Tamago

Dans un premier temps, on consultera le tutoriel sur la plateforme (cf. fichier à downloader).

On pourra également consulter la documentation de l’API Tamago

Et finalement récupérer l’archive

Compilateur de contrat TamagoCC

Le compitaleur TamagoCC permet de générer automatiquement du code de vérification pour des contrats de services décrits dans le langage Tamago-CDL au format XML.

  1. Récupérer le XML-schema de Tamago-CDL
  2. Récupérer l’utilitaire tamagoCC au format jar

Pour lancer l’outil, on utilise

java -jar tamagoCC.jar

exemple :

java -jar tamagoCC.jar —help


Retour à la page d’accueil

Documents joints

Tutoriel Tamago (PDF - 103.6 ko)