基于本体的构件过程描述和检索

摘要

基于构件的软件开发已经成为软件工程研究领域和软件开发实践过程中越来越重要的内容。在构件进行描述和检索的过程中,检索主要的依据是基于构件IOPE进行的。本文作者基于现有的基于本体的构件描述和检索研究基础,结合时序逻辑的相关理论,提出了一种使用时序逻辑的描述和验证框架,来对基于本体的构件描述进行检索结果的过程属性进行精化和验证。该方法可以有效地解决目前构件的描述和检索过程中构件的过程信息的验证问题,提高构件检索结果的精准度和质量,为基于构件的软件开发和软件重用提供帮助。