API Calculus es un programa que resuelve problemas de cálculo utilizando sistemas operativos dentro de un dispositivo que resuelve problemas de cálculo. En 1989, el PI-Calculus fue creado por Robin Milner y tuvo mucho éxito a lo largo de los años. PI Calculus es una extensión de la extensión del álgebra de procesos CCS , una herramienta que tiene lenguajes algebraicos que son específicos para procesar y formular declaraciones. [1] El PI Calculus proporciona una teoría formal para modelar sistemas y razonar sobre sus comportamientos. [2] En PI Calculus hay dos variables específicas como el nombre y los procesos. [2] Pero no fue hasta 2002 cuando Shahram Rahimidecidió crear una versión mejorada de PI-Calculus y llamarla API Calculus. Milner afirmó que las características detalladas del cálculo API son su "capacidad de comunicación, capacidad de cooperación, capacidad de razonamiento y aprendizaje, comportamiento adaptativo y confiabilidad". [3] El propósito principal de crear este avance móvil es mejorar la red y comunicarse con otros operadores mientras se completa una tarea. Desafortunadamente, API Calculus no es perfecto y se ha enfrentado a un problema con su sistema de seguridad. El lenguaje tiene siete características que se crearon dentro del dispositivo que PI Calculus no tiene. Dado que este programa es tan avanzado por la forma en que se creó el software y las diferentes capacidades que se ofrecen en el programa, es necesario convertirlo a otros lenguajes de programación para que pueda usarse en varios dispositivos y otros lenguajes de computación. Aunque el API Calculus está siendo utilizado actualmente por varios otros lenguajes de programación, aún se están realizando modificaciones ya que la seguridad en el API Calculus está causando problemas a los usuarios.
¿Qué hace?
API Calculus es la principal demostración para modelar migración, inteligencia, agrupación natural y seguridad en sistemas basados en agentes. [4] Este lenguaje de programación de cálculo se usa generalmente en varios otros lenguajes de programa, como Java . [5] En Java, un famoso lenguaje de programación utilizado por varias corporaciones como IBM , TCS y Google, API Calculus se usa comúnmente para resolver ecuaciones y programas que involucran cálculo.
Características
API Calculus tiene una amplia variedad de características similares a PI Calculus pero tiene características nuevas y mejoradas como:
- acepta que los procesos se pasen por enlaces de comunicación
- Se aborda la agrupación natural de procesos móviles.
- características diccionario de cálculo
- incluye medio: un nivel de abstracción que se encuentra entre un solo agente móvil (combinación de software y datos informáticos que puede transferir de una computadora a otra de forma independiente y aún puede trabajar en la computadora más reciente a la que se transfirieron los datos) y el dispositivo en su conjunto. Es un entorno muy restringido en el que participan cero o muchos agentes u otros medios que trabajan en estrecha colaboración para resolver problemas informáticos. [6]
- capacidad de agrupar hosts (un nodo físico , punto de conexión o programa de software) y procesos (programa de computadora que se está ejecutando) que son similares
- contiene diferentes lenguajes de programación
- unidades de conocimiento
Estrategia de verificación
El lenguaje de software utilizado en todo el programa API Calculus se traduce a otros dos idiomas diferentes. Primero se traduce de la sintaxis de API Calculus a ATEL / ATL , luego a MOCHA . El resultado del módulo de traducción es como el paso mencionado anteriormente. [5]
- Módulo de entrada (recibe el modelo de cálculo API)
- Traducción de modelo (convierte la sintaxis de API en sintaxis de ATEL / ATL)
- Verificación de modelo (MOCHA)
- Modo de visualización
La transferencia de la sintaxis de API a ATEL / ATL requiere conocimientos de transformación de codificación para transferirla con éxito.
Sintaxis
El programa API tiene su propia sintaxis que sigue para que el programa se ejecute sin problemas. El programa se divide en cuatro categorías principales, como términos, procesos, unidades de conocimiento y medio. Los términos pueden ser nombres, términos, hechos, reglas o funciones que se asignan a los nombres de las variables del programa. El proceso es la lista de expresiones utilizadas dentro del programa para resolver un problema de cálculo o ecuación. Las unidades de conocimiento o comúnmente conocidas como parámetros son los hechos y reglas que se pueden utilizar para resolver el programa. Por último, el medio es la capacidad de transferir datos e información de una computadora a otra de forma independiente. [6]
Defectos
El único defecto que tiene API Calculus es la capacidad de no admitir un sistema de seguridad en dispositivos móviles como computadoras portátiles . El problema es que cualquier fuente externa que intente ingresar al medio no puede ingresar porque API Calculus requiere una prueba de que puede ser una fuente confiable.
Referencias
- ^ "Álgebra de procesos" . teoría.stanford.edu . Consultado el 9 de noviembre de 2015 .
- ^ a b Rahimi, Shahram (2011). Una extensión de Pi-Calculus para la evaluación del desempeño . Illinois: Investigación científica.
- ^ Rahimi, Shahram (20 de octubre de 2015). "ACVisualizer: una herramienta de visualización para Api-Calculus" (PDF) . ACVisualizer: una herramienta de visualización para Api-Calculus .
- ^ Rahimi, Shahram (20 de octubre de 2015). "ACVisualizer: una herramienta de visualización para Api-Calculus" (PDF) . ACVisualizer: una herramienta de visualización para Api-Calculus .
- ^ a b "La primera etapa de una estrategia de verificación de sistemas para API-Calculus" . ResearchGate . Consultado el 21 de octubre de 2015 .
- ^ a b Loia, Vincenzo (1 de enero de 2002). Agentes de Soft Computing: una nueva perspectiva para los sistemas de información dinámicos . IOS Press. ISBN 9784274905445.