[论文解读] Development of formal models, algorithms, procedures, engineering and functioning of the software system "Instrumental complex for ontological engineering purpose"

А. В. Палагин, N. G. Petrenko+2 more|arXiv (Cornell University)|Mar 24, 2018

Model-Driven Software Engineering Techniques参考文献 5被引用 19

一句话总结

本文提出了一个名为'本体工程用途仪器综合系统'的软件系统的正式设计与实现，该系统通过三层客户端-服务器架构支持本体的开发。它整合了形式化模型、UML图和数学表达式，以实现结构化、可扩展的本体工程，结合经验证的软件工程实践与人工智能驱动的建模技术。

ABSTRACT

The given paper considered a generalized model representation of the software system "Instrumental complex for ontological engineering purpose". Represented complete software system development process. Developed relevant formal models of the software system "Instrumental complex for ontological engineering purpose", represented as mathematical expressions, UML diagrams, and also described the three-tier architecture of the software system "Instrumental complex for ontological engineering purpose" in a client-server environment.

研究动机与目标

• 为在复杂信息环境中支持本体工程，开发一个形式化的软件系统。
• 解决在软件密集型系统中构建和管理本体时缺乏标准化、可扩展工具的问题。
• 将形式化模型、算法和工程流程整合到一个统一、可扩展的软件架构中。
• 通过采用UML与数学建模的三层客户端-服务器设计，确保系统的鲁棒性与可维护性。
• 为人工智能和知识密集型应用中的本体开发提供实用且可重用的框架。

提出的方法

• 系统采用三层架构设计：表示层、业务逻辑层和数据访问层，支持模块化与可扩展的部署。
• 通过数学方程和UML图表达形式化模型，以确保系统规范的精确性与一致性。
• 将本体工程流程编码为算法工作流，支持自动化与半自动化的知识建模。
• 软件系统在客户端-服务器环境中实现，以支持分布式协作与集中式知识管理。
• 开发过程遵循结构化的软件工程实践，包括需求建模、设计规范与形式化验证。
• 通过明确定义的接口与模块化组件，支持可扩展性，实现本体的创建、存储与检索。

实验结果

研究问题

• RQ1 如何将形式化模型与软件工程原则整合到本体工程系统中？
• RQ2 何种架构模式最能支持本体开发平台的可扩展性与可维护性？
• RQ3 如何利用UML与数学表达式正式指定本体工程工具的行为与结构？
• RQ4 客户端-服务器交互在支持分布式环境中协同本体开发中扮演何种角色？
• RQ5 如何形式化整个软件开发生命周期，以确保本体系统中的可靠性与可重用性？

主要发现

• 所提出的仪器综合系统提供了一个形式化、模块化且可扩展的本体工程框架，实现了清晰的关注点分离。
• 三层架构支持计算负载的有效分配，并在企业环境中实现安全、可扩展的部署。
• UML图与数学表达式的整合确保了形式正确性，并促进了系统组件的验证。
• 系统支持结构化开发流程，减少了本体创建中的歧义性，提高了可重复性。
• 形式化建模方法增强了可维护性，并支持未来扩展，如人工智能辅助的本体优化。
• 该系统通过在UkrPROG 2014会议背景下的实现与部署得到验证，展示了其在真实场景中的实际适用性。