Spécification ontologique des exigences SysLM

Abstract

Les ontologiessontunparadigmepuissantpourlareprésentationetl’échange des connaissancesdansledomaineduWebSémantiquequines’intéressent qu’au traitementautomatiquedelasémantique.Néanmoins,ellesdoivent être expriméesdansdesformalismesquidevraiententirerpleinementpro- fit, toutenoffrantdesoutilsdemodélisationssimplesetefficaces.SysML trouvebeaucoupdesuccèsauseindesconcepteursdemodèlesetabéné- ficié, parconséquent,d’uncumuld’expériencetrèsimportantainsiqu’une large gammed’outilsdédiés.Cependant,cesoutils(Papyrus,..etc)neper- mettentpasladéfinitiond’unesémantiqueformellecequientravel’inférence automatique surlesmodèle(diagrammed’exigencespécialement).Ilserait profitable detirerprofitdecesdeuxpuissantsoutils(lesontologiesetSysML) pourrajouterdelasémantiqueauxmodèlesconceptuels.Pourarriveràça, il fallaitdévelopperunoutildetransformationdesexigencesSysMLenune forme ontologiquepermettantleraisonnementetl’inférence.