Cálculo de sistemas comunicantes

Cálculo de sistemas comunicantes

Cálculo de sistemas comunicantes

El cálculo de sistemas comunicantes o CCS es un lenguaje de especificación formal basado en el álgebra de procesos, para la especificación y modelado de sistemas discretos comunicantes.

Un diagrama CCS mostrando dos procesos con dos puertos cada uno, ligados entre sí por dos canales unidireccionales

El lenguaje CCS fue propuesto ("A Calculus of Communicating Systems") por Robin Milner para ejemplificar su idea de un álgebra para representar simbólicamente los procesos que conforman un sistema de software paralelo, su proposición fue hecha poco antes que la de CSP de Tony Hoare ("Communicating Sequential Processes"), formando ambos lenguajes los ejemplos por excelencia de lo que es un álgebra de procesos.

CCS propone una notación textual y otra visual para representar la existencia dentro de un sistema de lo que llama proceso y la definición de éstos. Los procesos son vistos como bloques herméticos que comunican con el mundo externo o ambiente por medio de puertos bien específicos, que conforman lo que se conoce como interfaz del proceso. Los procesos definen su comportamiento enunciando explícitamente la secuencia entera de operaciones elementales que dicho proceso efectúa durante toda su existencia.

Notación visual

La imagen a la derecha muestra un ejemplo de la notación gráfica de CCS, en este caso, dos procesos llamados Proceso 1 y Proceso 2 respectivamente. Los puntos oscuros en el borde los procesos representan los puertos, en CCS los puertos sirven para el envío o la recepción de símbolos a través de un canal, siendo los puertos y canales unidireccionales. Por convención, un puerto de entrada a se llamará del mismo modo pero utilizando una barra horizontal sobre él para denotar que es un puerto de salida.

Notación textual

Referencias

  • Milner, 1980. A Calculus of Communicating Systems, volumen 92 de "Lecture Notes in Computer Science". Springer-Verlag.
  • Hoare, 1985. Communicating Sequential Processes. Prentice-Hall International.
Obtenido de "C%C3%A1lculo de sistemas comunicantes"

Wikimedia foundation. 2010.

Игры ⚽ Поможем написать курсовую

Mira otros diccionarios:

  • Cálculo de sistemas comunicantes — El cálculo de sistemas comunicantes o CCS es un lenguaje de especificación formal basado en el álgebra de procesos, para la especificación y modelado de sistemas discretos comunicantes. El lenguaje CCS fue propuesto ( A Calculus of Communicating… …   Enciclopedia Universal

  • Cálculo pi — Saltar a navegación, búsqueda En la ciencia de computación teórica, el cálculo π es una notación desarrollada originalmente por Robin Milner, Joachim Parrow y David Walker, como un avance sobre el cálculo de sistemas comunicantes con el fin de… …   Wikipedia Español

  • Cálculo pi — En la ciencia de computación teórica, el cálculo π es una notación desarrollada originalmente por Robin Milner, Joachim Parrow y David Walker, como un avance sobre el cálculo de sistemas comunicantes (CCS) con el fin de proveer movilidad al… …   Enciclopedia Universal

  • Teoría de lenguajes de programación — Lambda en minúsculas. La teoría de lenguajes de programación es una rama de la informática que se encarga del diseño, implementación, análisis, caracterización y clasificación de lenguajes de programación y sus características. Es un campo multi… …   Wikipedia Español

  • Premio Turing — El Premio Turing es un premio de las Ciencias de la Computación que es otorgado anualmente por la Asociación para la Maquinaria Computacional (ACM) a quienes hayan contribuido de manera trascendental al campo de las ciencias computacionales. El… …   Wikipedia Español

  • Robin Milner — Saltar a navegación, búsqueda Robin Milner es un prominente científico británico en Computación. Graduado en el King s College, Cambridge en 1957, Milner ha sido profesor en City University, Londres, Swansea University, Universidad de Stanford,… …   Wikipedia Español

  • Robin Milner — es un prominente Científico Británico en Computación. Graduado en el King s College, Cambridge en 1952, Milner ha sido profesor en City University, Londres, Swansea University, Universidad de Stanford, Universidad de Edimburgo y desde 1995 como… …   Enciclopedia Universal

  • Efecto túnel — Saltar a navegación, búsqueda Reflexión y tunelado de un electrón dirigido hacia una barrera potencial. El punto resplandeciente moviéndose de derecha a izquierda es la sección reflejada del wavepacket. Un vislumbre puede observarse a la derecha… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”