주변 미적분학
Ambient calculus | 이 글은 예시에 관한 정보가 빠져 있다. (2021년 7월) |
컴퓨터 과학에서 주변 미적분은 루카 카델리와 앤드류 D가 고안한 과정 미적분이다. 1998년 고든은 모빌리티를 포함하는 동시 시스템에 대해 기술하고 이론화하곤 했다. 여기서 이동성은 모바일 장치(즉, 동적 토폴로지를 가진 네트워크)에서 수행되는 계산과 모바일 계산(즉, 네트워크 주위로 이동할 수 있는 실행 코드)을 모두 의미한다. 주변 미적분은 두 종류의 이동성을 모델링하기 위한 통일된 프레임워크를 제공한다.[1] 인터넷과 같은 동시 시스템에서의 상호작용을 모형화하는 데 사용된다.
그 시작 이후, 주변 미적분은 밀접하게 연관된 주변 미적분학의 가족으로 성장했다.
비공식 설명
거주자
주변 미적분의 근본적인 원초성은 주변이다. 주변은 비공식적으로 계산이 발생할 수 있는 경계된 장소로 정의된다. 경계의 개념은 경계가 전체적으로 이동할 수 있는 포함된 계산 에이전트를 정의하기 때문에 이동성을 나타내는 열쇠로 간주된다.[1] 실내 공간의 예는 다음과 같다.
- 웹 페이지(파일로 경계)
- 가상 주소 공간(주소 범위에 의해 제한됨)
- Unix 파일 시스템(물리적 볼륨 내에서 경계됨)
- 단일 데이터 객체("self"로 경계)
- 노트북(케이스 및 데이터 포트로 경계)
앰비언트 미적분학 내 실내의 주요 특성은 다음과 같다.
- 실내에는 주변부에 대한 접근을 제어하는 데 사용되는 이름이 있다.
- 외부 환경(예: 관리 도메인을 나타냄)에 내부로 중첩될 수 있음
- 병동은 전체적으로 움직일 수 있다.
운영
계산은 경계의 교차, 즉 사면의 이동으로 표현된다. 실내에는 다음과 같은 4가지 기본 운영(또는 기능)이 있다.[1]
- 은(는) 주변 환경에 일부 형제 주변 을(를 입력한 다음 P)로 진행하도록 지시함
- 이(가) 부모 주변 을(를) 종료하도록 지시함
- 이(가) 동일한 레벨에 위치한 주변 의 경계를 용해하도록 지시함
- 에서 의 복사본을 임의 개수로 생성
주변 미적분은 이러한 운영의 결과가 무엇인지 공식적으로 정의하는 감소 의미론을 제공한다.
주변 환경 내의 통신(즉, 로컬에서 로컬로)은 익명이고 비동기적이다. 출력 동작은 이름이나 기능을 주변 환경으로 방출한다. 입력 동작은 주변으로부터 값을 캡처하여 변수에 바인딩한다. 비 로컬 I/O는 다양한 수단에 의해 이러한 로컬 통신 작용의 측면에서 나타낼 수 있다. 한 가지 접근방식은 (위에서 설명한 기능을 사용하여) 메시지를 한 환경에서 다른 환경으로 전달하는 모바일 "메신저" 에이전트를 사용하는 것이다. 또 다른 접근방식은 채널 기반 통신을 에뮬레이트하는 것이다.[1] 세 가지 기본적인 주변 원소, 즉 in, out, open은 π-미적분에서 이름 통과 채널을 시뮬레이션할 수 있을 정도로 표현력이 뛰어나다.
참고 항목
참조
- ^ a b c d Cardelli, L.; A.D. Gordon. "Mobile Ambients". Proceedings of the First international Conference on Foundations of Software Science and Computation Structure (March 28 - April 4, 1998). M. Nivat, Ed. Lecture Notes in Computer Science. Springer-Verlag. 1378: 140–155.
