作者
Jordi Cabot, Robert Clarisó, Daniel Riera
发表日期
2007/11/5
图书
Proceedings of the 22nd IEEE/ACM international conference on Automated software engineering
页码范围
547-548
简介
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 ECLiPSe as the verification engine.
引用总数
学术搜索中的文章
J Cabot, R Clarisó, D Riera - Proceedings of the 22nd IEEE/ACM international …, 2007