지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 한국정보과학회 학술발표논문집 한국정보과학회 1985년도 가을 학술발표논문집 제12권 제2호
- 발행연도
- 1985.10
- 수록면
- 136 - 147 (12page)
이용수
초록· 키워드
오류제보하기
SDL(Functional Specification and Description Language)은 통신 시스템의 동작을 specification하고 description하기 위해 표준화된 언어이다. 본 논문에서는 CCITT가 표준화하여 권고한 SDL에 의해서 표현된 SPC(Stored Programmed Control) 시스템의 dynamic behavior를 모델링하기 위하여 ENPN(Extended Numerical Petri Net)을 제안하여 SDL에서 ENPN으로 mapping하기 위한 변환법칙을 제시하였고 시스템의 동적인 특성을 분석하기 위해 Reachability Graph를 이용한 분석방법을 제시하였다.
목차
요약
Ⅰ. 서론
Ⅱ. Extended Numerical Petri Net
Ⅲ. SDL에서 ENPN으로의 Mapping
Ⅳ. ENPN의 분석
Ⅴ. 결론
참고문헌
그림
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
동적 SDL 분석기 개발
한국정보과학회 학술발표논문집
1990 .04
-
ERA 모델을 이용한 SDL Relational Database의 설계
한국정보과학회 학술발표논문집
1987 .04
-
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 환경
정보과학회지
1988 .02
-
정적 SDL 분석기의 개발
한국정보과학회 학술발표논문집
1988 .10
-
The Modeling of Switching Systems Specified in SDL Using Petri Nets
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
1996 .01
-
SDL(Specification & Description Language)를 이용한 통신 소프트웨어의 재사용성에 관한 연구
한국통신학회 학술대회논문집
1997 .11
-
SDL ( Specification & Description Language ) 를 이용한 통신 소프트웨어의 재사용성에 관한 연구 ( A Study for Design Reusability using SDL ( Specification & Description Language ) on Communication Software Developments )
한국통신학회 학술대회논문집
1997 .01
-
Integrated SDL Environments 개발 방향
한국정보과학회 학술발표논문집
1986 .04
-
도달성 그래프를 이용한 SDL 표현 프로토콜 분석 기법 ( An Analysis Scheme for Protocols Specified in SDL Using Reachability Graph )
한국통신학회논문지
1996 .12
-
CCITT SDL을 위한 그래픽 환경
한국정보과학회 학술발표논문집
1987 .10
-
SDL로부터의 시험시퀀스 생성에 관한 연구
한국정보과학회 학술발표논문집
1995 .11
-
CCITT-SDL을 이용한 호처리 프로그램 개발 ( Development of Call Processing Programs Using CCITT-SDL )
대한전자공학회 학술대회
1985 .01
-
SDL Analyzer의 개발
한국정보과학회 학술발표논문집
1985 .10
-
교환 소프트웨어에서의 병행성 분석에 관한 연구
한국정보과학회 학술발표논문집
1995 .04
-
Code Generation in an SDL Environment
대한전자공학회 세미나
1991 .01
-
ETRI SDL / GR Graphic Editor 개발
한국정보과학회 학술발표논문집
1986 .10
-
SDL로부터 프로토콜 시험열 자동 생성 기법 ( Automatic Generation of Protocol Test Sequences from SDL )
한국통신학회논문지
2000 .07
-
객체지향 SDL 환경을 위한 정보저장소의 모델링 및 구현
한국정보과학회 학술발표논문집
1994 .10
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-017948346