Assistance au calage de modèles numériques en hydraulique ... - TEL

CHAPITRE 4 MODÉLISATION DES CONNAISSANCESinstance d’une classe représente un objet particulier appartenant à cette classe. Les diagrammesd’objet peuvent ainsi être utilisés pour formaliser les connaissances sur le systèmeparticulier étudié et son modèle, à partir des classes formalisant les connaissancesdescriptives des niveaux supérieurs 10 .Le langage UML se trouve être parfaitement adapté à notre approche, puisqu’ilpermet à la fois de représenter des concepts d’un domaine – au travers notamment desdiagrammes de classes – et de fournir des spécifications pour le système informatique àbase de connaissances que nous cherchons à développer.4.2.2 Diagrammes d’activités UMLLes diagrammes de classes UML ayant été retenus pour représenter les connaissancesdescriptives, il restait à déterminer un formalisme pour représenter les connaissancesinférentielles.Premiers essais avec le langage CMLL’utilisation dans un premier temps du formalisme COMMONKADS (Schreiber et al.,1999) pour représenter les sous-tâches du calage de modèle nous a été suggérée par lespremiers travaux menés au LARIA par Bruaux (2001a,b, 2002) dans le cadre du projetCLACIC 11 .La méthode COMMONKADS et le langage associé CML (Conceptual Modeling Language)intègrent des diagrammes d’inférence dans lequel sont représentés trois typesd’éléments : des inférences représentant les différentes sous-tâches, des rôles de connaissancestatiques et des rôles de connaissance dynamiques. Les rôles de connaissance statiquesreprésentent les éléments qui demeurent inchangés au cours de la tâche considérée. Unexemple en est donné par le code de calcul qui ne subit aucune transformation durantce processus. Les rôles de connaissance dynamiques sont quant à eux affectés par leprocessus décrit, comme le modèle numérique ou les résultats de simulation.Ces outils nous ont permis d’initier une modélisation des connaissances inférentiellesà travers la formalisation d’un premier niveau de décomposition de la tâche decalage. Cette première modélisation ne nous a pas parue satisfaisante pour des raisonsde cohérence avec notre modélisation des connaissances descriptives. En effet, la formalisationde l’enchaînement opérationnel des différentes sous-tâches nécessite la représentationdes objets utilisés et produits par chacune d’entre elles, qui appartiennentnécessairement aux classes d’éléments définis dans les diagrammes de classes UML.Or, le langage CML utilise des rôles de connaissances statiques et dynamiques pour représenterces différents objets. La correspondance entre connaissances descriptives etconnaissances inférentielles, qui devrait être clairement visible, est ainsi voilée par lesrapports ambigus entre classes UML et rôles de connaissances CML.Utilisation des diagrammes d’activités UMLNous avons alors regardé de plus près les diagrammes d’activités proposés par lelangage UML (voir annexe B, p. 234). Dans ce type de diagrammes, les tâches sontreprésentées par des activités qui correspondent de manière satisfaisante aux inférences10. Nous n’avons pas eu recours ici à ce type de diagramme et les caractéristiques de nos différents casd’étude ont été directement implémentés dans la base de connaissances du système d’assistance.11. CaLAge de Codes Par Ingénierie des Connaissances (www.clacic.org).85