TY - GEN
T1 - A proved approach for building correct instances of UML Associations
T2 - 21st Asia-Pacific Software Engineering Conference, APSEC 2014
AU - Mammar, Amel
AU - Laleau, Regine
N1 - Publisher Copyright:
© 2014 IEEE.
PY - 2014/1/1
Y1 - 2014/1/1
N2 - 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.
AB - 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.
U2 - 10.1109/APSEC.2014.103
DO - 10.1109/APSEC.2014.103
M3 - Conference contribution
AN - SCOPUS:84951294056
T3 - Proceedings - Asia-Pacific Software Engineering Conference, APSEC
SP - 438
EP - 445
BT - Proceedings - 21st Asia-Pacific Software Engineering Conference, APSEC 2014
A2 - Gueheneuc, Yann-Gael
A2 - Kwon, Gihwon
A2 - Cha, Sungdeok
PB - IEEE Computer Society
Y2 - 1 December 2014 through 4 December 2014
ER -