Outils pour utilisateurs
costo:descriptionform
====================================================================== == == 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 · Dernière modification: 2018/04/03 16:59 (modification externe)
Outils de la page
Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Share Alike 4.0 International
