지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2011.9
- 수록면
- 63 - 75 (13page)
이용수
초록· 키워드
오류제보하기
분산 이동 실시간 시스템을 개발하기 위해 pi-Calculus, Mobile Ambients Calculus, Bigraph 등의 수 많은 프로세스 대수가 존재한다. 하지만 시스템이 방대해지고 복잡해질수록 시스템을 구성하는 프로세스들의 통신과 이동 역시 방대해지고 복잡해지므로 프로세스 대수로 이를 이해하는데 어려움이 존재한다. 그러므로 방대하고 복잡한 시스템을 체계적으로 이해할 수 있는 방법이 필요하다. 본 논문에서는 방대하고 복잡한 시스템을 프로세스들의 통신과 이동의 순서화된 추상화 방법 즉, 계층적으로 구조화된 격자(Lattice)들의 형태인 프리즘(Prism)으로 다룬다. 이는 액티브 온톨로지(Active Ontology)에서 확장된 새로운 개념인 행위 온톨로지(Behavior Ontology)를 기반으로 한다. 프리즘은 시스템을 체계적으로 이해하기 위해 시스템을 계층적으로 구성된 행위적 속성을 지닌 격자들 관점에서 분석하는 것을 허용한다. 이러한 방법은 통신과 이동의 복잡함을 의미적이고 계층적으로 구성된 행위의 구조로 체계적으로 이해할 수 있게 한다.
목차
요약
Abstract
Ⅰ. 서론
Ⅱ. Prism 구축 방법
Ⅲ. 시간과 공간 속성이 복잡한 예제
Ⅳ. 행위 온톨로지를 기반한 분석
Ⅴ. 비교 연구
Ⅵ. 결론
참고문헌
저자소개
참고문헌 (21)
참고문헌 신청
1. [보고서] - R. Miler / 1989 / A Calculus of Mobile Processes, Part I
2. [보고서] - R. Miler / 1989 / A Calculus of Mobile Processes, Part Ⅱ
3. [기타자료] - K. Adi / 2008 / Formal Modeling for Security Behavior Analysis of Computer Systems / MCETECH : 39 ~ 59
4. [보고서] - R. Miler / 2001 / Bigraphical Reactive Systems: Basic Theory
5. [학술대회논문] - R. Milner / 2001 / Bigraphical Reactive Systems / Proc of the 121h International Conference on Concurrency Theory, Lecture Node in Computer Science : 16 ~ 35
2. [보고서] - R. Miler / 1989 / A Calculus of Mobile Processes, Part Ⅱ
3. [기타자료] - K. Adi / 2008 / Formal Modeling for Security Behavior Analysis of Computer Systems / MCETECH : 39 ~ 59
4. [보고서] - R. Miler / 2001 / Bigraphical Reactive Systems: Basic Theory
5. [학술대회논문] - R. Milner / 2001 / Bigraphical Reactive Systems / Proc of the 121h International Conference on Concurrency Theory, Lecture Node in Computer Science : 16 ~ 35
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2013-004-000747870