|
|||||
|
|
On the verification of UML/OCL class diagrams using constraint programming |
|
| Affiliation: | 1. Department of Radiology, South Egypt Cancer Institute, 71111, Assiut Univeristy, Egypt;2. Department of Radiology, Assiut Univeristy Hospital, 71111, Assiut University, Egypt;3. Department of Obstetrics & Gynecology, Assiut University Hospital, 71111, Assiut University, Egypt;1. Pediatric Radiology Department, Clocheville Hospital, 49 Boulevard Beranger, 37000, University Hospital Tours, France;2. Surgery Department, Clocheville Hospital, 49 Boulevard Beranger, 37000, University Hospital Tours, France;3. Radiology Department, Bretonneau Hospital, 49 Boulevard Beranger, 37000, University Hospital Tours, France;4. Faculty of Medicine, Francois Rabelais University, Tours, France;1. Estudis d’Informàtica, Multimèdia i Telecomunicació, Universitat Oberta de Catalunya, Rambla del Poblenou 156, Barcelona 08018, Spain;2. ICREA, Barcelona, Spain;3. Universidad Autónoma de Madrid, Madrid, Spain |
| Abstract: | Assessment of the correctness of software models is a key issue to ensure the quality of the final application. To this end, this paper presents an automatic method for the verification of UML class diagrams extended with OCL constraints. Our method checks compliance of the diagram with respect to several correctness properties including weak and strong satisfiability or absence of constraint redundancies among others. The method works by translating the UML/OCL model into a Constraint Satisfaction Problem (CSP) that is evaluated using state-of-the-art constraint solvers to determine the correctness of the initial model. Our approach is particularly relevant to current MDA and MDD methods where software models are the primary artifacts of the development process and the basis for the (semi-)automatic code-generation of the final application. |
| Keywords: | UML/OCL Model verification Constraint programming |
| 本文献已被 ScienceDirect 等数据库收录！ | |