Lenguaje para la especificación de sistemas de información distribuidos y concurrentes. Permite describir los servicios y protocolos de las capas de la arquitectura de interconexión de sistemas abiertos OSI. Está definido en la norma Internacional ISO 9074.
