[논문 리뷰] Development of formal models, algorithms, procedures, engineering and functioning of the software system "Instrumental complex for ontological engineering purpose"

А. В. Палагин, N. G. Petrenko외 2명|arXiv (Cornell University)|2018. 03. 24.

Model-Driven Software Engineering Techniques참고 문헌 5인용 수 19

한 줄 요약

이 논문은 복잡한 정보 환경에서 옹오토로지 개발을 지원하기 위한 소프트웨어 시스템인 '온톨로지 공 ingeneering 목적을 위한 도구 복합체'의 형식적 설계 및 구현을 제시한다. 이는 클라이언트-서버 아키텍처를 기반으로 한 3-tier 아키텍처를 채택하여 형식적 모델, UML 다이어그램, 수학적 표현을 통합함으로써, 검증된 소프트웨어 공학 기법과 인공지능 기반 모델링 기법을 활용한 체계적이고 확장 가능한 옹오토로지 공 ingeneering을 가능하게 한다.

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.

연구 동기 및 목표

• 복잡한 정보 환경에서 옹오토로지 공 ingeneering을 지원하기 위한 형식화된 소프트웨어 시스템 개발.
• 소프트웨어 중심 시스템에서 옹오토로지 구축 및 관리에 대한 표준화되고 확장 가능한 도구의 부족을 해결.
• 형식적 모델, 알고리즘, 공학 절차를 통합하여 일관되고 확장 가능한 소프트웨어 아키텍처를 구축.
• UML 및 수학적 모델링을 통한 3-tier 클라이언트-서버 설계를 통해 탄탄하고 유지보수 가능한 시스템 보장.
• 인공지능 및 지식 중심 응용 분야에서 옹오토로지 개발을 위한 실용적이고 재사용 가능한 프레임워크 제공.

제안 방법

• 시스템은 프레젠테이션, 비즈니스 로직, 데이터 액세스 레이어로 구성된 3-tier 아키텍처를 사용하여 모듈화되고 확장 가능한 배포를 가능하게 한다.
• 형식적 모델은 수학적 식과 UML 다이어그램을 통해 표현되어 시스템 명세의 정밀성과 일관성을 확보한다.
• 옹오토로지 공 ingeneering 절차는 알고리즘 워크플로우로 표현되어 자동화 및 반자동화된 지식 모델링을 지원한다.
• 클라이언트-서버 환경에서 소프트웨어 시스템을 구현하여 분산 협업과 중앙집중식 지식 관리를 지원한다.
• 요구사항 모델링, 설계 사양, 형식적 검증을 포함한 체계적인 소프트웨어 공학 절차를 따르는 개발 과정을 수립한다.
• 옹오토로지 생성, 저장, 검색을 위한 잘 정의된 인터페이스와 모듈화된 구성 요소를 통해 확장성을 보장한다.

실험 결과

연구 질문

• RQ1 형식적 모델과 소프트웨어 공학 원칙을 옹오토로지 공 ingeneering을 위한 시스템에 통합하는 방법은 무엇인가?
• RQ2 옹오토로지 개발 플랫폼의 확장성과 유지보수성을 최적화하는 데 가장 적합한 아키텍처 패턴은 무엇인가?
• RQ3 UML과 수학적 표현을 어떻게 활용하여 옹오토로지 공 ingeneering 도구의 구조와 동작을 형식적으로 명세화할 수 있는가?
• RQ4 클라이언트-서버 상호작용은 분산 환경에서의 협업적 옹오토로지 개발을 어떻게 지원하는가?
• RQ5 전체 소프트웨어 개발 생애 주기를 형식화하여 옹오토로지 시스템의 신뢰성과 재사용성을 보장하는 방법은 무엇인가?

주요 결과

• 제안된 도구 복합체는 명확한 책임 분리와 함께 형식적이고 모듈화되며 확장 가능한 옹오토로지 공 ingeneering 프레임워크를 제공한다.
• 3-tier 아키텍처는 계산 부하의 효율적 분배를 가능하게 하며, 기업 환경에서의 보안성과 확장성 있는 배포를 지원한다.
• UML 다이어그램과 수학적 표현의 통합은 형식적 정확성을 보장하고 시스템 구성 요소의 검증을 용이하게 한다.
• 시스템은 체계적인 개발 프로세스를 지원하여 옹오토로지 생성 과정에서의 모호성 감소와 재현 가능성 향상을 도모한다.
• 형식적 모델링 접근법은 유지보수성 향상에 기여하며, 향후 인공지능 기반 옹오토로지 정밀화와 같은 확장 기능을 지원한다.
• 시스템은 우크라이나 프로그래밍 컨퍼런스 2014(UkrPROG 2014)의 맥락에서 구현 및 배포를 통해 검증되었으며, 실제 환경에서의 실용성을 입증하였다.