DI-UMONS : Dépôt institutionnel de l’université de Mons

Recherche transversale
Rechercher
(titres de publication, de périodique et noms de colloque inclus)
2005-01-01 - Livre/Chapitre ou partie - Anglais - 31 page(s)

Mens Tom , Van Der Straeten Ragnhild , Simmonds Jocelyn, "A Framework for Managing Consistency of Evolving UML Models" in "Software Evolution with UML and XML" , 9781591404620

  • Edition : Idea Group Publishing (USA)
  • Codes CREF : Informatique appliquée logiciel (DI2570), Informatique mathématique (DI1160)
  • Unités de recherche UMONS : Génie Logiciel (S852)
Texte intégral :

Abstract(s) :

(Anglais) As the standard for object-oriented analysis and design, the UML (Unified Modeling Language) metamodel, as well as contemporary CASE (Computer-Aided Software Engineering) tools, must provide adequate and integrated support for all essential aspects of software evolution. This includes version control, traceability, impact analysis, change propagation, inconsistency management, and model refactorings. This chapter focuses on the latter two aspects, and shows how tool support for these aspects can be provided. First, we extend the UML metamodel with support for versioning. Second, we make a classification of the possible inconsistencies of UML design models. Finally, we use the formalism of description logics, a decidable fragment of first-order predicate logic, to express logic rules that can detect and resolve these inconsistencies. We also show how the logic rules are used to propose model refactorings. As a proof of concept, we report on the results of initial experiments with a prototype tool we developed for this approach.

Notes :
  • (Anglais) QA76.76.D4S6615.2004
Identifiants :
  • DOI : 10.4018/978-1-59140-462-0.ch001