http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
지능망 서비스를 기술하기 위한 형식 명세 언어 Z의 확장
강흠근(H. G Kang),권용래(Y R Kwon) 한국정보과학회 1992 한국정보과학회 학술발표논문집 Vol.19 No.1
새로운 지능망 서비스에 대한 요구가 증가함에 따라 미리 정의된 블럭들을 재사용하여 새로운 서비스를 개발하는 것이 유용한 방법으로 등장하였다. 이와 같은 이유로 인하여 블럭들을 엄밀하게 정의하는 것이 매우 중요하게 되었다. 본 논문에서는 서비스를 엄밀하게 기술하기 위해서 형식 명세 언어 Z에 history 개념을 도입하여 새로운 형식 명세 언어 Zt를 정의하였다. 그리고 CCITT에서 정의한 블럭들을 Zt로 기술하여 그 유용성을 살펴 보았다.