객체지향 페트리 넷을 이용한 계층적인 요구사항의 명세 및 검증 Hierarchical Specification and Verification of Requirements using An Object-Oriented Petri Net

요구사항이 복잡하고 다양해지면서 정형적인 방법을 이용한 시스템 명세가 방대해지고 이해하기 어려워진다는 문제들이 생겨났다. 따라서 요구사항의 명세를 위해 모듈화 및 객체화 개념 등을 도입하고 있으며, 특히 복잡한 시스템의 경우에 있어서는 요구사항을 하향식 접근 방법에 의해 분할하고, 이들을 각각 정형적으로 명세하여 합성하는 접근 방법을 사용하고 있다. 본 연구에서는 이러한 추세에 따라 요구사항을 계층적으로 모델링하고, 객체지향 개념을 충분히 표현할 수 있는 정형적인 방법을 제안한다. 제안된 객체지향 페트리 넷인 HOONet은 모듈화, 객체화, 추상화, 및 상세화 등의 개념을 지원하도록 설계되었으며, 복잡한 요구사항을 체계적으로 명세할 수 있는 방법을 제공한다. 특히 요구사항이 부분적으로 제시되었거나, 분석이 전체적으로 완료되지 않은 상황에서도 명세 및 검증이 가능하도록 하였으며, 점진적인 명세의 합성을 통해 시스템 모델링이 이루어지도록 하였다.
Publisher
한국정보과학회
Issue Date
2000
Language
KOR
Citation

정보과학회논문지 : 소프트웨어 및 응용, v.27, no.2, pp.157 - 167

ISSN
1738-5385
URI
http://hdl.handle.net/10203/18420
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
객체지향 페트리 넷을 이용한 계층적인 요구사항의 명세 및 검증-원문.PDF(673.02 kB)Download
  • Hit : 207
  • Download : 228
  • Cited 0 times in thomson ci

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0