Formalising Problem Frames with Ontology

Cet article présente un résumé de notre recherche doctorale commencée en septembre 2006 et fournit un programme préliminaire de recherche. Les Problem Frames sont une méthode et une notation servant à structurer l'analyse des exigences d'un logiciel et la conception d'une solution logicielle. Elle est basée sur une séparation claire des problèmes, particulièrement entre le contexte existant et le logiciel à construire. Pour améliorer l'interopérabilité et la traçabilité des modèles durant la phase d'analyse des exigences et les phases de conception ultérieures, l'approche par les Problem Frames a besoin d'une fondation plus formelle. Nous proposons une sémantique formelle basée sur les ontologies. Elle sera utilisée pour lier les Problem Frames et d'autres langages de modélisation par une ontologie commune. Elle permettra enfin la construction d'un outil supportant l'approche par Problem Frames.