Convertibilité entre types d'entrée et de sortie pour la composition de services en bio-informatique

Overview & Synopsis

L'hétérogénéité des données et des formats de données en bio-informatique entraine souvent une incompatibilité des entrées et sorties des services, rendant difficile leur composition. Ce travail propose de réduire ces incompatibilités par la détection automatique de convertibilité d'une donnée de sortie vers une donnée d'entrée. Cette détection repose sur un langage de type, proche de XML Schéma, permettant d'abstraire les données tout en exploitant finement leur structure composite. Notre expérience sur des services et des types bio-informatiques, avec une implémentation de notre approche, montre que les convertibilités détectées sont nombreuses et pertinentes d'un point de vue biologique.