지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 한국정보과학회 학술발표논문집 한국정보과학회 1990년도 봄 학술발표논문집 제17권 제1호
- 발행연도
- 1990.4
- 수록면
- 85 - 88 (4page)
이용수
초록· 키워드
오류제보하기
SDL(functional Specification and Description Language)은 통신 시스템의 동작을 계층적 구조로 표현하고 설계하기 위해 CCITT에서 표준화한 언어이다. 당 연구소에서는 앞으로 개발할 차세대 전전자 교환기(TDX-10)를 개발하기 위해 통합된 SDL 개발환경을 제안하고 관련 도구들을 개발하였다. 본 논문에서는 통합된 SDL 개발환경 구축을 위해 개발한 도구 중에서 PN(Petri Nets)에 기초를 둔 동적 SDL 분석기(Dynamic SDL Analyzer)에 대해 기술한다. 동적 SDL 분석기는 SDL을 이용한 시스템 명세를 PN으로 변환하는 SDL to PN 변환기능과 시스템 초기 상태로부터 도달가능한 모든 시스템 생성하는 도달성 그래프(reachability graph) 생성기능 및 도달성 그래프 생성을 통해 deadlock, 비도달성(unreachability), 시스템 상태의 주기성, no receiver 가능성과 같은 동적특성을 분석하는 동적특성 분석기능 등으로 구성되어 있다.
목차
요약
Ⅰ. 서론
Ⅱ. 동적 SDL 분석기(Dynarnic SDL Analyzer)의 구성
Ⅲ. SDL to PN(Petri Nets) 변환기능
Ⅳ. 도달성 그래프(Reachability Graph) 생성기능
Ⅴ. 동적특성 분석기능
Ⅵ. 결론
참고문헌
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
정적 SDL 분석기의 개발
한국정보과학회 학술발표논문집
1988 .10
-
[技術硏究]CCITT/SDL 환경
정보과학회지
1988 .02
-
Integrated SDL Environments 개발 방향
한국정보과학회 학술발표논문집
1986 .04
-
ERA 모델을 이용한 SDL Relational Database의 설계
한국정보과학회 학술발표논문집
1987 .04
-
도달성 그래프를 이용한 SDL 표현 프로토콜 분석 기법 ( An Analysis Scheme for Protocols Specified in SDL Using Reachability Graph )
한국통신학회논문지
1996 .12
-
CCITT SDL을 위한 그래픽 환경
한국정보과학회 학술발표논문집
1987 .10
-
SDL Analyzer의 개발
한국정보과학회 학술발표논문집
1985 .10
-
SDL로부터의 시험시퀀스 생성에 관한 연구
한국정보과학회 학술발표논문집
1995 .11
-
ETRI SDL / GR Graphic Editor 개발
한국정보과학회 학술발표논문집
1986 .10
-
SDL로부터 프로토콜 시험열 자동 생성 기법 ( Automatic Generation of Protocol Test Sequences from SDL )
한국통신학회논문지
2000 .07
-
Code Generation in an SDL Environment
대한전자공학회 세미나
1991 .01
-
SDL ( Specification & Description Language ) 를 이용한 통신 시스템 소프트웨어의 개발 ( A Communication System Software Developments of using SDL ( Specification & Description Language ) )
한국통신학회 학술대회논문집
1998 .01
-
SDL ( Specification & Description Language ) 를 이용한 통신 시스템 소프트웨어의 개발 ( A Communication System Software Developments of Using SDL ( Specification & Description Language ) )
대한전자공학회 학술대회
1998 .01
-
CCITT-SDL을 이용한 호처리 프로그램 개발 ( Development of Call Processing Programs Using CCITT-SDL )
대한전자공학회 학술대회
1985 .01
-
Extended Numerical Petri Net을 이용한 SDL 표현의 모델링과 그분석
한국정보과학회 학술발표논문집
1985 .10
-
교환 소프트웨어에서의 병행성 분석에 관한 연구
한국정보과학회 학술발표논문집
1995 .04
-
SDL을 이용한 지능망 서비스 특징 상호 작용의 발견 방법 ( A Method for Detecting AIN Service Feature Interactions SDL )
대한전자공학회 워크샵
1995 .01
-
Chill로부터 Sdl로서의 변환기 개발 ( Development of Chill to Sdl Transformer )
대한전자공학회 학술대회
1990 .11
-
CHILL로부터 SDL로의 변환기 개발
대한전자공학회 학술대회
1990 .11
-
SDL-92에서 CHILL-96으로 변환하기 위한 사상 규칙의 설계
정보과학회논문지(B)
1998 .08
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-017915609