UMLtoCSP: A tool for the formal verification of UML/OCL models using constraint programming

ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2007, Pages 547-548

  Cabot, Jordi ^a   Clarisó, Robert ^a   Riera, Daniel ^a  

^a UNIVERSITAT OBERTA DE CATALUNYA   (Spain)

Author keywords

constraint programming; MDD; model verification; OCL; UML

Indexed keywords

CONSTRAINT LOGIC PROGRAMMING; CONSTRAINT PROGRAMMING; CONSTRAINT SOLVERS; CORRECTNESS PROPERTIES; FORMAL VERIFICATIONS; MODEL VERIFICATION; REDUNDANT CONSTRAINTS; SATISFIABILITY; TOOL USE; UML CLASS DIAGRAMS;

COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; LOGIC PROGRAMMING; SOFTWARE ENGINEERING;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 69849099503     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1321631.1321737     Document Type: Conference Paper

References (7)

1. e. Cambridge University Press, Cambridge, UK, 2007. .
2. A. D. Brucker and B. Wolff. The HOL-OCL book. Technical Report 525, ETH Zurich, 2006. .
3. M. Cadoli, D. Calvanese, G. D. Giacomo, and T. Mancini. Finite satisfiability of UML class diagrams by Constraint Programming. In Proc. of the 2004 International Workshop on Description Logics (DL'2004), volume 104 of CEUR Workshop Proceedings. CEUR-WS.org, 2004.
4. B. Demuth. The Dresden OCL toolkit and its role in Information Systems development. In Proc. of the 13th International Conference on Information Systems Development (ISD'2004), Vilnius, Lithuania, 2004.
5. M. Gogolla, J. Bohling, and M. Richters. Validating UML and OCL models in USE by automatic snapshot generation. Journal on Software and System Modeling, 4(4):386-398, 2005. .
6. Graphviz. Graph visualization software. http://www.graphviz.org.
7. UMLtoCSP. A tool for the formal verification of UML/OCL models based on Constraint Programming. http://gres.uoc.edu/UMLtoCSP.