| 한글제목(Korean Title) |
클래스 연산의 선행/후행 조건에 바탕을 둔 클래스의 상태 다이어그램 자동 구성 기법 |
| 영문제목(English Title) |
An Automatic Construction Approach of State Diagram from Class Operations with Pre/Post Conditions |
| 저자(Author) |
이광민
배정호
채흥석
Lee Kwang-Min
Jung Ho Bae
Heung Seok Chae
|
| 원문수록처(Citation) |
VOL 16-D NO. 04 PP. 0527 ~ 0540 (2009. 08) |
한글내용
(Korean Abstract) |
상태 다이어그램은 객체가 가질 수 있는 상태와 각 상태에서 수행 할 수 있는 전이를 사용하여 객체의 동적행위를 표현한다. 본 논문에서는 클래스 연산들의 선행/후행 조건들을 이용하여 상태다이어그램을 자동으로 생성하는 기법을 제안한다. 그리고 본 논문에서 제시한 기법을 구현하는 도구 SDAG(State Diagram Automatic Generation Tool)을 제작하였다. 추가적으로 생성된 상태 다이어그램의 복잡도를 감소시키기 위하여 연산의 종류를 고려한 상태 다이어그램 생성 방법과 생성된 다이어그램을 측정하는 방법을 제안하고 실험하였다. |
영문내용
(English Abstract) |
State diagrams describe the dynamic behavior of an individual object as a number of states and transitions between these states. In this paper, we propose an automated technique to the generation of a state diagram from class operations with pre/post conditions. And I also develop a supporting tool, SDAG (State Diagram Automatic Generation tool). Additionally, we propose a complexity metric and a state diagram generation approach concerning types of each operation for decreasing complexity of generated state diagram. |
| 키워드(Keyword) |
Object-Oriented Programming
객체지향 프로그래밍
Pre/Post Condition
선행/후행 조건
State Diagram
상태 다이어그램
|
| 파일첨부 |
PDF 다운로드
|
