UML (Lenguaje de Modelado Unificado) es un lenguaje amplio de propósito general, el cual ha sido originado como un lenguaje gráfico por excelencia. Sin embargo para modelar ciertas aplicaciones con características particulares el vocabulario gráfico de UML resulta ser muy reducido, requiriendo hacer uso de mecanismos de extensibilidad tal como estereotipos los cuales no tienen una construcción gráfica y por ende le restan claridad. Es por ello que se requiere de otros lenguajes como SYS ML (aprobado por el OMG Object Management Group) el cual cuenta con un vocabulario propio que extiende a UML para atender aquellas características no nomencladas por el mismo.
En éste paper se hará énfasis en la necesidad de ampliar el lenguaje de UML a fin de poder modelar aquellas características particulares de las aplicaciones con procesos concurrentes y distribuidos no nomencladas, a través de construcciones gráficas que conformen un vocabulario que permita extender a UML. Este conjunto de construcciones gráficas definen la especificación de un lenguaje que hemos denominado PROCODI (Lenguaje de extensibilidad para PROcesos COncurrentes y DIstribuidos), el que contempla todas las características de las aplicaciones con procesos concurrentes y distribuidos. Se presenta además la forma en que PROCODI logra modelar aplicaciones de computación paralela por medio de su adaptabilidad y vocabulario gráfico.