메뉴 건너뛰기
.. 내서재 .. 알림
소속 기관/학교 인증
인증하면 논문, 학술자료 등을  무료로 열람할 수 있어요.
한국대학교, 누리자동차, 시립도서관 등 나의 기관을 확인해보세요
(국내 대학 90% 이상 구독 중)
로그인 회원가입 고객센터 ENG
주제분류

추천
검색
질문

이용수

표지
📌
연구주제
📖
연구배경
🔬
연구방법
🏆
연구결과
AI에게 요청하기
추천
검색
질문

초록· 키워드

오류제보하기
ITU-T에서는 교환 시스템을 위한 사양(specification) 언어는 SDL로, 구현 언어는 CHILL을 표준으로 정하였다. 시스템 개발 단계상 이 두 언어는 시스템 기술의 차이점을 가지고 있어서, SDL에서 CHILL로, CHILL에서 SDL로 완벽하게 변환할 수 없지만 가능한 한 이 차이점을 최소화하는 방법이 고려되어야 한다. 현재 ETRI에서 구현한 SDL의 기능중에 병행성을 표현하는 방법은 “Process Creation”, “Signal Input”, “Signal Output” 기능이 제공되나, CHILL에서 제공하는 “event”, “buffer”를 표현할 수 있는 심볼이 제공되고 있지 않다. 본 논문에서는 SDL에 “event”를 나타내는 심볼을 정의하고, 이를 페트리 네트로 변환하는 방법을 제안하여 SDL을 사용하는 단계에서 병행성을 분석하는 방법을 제안하였다.

목차

요약

1. 서론

2. 교환 소프트웨어 특성

3. 병행성 분석 방법

4. 분석 사례

5. 결론

감사의 글

[참고 문헌]

참고문헌 (0)

참고문헌 신청

함께 읽어보면 좋을 논문

논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!

이 논문의 저자 정보

최근 본 자료

전체보기

댓글(0)

0

UCI(KEPA) : I410-ECN-0101-2009-569-017950444