2001년도 인터넷정보학회 춘계학술발표대회
Current Result Document : 9 / 9
| 한글제목(Korean Title) |
다이아그램 검증 규칙의 정형 명세 언어로의 변환에 관한 연구 |
| 영문제목(English Title) |
A Study on the Formal Specification Language Translation of the Diagram Verification Rule |
| 저자(Author) |
김진수
송영진
Jinsoo Kim
Youngjin Song
|
| 원문수록처(Citation) |
VOL 02 NO. 01 PP. 0424 ~ 0427 (2001. 05) |
한글내용
(Korean Abstract) |
일반적으로 크고 복잡한 소프트웨어 시스템은 커다란 다이아그램의 집합으로 구성되지만 이들 각각의 다이아그램들이 일관성이 있고 완전한가를 알기는 매우 어렵다. 이러한 문제를 해결하기 위하여 [1]에서는 최근 객체지향 개발에서 많이 사용되고 있는 UML 다이아그램들에 대한 일관성과 완전성을 검사하기 위하여 각 다이아그램들을 ER 모델로 표현하고, 각 다이아그램에 대한 공통된 표현으로 통합된 ER 다이아그램을 제공하였다. 이렇게 통합된 다이아그램은 일련의 집합과 함수들을 사용하여 정형적으로 명세되며, 이러한 정형 명세를 기반으로하여 일관성과 완전성 검사를 수행하기 위한 규칙을 제공하였다. 그러나 [1]에서 정형적으로 명세된 검증 규칙들을 사용하여 실제로 검증 작업을 하기 위해서는 우리가 알고 있는 정형 명세 언어로 변화할 필요성이 있다. 따라서 본 논문에서는 이러한 검증 규칙을 우리가 잘 알고 있는 Z 명세로 변환하여 검증 도구를 설계하는 기초로 사용하고자 한다. Z 명세는 쉽게 실행가능한 형태로 변환되어 검증 시스템을 구축할 수 있게 된다.
|
영문내용
(English Abstract) |
|
| 키워드(Keyword) |
|
| 파일첨부 |
PDF 다운로드
|
