智能建模器 swMATH ID: 6570 软件作者： 阿特姆·卡塔诺索夫 描述： 本体驱动的软件工程：超越模型检查和转换本文介绍了一种新的本体论驱动的软件工程框架，该框架基于先前研究模型驱动工程和本体建模之间相互作用的相关工作。我们的框架做出了贡献，它采用了更灵活的方法进行本体建模，在处理方面也具有更高的性能，并将更广泛的本体类型纳入ODSE。因此，它扩展了先前工作所支持的分类和模型一致性检查本体服务的能力和速度，并带来了新的本体服务：模型库中的语义搜索，三种半自动化的模型组合服务：基于任务的、基于结果的和机会主义的，和政策执行服务。该框架的主要预期用途是作为模型驱动工程工具的一部分来实现，以支持软件工程师。我们描述了这种称为Smart Modeller的工具的参考实现，并报告了在它的帮助下对我们的框架进行的性能评估。 主页： http://www.worldscientific.com/doi/abs/10.1142/S1793351X12500031 关键词： 本体论驱动的软件工程;模型驱动工程;组件元数据;软件组成;模型检查 相关软件： 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 本体驱动的软件工程：超越模型检查和转换。 Zbl 1250.68091号阿特姆·卡塔诺索夫 2012 1位作者引用 1 阿特姆·卡塔诺索夫 连载1篇 1 国际语义计算杂志 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文