J. Simmonds, Ragnhild Van Der Straeten, V. Jonckers, T. Mens
{"title":"使用描述逻辑维护UML模型之间的一致性","authors":"J. Simmonds, Ragnhild Van Der Straeten, V. Jonckers, T. Mens","doi":"10.3166/objet.10.2-3.231-244","DOIUrl":null,"url":null,"abstract":"La conception d'un logiciel est souvent modelisee comme un ensemble de diagrammes UML. Il est essentiel de preserver leur coherence, parce que ces diagrammes sont sujets a de frequentes modifications, dues aux evolutions successives. Les outils contemporains pour UML fournissent un support insatisfaisant pour maintenir la coherence entre differentes versions des diagrammes UML. Pour resoudre ce probleme, une extension du meta modele UML est developpee, et une classification des conflits d'incoherence est proposee. La detection et la resolution de ces conflits est exprimee en utilisant des regles en logique de descriptions. En effectuant un certain nombre d'experiences, nous montrons la faisabilite du formalisme de logique de descriptions pour preserver la coherence entre des modeles UML qui evoluent.","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":"17 10","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2004-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"57","resultStr":"{\"title\":\"Maintaining Consistency between UML Models Using Description Logic\",\"authors\":\"J. Simmonds, Ragnhild Van Der Straeten, V. Jonckers, T. Mens\",\"doi\":\"10.3166/objet.10.2-3.231-244\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"La conception d'un logiciel est souvent modelisee comme un ensemble de diagrammes UML. Il est essentiel de preserver leur coherence, parce que ces diagrammes sont sujets a de frequentes modifications, dues aux evolutions successives. Les outils contemporains pour UML fournissent un support insatisfaisant pour maintenir la coherence entre differentes versions des diagrammes UML. Pour resoudre ce probleme, une extension du meta modele UML est developpee, et une classification des conflits d'incoherence est proposee. La detection et la resolution de ces conflits est exprimee en utilisant des regles en logique de descriptions. En effectuant un certain nombre d'experiences, nous montrons la faisabilite du formalisme de logique de descriptions pour preserver la coherence entre des modeles UML qui evoluent.\",\"PeriodicalId\":201701,\"journal\":{\"name\":\"Obj. Logiciel Base données Réseaux\",\"volume\":\"17 10\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2004-09-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"57\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Obj. Logiciel Base données Réseaux\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.3166/objet.10.2-3.231-244\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Obj. Logiciel Base données Réseaux","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.3166/objet.10.2-3.231-244","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Maintaining Consistency between UML Models Using Description Logic
La conception d'un logiciel est souvent modelisee comme un ensemble de diagrammes UML. Il est essentiel de preserver leur coherence, parce que ces diagrammes sont sujets a de frequentes modifications, dues aux evolutions successives. Les outils contemporains pour UML fournissent un support insatisfaisant pour maintenir la coherence entre differentes versions des diagrammes UML. Pour resoudre ce probleme, une extension du meta modele UML est developpee, et une classification des conflits d'incoherence est proposee. La detection et la resolution de ces conflits est exprimee en utilisant des regles en logique de descriptions. En effectuant un certain nombre d'experiences, nous montrons la faisabilite du formalisme de logique de descriptions pour preserver la coherence entre des modeles UML qui evoluent.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
