Reasoning about UML/OCL class diagrams using constraint logic programming and formula

作者：

Highlights：

• Reasoning about CD/OCL models based on CLP using the tool Formula as model-finder.

• Translation of CD to Formula following a MOF-like proposal.

• Identified an expressive fragment of OCL and provided its translation to Formula.

• Provided an experimental MDA-based implementation of our CD-to-Formula proposal.

• Model design reasoning by checking correctness properties and generating model instances automatically.

摘要

•Reasoning about CD/OCL models based on CLP using the tool Formula as model-finder.•Translation of CD to Formula following a MOF-like proposal.•Identified an expressive fragment of OCL and provided its translation to Formula.•Provided an experimental MDA-based implementation of our CD-to-Formula proposal.•Model design reasoning by checking correctness properties and generating model instances automatically.

论文关键词：UML,OCL,Constraint logic programming,Reasoning

论文评审过程：Received 12 August 2016, Revised 24 July 2018, Accepted 27 August 2018, Available online 8 September 2018, Version of Record 8 February 2019.

论文官网地址：https://doi.org/10.1016/j.is.2018.08.005