API-미적분법

API-Calculus

API 미적분학은 미적분 문제를 해결하는 기기 내에서 운영체제를 이용해 미적분 문제를 해결하는 프로그램이다.1989년에 PI-미적분은 로빈 밀너에 의해 만들어졌고 몇 년 동안 매우 성공적이었다.PI 미적분은 공정 대수 CCS의 확장을 확장한 것으로, 문장의 처리와 형성에 특유한 대수 언어를 가진 도구다.[1]PI 미적분은 시스템 모델링과 그들의 행동에 대한 추론을 위한 공식적인 이론을 제공한다.[2]PI 미적분학에는 이름과 공정과 같은 두 가지 특정 변수가 있다.[2]그러나 샤흐람 라히미가 PI-미적분학의 업그레이드된 버전을 만들어 API 미적분학이라고 부르기로 결심한 것은 2002년이 되어서였다.Milner는 API 미적분학의 세부적인 특성이 "소통 능력, 협력 능력, 추론과 학습 능력, 적응적 행동과 신뢰도"[3]라고 주장했다.이러한 모바일 진보를 만드는 주된 목적은 업무를 완료하는 동안 다른 사업자와 더 나은 네트워크 연결과 의사소통을 하는 것이다.불행히도 API 미적분학은 완벽하지 않고 그것의 보안 시스템에 문제에 직면해 있다.그 언어는 PI 미적분학에는 없는 장치 안에서 만들어진 7가지 특징을 가지고 있다.이 프로그램은 소프트웨어가 만들어진 방식과 프로그램에 제공되는 다른 능력에 의해 매우 발전하기 때문에, 다양한 장치 및 다른 컴퓨팅 언어에서 사용할 수 있도록 다른 프로그래밍 언어로 변환되어야 한다.현재 API 미적분학은 다른 다양한 프로그래밍 언어에서 사용되고 있지만, API 미적분학의 보안이 사용자에게 문제를 일으키고 있기 때문에 수정은 여전히 이루어지고 있다.

그것은 무엇을 할까?

API 미적분은 에이전트 기반 시스템에서 마이그레이션, 인텔리전스, 자연 그룹화 및 보안을 모델링하기 위한 주요 시연이다.[4]이 미적분 프로그래밍 언어는 보통 자바와 같은 다양한 프로그램 언어에서 사용된다.[5]IBM, TCS, 구글 등 다양한 기업이 사용하는 유명한 프로그래밍 언어인 자바에서 API 미적분학은 미적분이 포함된 방정식과 프로그램을 푸는 데 흔히 사용된다.

특징들

API 미적분학은 PI 미적분과 유사한 다양한 특징을 가지고 있지만 다음과 같은 새롭고 개선된 특징을 가지고 있다.

  • 통신 링크를 통해 전달되는 프로세스 수락
  • 모바일 프로세스의 자연 그룹화를 다룬다.
  • 미적분 사전이 수록되어 있다.
  • 환경 - 단일 모바일 에이전트(한 컴퓨터에서 다른 컴퓨터로 독립적으로 전송할 수 있고 여전히 데이터가 전송된 가장 최근의 컴퓨터에서 작업할 수 있는 컴퓨터 소프트웨어 및 데이터의 수집)와 장치 전체 사이의 추상화 수준 포함.그것은 컴퓨터 기반 문제를 해결하기 위해 긴밀히 협력하는 제로나 많은 에이전트나 다른 조직원들을 포함하는 매우 제한적인 환경이다.[6]
  • 호스트(물리적 노드 - 연결 지점 - 또는 소프트웨어 프로그램 )와 유사한 프로세스(실행 중인 컴퓨터 프로그램)를 그룹화하는 기능
  • 다른 프로그래밍 언어 포함
  • 지식 단위

검증 전략

API 미적분 프로그램 전체에서 사용되는 소프트웨어 언어는 두 개의 다른 언어로 번역된다.처음에는 API Miculus 구문에서 ATEL/ATL로 번역한 다음 MOCHA로 번역한다.번역 모듈의 결과는 앞에서 언급한 단계와 같다.[5]

  1. 입력 모듈(API 미적분 모델 수신)
  2. 모델 변환(API 구문을 ATEL/ATL 구문으로 변환)
  3. 모델 검증(MOCHA )
  4. 디스플레이 모드

API 구문을 ATEL/ATL로 전송하려면 성공적으로 전송하려면 코딩 변환 지식이 필요하다.

구문

API 프로그램은 프로그램이 원활하게 운영되도록 하기 위해 따라오는 자체 구문을 가지고 있다.이 프로그램은 용어, 프로세스, 지식 단위, 환경 등 4가지 주요 범주로 나뉜다.용어는 프로그램의 변수 이름에 할당된 이름, 용어, 사실, 규칙 또는 함수가 될 수 있다.과정은 프로그램 내에서 미적분 문제나 방정식을 풀기 위해 사용되는 표현들의 목록이다.일반적으로 매개변수로 알려진 지식단위 또는 지식단위는 프로그램을 해결하기 위해 사용할 수 있는 사실과 규칙이다.마지막으로, 환경은 컴퓨터 데이터와 정보를 한 컴퓨터에서 다른 컴퓨터로 독립적으로 전송할 수 있는 능력이다.[6]

결함

API 미적분학이 갖고 있는 유일한 결함은 노트북 등 모바일 기기에서 보안 시스템을 지원하지 않는 기능이다.문제는 API 미적분학에는 신뢰할 수 있는 출처가 될 수 있는 증거가 필요하기 때문에 외부 출처가 환경에 진입하려고 하면 진입이 허용되지 않는다는 점이다.

참조

  1. ^ "Process Algebra". theory.stanford.edu. Retrieved 2015-11-09.
  2. ^ a b Rahimi, Shahram (2011). An Extension to Pi-Calculus for Performance Evaluation. Illinois: Scientific Research.
  3. ^ Rahimi, Shahram (2015-10-20). "ACVisualizer: A Visualization Tool for Api-Calculus" (PDF). ACVisualizer: A Visualization Tool for Api-Calculus.
  4. ^ Rahimi, Shahram (October 20, 2015). "ACVisualizer: A Visualization Tool for Api-Calculus" (PDF). ACVisualizer: A Visualization Tool for Api-Calculus.
  5. ^ a b "The First Stage of a System Verification Strategy for API-Calculus". ResearchGate. Retrieved 2015-10-21.
  6. ^ a b Loia, Vincenzo (2002-01-01). Soft Computing Agents: A New Perspective for Dynamic Information Systems. IOS Press. ISBN 9784274905445.