UMLtoCSP

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

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

Full text

Pdf (560 KB)

Source

Automated Software Engineering archive
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering table of contents

Atlanta, Georgia, USA

DEMONSTRATION SESSION: Tool demonstrations table of contents

Pages 547-548

Year of Publication: 2007

ISBN:978-1-59593-882-4

Authors

Jordi Cabot	Universitat Oberta de Catalunya, Barcelona, Spain
Robert Clarisó	Universitat Oberta de Catalunya, Barcelona, Spain
Daniel Riera	Universitat Oberta de Catalunya, Barcelona, Spain

Sponsors

ACM: Association for Computing Machinery
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory
SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 6, Downloads (12 Months): 58, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1321631.1321737 What is a DOI?

ABSTRACT

We present UMLtoCSP, a tool for the formal verification of UML/OCL models. Given a UML class diagram annotated with OCL constraints, UMLtoCSP is able to automatically check several correctness properties, such as the strong and weak satisfiability of the model or the lack of redundant constraints. The tool uses Constraint Logic Programming as the underlying formalism and the constraint solver ECLⁱPS^e as the verification engine.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Krzysztof R. Apt , Mark Wallace, Constraint Logic Programming using Eclipse, Cambridge University Press, New York, NY, 2007
	2	A. D. Brucker and B. Wol.. 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