A proved approach for building correct instances of UML associations : multiplicities satisfaction

Abstract : In UML modeling, class diagrams permit to capture the entities involved in a system but also the associations they have with each other. These associations are characterized by a multiplicity on each role to state the min-max number of instances of the opposite class that can be linked to each instance of the class associated with the role. Since these multiplicities may be conflicting, it becomes necessary to check the global consistency of a class diagram. Such verification will ensure that it is possible to find an instantiation of the diagram that satisfies all the multiplicities. In this paper, we describe an automatized approach that permits to validate a class diagram by exhibiting a particular instance. Basically, this approach proceeds in two main steps: first, the multiplicities are represented as a mathematical model, then a constraint solver is used to determine whether it has at least one solution. The correctness of the approach, which is supported by an automatic tool, has been carried out using the B formal method
Type de document :
Communication dans un congrès
APSEC 2014 : 21st Asia-Pacific Software Engineering Conference, Dec 2014, Jeju, South Korea. IEEE, pp.438 - 445, 2014, 〈10.1109/APSEC.2014.103〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01257892
Contributeur : Médiathèque Télécom Sudparis & Institut Mines-Télécom Business School <>
Soumis le : lundi 18 janvier 2016 - 13:50:39
Dernière modification le : jeudi 11 janvier 2018 - 06:19:29

Identifiants

Collections

Citation

Amel Mammar, Régine Laleau. A proved approach for building correct instances of UML associations : multiplicities satisfaction. APSEC 2014 : 21st Asia-Pacific Software Engineering Conference, Dec 2014, Jeju, South Korea. IEEE, pp.438 - 445, 2014, 〈10.1109/APSEC.2014.103〉. 〈hal-01257892〉

Partager

Métriques

Consultations de la notice

273