Journal of the Korea Academia-Industrial cooperation Society (한국산학기술학회논문지)

The Korea Academia-Industrial cooperation Society (한국산학기술학회)
권호 표지
DOI QR코드

DOI QR Code

A Method based on Ontology for detecting errors in the Software Design

온톨로지 기반의 소프트웨어 설계에러검출방법

  • Seo, Jin-Won (Dept. of Computer Engineering, Kongju National University) ;
  • Kim, Young-Tae (Dept. of Computer Engineering, Kongju National University) ;
  • Kong, Heon-Tag (Dept. of Computer Engineering, Kongju National University) ;
  • Lim, Jae-Hyun (Dept. of Computer Engineering, Kongju National University) ;
  • Kim, Chi-Su (Dept. of Computer Engineering, Kongju National University)
  • 서진원 (공주대학교 컴퓨터공학부) ;
  • 김영태 (공주대학교 컴퓨터공학부) ;
  • 공헌택 (공주대학교 컴퓨터공학부) ;
  • 임재현 (공주대학교 컴퓨터공학부) ;
  • 김치수 (공주대학교 컴퓨터공학부)
  • Published : 2009.10.31
Download PDF
⟨ Previous Next ⟩

Abstract

The objective of this thesis is to improve the quality of a software product based on the enhancement of a software design quality using a better error detecting method. Also, this thesis is based on a software design method called as MOA(Methodology for Object to Agents) which uses an ontology based ODES(A Method based on Ontology for Detecting Errors in the Software Design) model as a common information model. At this thesis, a new format of error detecting method was defined. The method is implemented during a transformation process from UML model to ODES model using a ODES model, a Inter-View Inconsistency Detection technique and a combination of ontologic property of consistency framework and related rules. Transformation process to ODES model includes lexicon analysis and meaning analysis of a software design using of multiple mapping table at algorithm for the generation of ODES model instance.

본 논문은 소프트웨어 설계 시 향상된 오류 검출방법을 통해서 소프트웨어 설계의 질을 향상시켜 그에 따른 소프트웨어 제품의 질을 향상시키는데 목적을 두고 있다. 본 논문에서 오류검출의 범위는 일관성결여 오류로 제한하여 일관성 오류에 관한 명세에 초점을 맞춘다. UML 표현의 문제점인 의미 일관성 표현의 한계를 극복하기 위해 ODES 모델을 제안하였으며 검증방법으로 일관성 검사 방법을 제안한다. UML 설계에서 확인된 의미적으로 중요한 특징이 ODES 모델로 구현되며, UML 모델을 ODES 모델로 변환과정에서의 일관성검사방법을 제시한다. ODES 모델로의 변환과정은 ODES 모델의 인스턴스를 생성하기 위한 알고리즘에서 복수의 사상테이블을 이용하는 소프트웨어 설계의 어휘분석과 의미분석을 포함한다.

Keywords

References

  1. S. Easterbook, "Model Management and Inconsistency in Software Design", Proc. NSF Workshop on the Science of Design, 2003.
  2. G. Engels, R. Heckel, and J. Kuster, "Rule-based Specification of Behavioral Consistency based on the UML Meta-Model", Proc. UML 2001.
  3. Object Management Groop, Unified Modeling Language(UML) 2.0, 2003.
  4. 채홍석, 객체지향 CBD 개발 Bible, 한빛 미디어, 2003.
  5. 김영태, 임재현, 김치수 "효율적인 온톨로지 개발을 위한 UML의 변경", 한국산학기술학회 제9권 2호 pp.415-421, 2009. https://doi.org/10.5762/KAIS.2008.9.2.415
  6. 서진원, 공헌택, 임재현, 김치수 "온톨로지 분석 기반의 UML클래스 모델을 이용한 데이터 통합", 한국산학기술학회 제9권 2호 pp.422-430, 2009. https://doi.org/10.5762/KAIS.2008.9.2.422
  7. J. Gennari, M. Musen, R. Fergerson, W. Grollso, M. Crubezy, H. Eriksson, N. Noy, and S. Tu, "The Evolution of Protege: An Environment for knowledge - Based Systems Development", International journal of Human-Computer Studies, vol. 58, no. 1, pp. 89-123, 2003. https://doi.org/10.1016/S1071-5819(02)00127-1
  8. E. Neuhold, C. Niederee and M. Fuchs, "Semantic Web Application Models", ER 2003 - 22nd International Conference on Conceptual Modeling, 2003.
  9. L. Briand, Y. Labiche, and L. O'Sullivan, "Impact Analysis and Change Management of UML Models", Technical Report SCE-03-01, Carleton University, 2003; also, Proceedings of IEEE International Conference on Software Maintenance (ICSM), pp. 256-265, 2003.
  10. M. Encarnacion Beato, Manuel Barrio Solorzano, Carlos E. Cuesta, "UML Automatic Verification Tool (TABU)", Electronic Notes in Theoretical Computer Science Volume 127, Issue 4, 2005.