The Invoicing case study is a typical business system proposed by Henri Habrias as a common example for a contest on the capacity of particular formal methods to capture requirements from the client. For this, the case study is informally described by half a page of English text. In this report, we use the formal description technique Lotos for requirement capture, formal description and veriic...

RÉSUMÉ. Construire un dossier médical numérique adapté à chaque médecin dans sa pratique courante, à partir de documents locaux ou de documents extraits d’autres sources de données, représente plusieurs difficultés : l’interrogation et la récupération des données distantes (sujet non étudié dans cet article) et la représentation de ces données dans un environnement graphique facile à utiliser e...

1 Définir l’ontologie locale Une ontologie locale est définie l’ontologie du domaine, articulée à cette dernière par la relation de subsumption par : Spécialisation des sous-ensemble de classes de l’ontologie de domaine recouvrant les besoins du cahier de charges et par importation sélective des propriétés pertinentes. Enrichissement de l’ontologie locale pour répondre aux objectifs applicatifs...