한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)
- 한국정보처리학회 2003년도 추계학술발표논문집 (하)
- /
- Pages.1543-1546
- /
- 2003
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
Statechart Diagram의 정확성 검증을 위한 SMV코드 자동생성
Automatic SMVcode Generation for the Correctness Verification of Statechart Diagrams
- kim, Chong-Han (Dept. of Interdisciplinary Program of Software, Chonnam National University) ;
- Park, Ki-Chang (Dept. of Computer information Communication, Seonam University) ;
- Lee, Sang-Jun (Dept. of Computer Science Chonnam National University) ;
- Kim, Byung-Ki (Dept. of Computer information Communication, Seonam University)
- 발행 : 2003.11.14
초록
잘못된 명세로 인한 자원의 손실을 악기 위해서는 반드시 명세에 대한 검증이 필요하다. 객체지향 모델링 언어의 표준인 UML은 각각의 다이어그램이 사용자의 요구사항을 정확히 반영하고 있는지를 검증하기가 매우 어렵다. 본 논문은 UML의 여러 다이어그램 중 상태 다이어그램(Statechart Diagram)의 명세에 발생해서는 안되는 상태 또는 발생할 수 없는 상태와 같은 오류의 존재여부 등의 정확성을 검증하기 위해 CTL을 이용한 정형검증도구인 SMV를 이용한다. 이를 위해 UML의 상태 다이어그램에서 상태 정보와 상태 천이 정보를 추출하여 SMV로 변환하는 규칙을 찾아내어 UML의 상태 다이어그램의 정확성 검증을 수행하는 방법을 제안하고 자동으로 변환하는 툴을 설계한다.
키워드