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 estos. 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 visualeditar
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.
cálculo, sistemas, comunicantes, cálculo, sistemas, comunicantes, lenguaje, especificación, formal, basado, álgebra, procesos, para, especificación, modelado, sistemas, discretos, comunicantes, diagrama, mostrando, procesos, puertos, cada, ligados, entre, cana. El calculo de sistemas comunicantes o CCS es un lenguaje de especificacion formal basado en el algebra de procesos para la especificacion y modelado de sistemas discretos comunicantes Un diagrama CCS mostrando dos procesos con dos puertos cada uno ligados entre si por dos canales unidireccionalesEl lenguaje CCS fue propuesto A Calculus of Communicating Systems por Robin Milner para ejemplificar su idea de un algebra para representar simbolicamente los procesos que conforman un sistema de software paralelo su proposicion 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 algebra de procesos CCS propone una notacion textual y otra visual para representar la existencia dentro de un sistema de lo que llama proceso y la definicion de estos Los procesos son vistos como bloques hermeticos que comunican con el mundo externo o ambiente por medio de puertos bien especificos que conforman lo que se conoce como interfaz del proceso Los procesos definen su comportamiento enunciando explicitamente la secuencia entera de operaciones elementales que dicho proceso efectua durante toda su existencia Notacion visual editarLa imagen a la derecha muestra un ejemplo de la notacion grafica 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 envio o la recepcion de simbolos a traves de un canal siendo los puertos y canales unidireccionales Por convencion un puerto de entrada a se llamara del mismo modo pero utilizando una barra horizontal sobre el para denotar que es un puerto de salida Extensiones editarCalculo de procesos con ubicaciones para sistemas poblacionales es una extension de CCS con escogencia probabilistica y con ubicaciones y atributos para las ubicaciones Referencias editarMilner 1980 A Calculus of Communicating Systems volumen 92 de Lecture Notes in Computer Science Springer Verlag Hoare 1985 Communicating Sequential Processes Prentice Hall International nbsp Datos Q2563079 Obtenido de https es wikipedia org w index php title Calculo de sistemas comunicantes amp oldid 117835172, wikipedia, wiki, leyendo, leer, libro, biblioteca,
