The verification and validation of information system models impact on the adequacy and appropriateness of using the value of telemedicine services for continuously optimizing healthcare outcomes. We have defined a methodology to help the modeling and rigorous analysis of the requirements of information systems in telemedicine. On one hand, this methodology will be based on a formal representation of requirements (systemic, generic domain, etc.) within a knowledge base that will be a requirements repository. On the other hand, this methodology will use conceptual graphs for the formalization of ontology of activities and the production of arguments related to the formal verification of models built from this ontology. We describe an example illustrating the engagement of conceptual graph procedures to model the contextual situations in the telemedicine development. We also discuss the way in which ethical issues will actually take place in telemedicine applications.

La vérification et la validation de modèles de systèmes d’information influent sur la pertinence et la justesse de l’utilisation de la valeur des services de télémédecine pour optimiser en permanence les résultats des soins. Nous avons défini une méthodologie pour aider la modélisation et l’analyse rigoureuse des besoins des systèmes d’information pour la télémédecine. D’une part, cette méthodologie sera basée sur une représentation formelle des exigences (systémique, domaine générique, etc.) au sein d’une base de connaissances structurant le référentiel des exigences. D’autre part, cette méthode utilise des graphes conceptuels pour la formalisation de l’ontologie des activités et la production des arguments liés à la vérification formelle des modèles construits à partir de cette ontologie. Nous décrivons un exemple illustrant l’engagement des procédures de graphes conceptuels pour modéliser les situations contextuelles dans le développement de la télémédecine. Nous discutons aussi de la manière avec laquelle les questions éthiques pourront effectivement prendre place dans les applications de télémédecine.