상태 변환 기계를 이용한 메소드의 실행 가능 명세 기법 (Executable Specification of Methods via State Transition Machines)

서지정보

· 발행기관 : 한국정보기술학회
· 수록지 정보 : 한국정보기술학회논문지 / 9권 / 11호 / 213 ~ 218페이지
· 저자명 : 김지승, 민경훈, 권기항

초록

이 논문은 소프트웨어 개발의 현재 관행과 관련된 문제를 다룬다. 일반적으로 현재 소프트웨어 개발 과정에서 가장 큰 문제점은 설계와 구현간의 간극이 매우 크다는 점이다. 그 결과로 소프트웨어의 유지보수, 업그레이드, 재사용하기에 충분하지 않다. 이 논문은 상태변환기계를 이용한 메소드의 실행 가능 명세 기법을 통해 설계와 구현간의 간극을 줄이는 방법을 다룬다. 상태변환기계를 이용하여 어떤 메소드를 구현할 때에는 모든 실행단계를 기술하지 않고 단지 최종목표만을 기술하기 때문에 그 기술이 훨씬 더 간단해진다는 장점이 있다. 즉, 메소드 명세와 실제 구현의 중간단계라고 할 수 있다. 또한 예를 통해 이 기법의 유용성을 보이고 있다.

영어초록

This paper addresses the problems related to the current practices of software developments. The key problems is the following : There is a big logical gap between software design and software implementation. Consquently, it is not easy to maintain, upgrade, or reuse software. This paper argues that the problem can be reduced by producing intermediate state transition machine specification for methods in the software design process. Implementing a method via state transition machine has the advantage of making the code much simpler. This is due to the fact that it allows us to specify one final state instead of all the detailed steps. In other words, it is an intermediate step between a method specification and a method implementation. We also illustrate the usefulness of our approach via an example.

참고자료

· 없음