Versión 1.7

El cálculo ρ-arq es una notación formal para especificar aspectos estructurales y dinámicos de arquitecturas de software basadas en componentes. Subyace la idea de partir de una con-figuración estática inicial que sólo es susceptible de pasar a una nueva configuración por medio de la aplicación de reglas de su semántica operacional. Para dar más alcance semántico a los diagramas de componentes en UML 2.x se propone una extensión estereotipada de la notación gráfica. En consecuencia, se logra el diseño de configuraciones de componentes traducibles al cálculo. Adicionalmente, esta notación permite representar aspectos dinámicos de manera consistente con otras propuestas de modelado de sistemas distribuidos basados en componentes de software.

Descargar (327k)

WebDAV URL Las carpetas y archivos pueden ser gestionados directamente desde el explorador de ficheros del escritorio de tu sistema operativo. Más información.