贝内维提斯，亚历山德博蒂;吉扎尔迪，吉安卡洛;贝纳多·费雷拉·巴斯托斯·布拉加;阿尔梅达，若奥·保罗·安德拉德 使用自动生成的视觉世界结构验证OntoUML概念模型的模态方面。 （英语） 兹比尔1216.68280 加州大学洛杉矶分校 16，第20号，2904-2933（2010）. 概要：评估概念模型的质量是确保概念模型能够有效地用作理解、同意和构建信息系统的基础的关键。本文提出了一种评估OntoUML中定义的概念模型的方法，方法是将这些模型转换为基于逻辑的语言Alloy中的规范。这些Alloy规范包括OntoUML基础理论的模态公理，允许我们验证表示OntoUML类型和关系的本体承诺的模态元属性。 MSC公司： 68立方英尺 知识表示 68号30 软件工程的数学方面（规范、验证、度量、需求等） 关键词：形式定义与理论;知识表示形式和方法;模型验证和分析 PDF格式BibTeX公司 XML格式引用 \textit{A.B.Benevides}等人，J.UCS 16，No.20，2904--2933（2010；Zbl 1216.68280） 全文： 链接