지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 1991.12
- 수록면
- 619 - 628 (10page)
이용수
초록· 키워드
오류제보하기
병렬 처리 시스템에서 프로그램을 보다 편리하고 효율적으로 개발하기 위한 프로그램 개발 지원 도구는 순차적 컴퓨터의 경우보다 훨씬 더 필요하다. 본 논문에서는 트랜스퓨터(Transputer)를 사용하여 구성한 병렬 처리 컴퓨터에서 수행되는 프로그래밍 언어인 Occam으로 구성하는 응용 프로그램의 개발 지원 도구를 소개한다. 여기서는 병렬성을 잘 표현할 수 있는 Petri net을 사용하여 문제를 시각적으로 명시할 수 있게 했다. 이를 위해 Petri net 모델을 다단계로 쉽게 작성할 수 있는 그림 편집기를 개발하였고, 작성된 Petri net 모델을 Occam 프로그램으로 변환시키는 모듈을 구현하였다. Petri net 모델을 이용함으로써 top-down 방식으로 프로그램을 효율적으로 개발할 수 있을 뿐 아니라, 생성된 Occam 프로그램의 검증에도 이용할 수 있다.
목차
요약
ABSTRACT
Ⅰ. 서론
Ⅱ. Occam 언어와 Petri net
Ⅲ. Petrin net 그림 편집부
Ⅳ. Petri net to Occam 프로그램 변환부
Ⅴ. 사용 예
Ⅵ. 결론
참고문헌
저자소개
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
병렬 처리 시스템에 있어서의 프로그램 개발 환경을 지원하기 위한 고수준 그래픽 인터페이스 개발
한국정보과학회 학술발표논문집
1991 .04
-
Petri Net을 이용한 Occam 채널통신의 정적 분석
한국정보과학회 학술발표논문집
1991 .04
-
Petri net와 그의 변형
(구)정보과학회논문지
1983 .05
-
Petri net의 확장에 관한 연구 ( A Study on the extension of Petri Net ）
한국통신학회지(정보와통신)
1982 .01
-
컴퓨터 시스템 분석을 위한 Petri net언어의 생성 ( Petri Net Language generation for analysis of computer system )
대한전자공학회 학술대회
1986 .01
-
컴퓨터 시스템 분석을 위한 Petri net언어의 생성
대한전자공학회 학술대회
1986 .12
-
Fuzzy Petri Net을 이용한 Communication Protocol의 Data control과 Modeling
한국정보과학회 학술발표논문집
1991 .04
-
Petri Net Analysis Methods and Fuzzy-Timing High-Level Petri Nets
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
1996 .01
-
Time Petri Nets에서의 스케쥴 문제분석 ( Scheduling Problems Analysis For Time Petri Net Reduction )
대한전자공학회 학술대회
1996 .01
-
시스템 분석을 위한 Petri net 축조 연구 ( A Relation Reduction of Petri nets for System Analysis )
한국통신학회 학술대회논문집
1990 .01
-
시스템 분석을 위한 Petri net의 축조 연구
한국통신학회 학술대회논문집
1990 .11
-
Petri Net를 이용한 호환기의 축소된 호처리 모델링 ( Reduced Call Processing Modeling of Exchange using Petri Net )
한국통신학회 전문대학 논문지
1992 .01
-
페트리네트 Slice를 이용한 페트리네트 모델의 합성적 분석
정보과학회논문지 : 소프트웨어 및 응용
2000 .03
-
Petri Net를 이용한 서로 다른 관리 망 연동 시스템의 모델링 ( Modeling of interworking system for different management networks using Petri Net )
한국통신학회 학술대회논문집
1998 .01
-
Petri Net를 이용한 서로 다른 관리 망 연동 시스템의 모델링
한국통신학회 학술대회논문집
1998 .07
-
인터넷 멀티미디어 시나리오를 모델하기 위한 페트리 넷 소개
한국정보과학회 학술발표논문집
2000 .10
-
Petri Net을 이용한 시간논리 구조의 표현
대한전기학회 학술대회 논문집
2000 .11
-
Petri net의 擴張에 關한 硏究
한국통신학회논문지
1982 .12
-
Petri net에 의한 Concurrent System 설계에 관한 연구
(구)정보과학회논문지
1985 .02
-
Timed Petri Nets를 이용한 공장자동화시스템의 스케쥴링 ( Scheduling of Factor Automation Systems Using Timed Petri Nets )
대한전자공학회 학술대회
1989 .01
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-017778448