======================================================================
==
==  Partie I : Informations générales sur l'outil
==
======================================================================



-----------------------------------------------------------------
--  I.1 : Nom
-----------------------------------------------------------------
 Costo (COmponent Study TOolkit)


-----------------------------------------------------------------
--  I.2 : Équipe 
-----------------------------------------------------------------

COLOSS

-----------------------------------------------------------------
--  I.3 : Site web (URL)
-----------------------------------------------------------------
http://www.lina.sciences.univ-nantes.fr/aelos/wiki/doku.php?id=costo:start


-----------------------------------------------------------------
--  I.4 : Description (<= 5 lignes)
-----------------------------------------------------------------

La plate-forme COSTO  est une boîte à outils pour spécifier, analyser et développer des composants Kmelia. 
COSTO contient un analyseur/compilateur de spécifications  qui permet de traiter des spécifications Kmelia 
et de les représenter dans une structure abstraite sous forme d'objets. COSTO comprend également des traducteurs de spécifications
Kmelia en Lotos et en MEC afin d'obtenir des spécifications en entrée des outils d'analyse formelle tels que CADP et MEC.




======================================================================
==
==  Partie II : Utilisateurs
==
======================================================================



-----------------------------------------------------------------
--  II.1 : Nombre d'utilisateurs
--           (donner un min. vérifié et 
--            une estimation du nombre actuel)
-----------------------------------------------------------------

minimum vérifié : 5

estimation du nombre actuel : 5

-----------------------------------------------------------------
--  II.2 : Communauté (locale-internationale, 
--                     académique, industriels)
-----------------------------------------------------------------

locale

-----------------------------------------------------------------
--  II.3 : Types d'utilisation 
--           (recherche, enseignement, applications commerciales)
-----------------------------------------------------------------

recherche


-----------------------------------------------------------------
--  II.4 : Exemple d'utilisation 
--           (les plus significatifs ; recherche, enseignement)
-----------------------------------------------------------------

Vérification de compatibilité comportementale de services de composants décrits en kmelia


-----------------------------------------------------------------
--  II.5 : Autres
-----------------------------------------------------------------






======================================================================
==
==  Partie III : Développement
==
======================================================================



-----------------------------------------------------------------
--  III.1 : Nombre de développeurs (locaux, externes)
-----------------------------------------------------------------

3 locaux

-----------------------------------------------------------------
--  III.2 : Historique (première version, versions majeures)
-----------------------------------------------------------------
première version: Mai 2005


-----------------------------------------------------------------
--  III.3 : Communauté de développement 
--            (locale/nationale/internationale)
-----------------------------------------------------------------

locale

-----------------------------------------------------------------
--  III.4 : Niveau de maturité (prototype, produit)
-----------------------------------------------------------------

prototype

-----------------------------------------------------------------
--  III.5 : Langages, outils utilisés pour l'implémentation
-----------------------------------------------------------------

Java, antlr, eclipse, certaines fonctions dépendent de MEC et de  CADP


-----------------------------------------------------------------
--  III.6 : Licence (oui/non, laquelle)
-----------------------------------------------------------------

non

-----------------------------------------------------------------
--  III.7 : Autres
-----------------------------------------------------------------

non publiquement disponible




======================================================================
==
==  Partie IV : Points notables
==
======================================================================



-----------------------------------------------------------------
--  IV.1 : Caractéristiques comparées à des outils connexes
-----------------------------------------------------------------



-----------------------------------------------------------------
--  IV.2 : Intérêt scientifique 
--         (publications scientifiques, liens avec des
--          projets de recherche...)
-----------------------------------------------------------------

Exportation de kmelia en MEC MOSIM 06
Expansion de sous services SC06
Workshop Provecs 07
Vérification de protocoles SC07

Exportation de kmelia en LOTOS 

-----------------------------------------------------------------
--  IV.3 : Autres
-----------------------------------------------------------------
 
costo/descriptionform.txt · Last modified: 2014/09/08 16:33 (external edit)
 
Recent changes RSS feed Creative Commons License Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki