Verification of UML/OCL Class diagrams using constraint programming

2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW'08

Volumn , Issue , 2008, Pages 73-80

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

^a UNIVERSITAT OBERTA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC METHODS; CLASS DIAGRAMS; CONSTRAINT PROGRAMMING; CONSTRAINT SATISFACTION PROBLEM; CORRECTNESS PROPERTIES; DEVELOPMENT PROCESSES; INTERNATIONAL CONFERENCES; SATISFIABILITY; UML CLASS DIAGRAMS; VERIFICATION AND VALIDATION;

AUTOMATIC PROGRAMMING; COMPUTER PROGRAMMING; CONSTRAINT THEORY; ENCODING (SYMBOLS); GRAPHIC METHODS; SOFTWARE TESTING; UNIFIED MODELING LANGUAGE; VERIFICATION;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 52249099953     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSTW.2008.54     Document Type: Conference Paper

References (16)

1. K. Anastasakis, B. Bordbar, G. Georg, and I. Ray. Um12alloy: A challenging model transformation. In ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems, pages 436-450, 2007.
2. e. Cambridge University Press, Cambridge, UK, 2007.
3. D. Berardi, D. Calvanese, and G. D. Giacomo. Reasoning on UML class diagrams. Artificial Intelligence, 168:70-118, 2005.
4. A. D. Brucker and B. Wolff. The HOL-OCL book. Technical Report 525, ETH Zurich, 2006.
5. M. Cadoli, D. Calvanese, G. D. Giacomo, and T. Mancini. Finite satisfiability of UML class diagrams by Constraint Programming. In Proc. Int. Workshop on Description Logics (DL'2004), volume 104 of CEUR Workshop Proc., 2004.
6. 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.
7. 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.
8. D. Jackson. Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology, 11(2):256-290, 2002.
9. H. Malgouyres and G. Motet. A UML model consistency verification approach based on meta-modeling formalization. In Proc. ACM Symp. on Applied Computing (SAC'2006), pages 1804-1809. ACM Press, 2006.
10. K. Marriott and P. J. Stuckey. Programming with Constraints: An Introduction. MIT Press, Cambridge, Massachussetts, 1998.
11. Object Management Group. UML 2.0 OCL Specification, 2003.
12. A. Queralt and E. Teniente. Reasoning on UML class diagrams with OCL constraints. In D. W. Embley, A. Olivé, and S. Ram, editors, ER, volume 4215 of Lecture Notes in Computer Science, pages 497-512. Springer-Verlag, 2006.
13. S. Sen, B. Baudry, and H. Vangheluwe. Domain-specific model editors with model completion. In Proc. of the Multi-Paradigm Modeling Workshop (MPM'2007), 2007.
14. R. V. D. Straeten, T. Mens, J. Simmonds, and V. Jonckers. Using description logic to maintain consistency between UML models. In Proc. of UML'03., volume 2863 of LNCS, pages 326-340. Springer, 2003.
15. e Constraint Programming System, http://www.eclipse-clp.org, mar 2007. version 5.10.
16. UMLtoCSP. http://gres.uoc.edu/UMLtoCSP.