Journal of KIISE:Software and Applications (한국정보과학회논문지:소프트웨어및응용)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

A Method of Checking Errors and Consistency in the Process of Object-Oriented Design

객체지향 분석과정에서 오류와 일관성 점검 방법

  • Published : 1999.03.01

⟨ Previous Next ⟩

Abstract

객체지향 분석과정중에 오류를 검출하고 일관성을 점검하여 무결성을 유지하는 것은 중요한 일이다. 그러나, 현재의 객체지향 개발 방법론은 객체지향 분석모델들에 대하여 오류 검출과 일관성 점검을 위한 정형화된 방법을 제시하지 못하고 있다. 본 논문은 지식베이스를 이용하여 , 객체지향 분석모델들에 대한 오류와 일관성 검증방법을 제안한다. 제안한 방법은 모형화 단계, 정형화 단계, 검증 단계의 세단계로 이루어져 있다. 모형화 단계에서는 시스템을 분석하여 OMT(Object Modeling Technique)방법론의 세 가지 모델인 객체모델, 동적 모델, 기능모델을 생성한다. 이 단계는 OMT의 분석단계에 해당한다. 정형화 단계에서는 이 세가지 모델들을 Atomic Formula 형태로 정형 명세하여 응용 지식베이스에 저장한다. 검증 단계에서는 오류 검출 규칙과 일관성 점검 규칙을 이용하여 오류를 점검하고 일관성을 유지한다. 그리고 본 논문에서 제안한 점검 방법을 적용하여 ATM(Automated Teller Machine)예제의 분석결과를 검증했다. 제안한 방법을 이용하면 보다 더 신뢰할 수 있는 분석모델을 얻을 수 있을 것으로 기대된다.

Keywords

References

  1. 한국정보과학회 가을 학술발표논문집 v.23 no.2 객체지향LOTOS의 기본 분석 천윤식;조수선
  2. 한국정보과학회 봄 학술발표논문집 v.21 no.1 OMT 방법론을 지원하는 다이어그램 도구의 분석 정기룡;김규년;정민포;최제헌
  3. 객체지향 분석 모델의 완전성과 일관성 점검을 위한 진단 모델의 분석 이광용
  4. Object-Oriented Analysis and Design
  5. IEEE Trans, on Software Engineering v.19 no.1 State-Based Model Checking of Event-Driven System Requirements Joanne M. Atlee;John Gannon
  6. IEEE Trans. On Software Engineering v.21 no.10 A Formal Semantics for Object Model Diagrams Robert H. Bourdeau.Betty H. C. Cheng
  7. Formal Description Techniques (FORTE '89) Object-Z: An Object-Oriented Extension to Z Carrington, D.;Duke, R.;King,P.;Rose,G.;Smith, G.
  8. Proc.of VDM '90 Conf. Towards a Semantics for Object-Z Duke, D.;Duke, R.
  9. In ACM OOPSLA'91 Conference Proceedings Coherent Models for Object-Oriented Analysis Fiona Hayes;Derek Coleman
  10. Software through Pictures for the Object Modeling Technique
  11. Major VDM++ Language Characteristics IFAD
  12. Structured Analysis Methodology Rules David Jankowski
  13. Principles of Object-Oriented Analysis and Design James Martin
  14. Artificial Intelligence Through Prolog Neil C.Rowe
  15. Object-Oriented Modeling and Design James Rumbaugh;Michael Blaha;William Premeriani;Fredrick Eddy;William Lorensen
  16. Modern Structured Analysis Edward Yourdon