返回
Cálculo para el modelado formal de arquitecturas de software basadas en componentes cálculo−ρarq.pdf
Cálculo para el modelado formal de arquitecturas de software basadas en componentes cálculo−ρarq.pdf (版本 1.1)
由Arquisoft Admin，18-12-10 上午12:58上传 版本 1.1
El cálculo ρarq es una notación formal para especificar aspectos estructurales y dinámicos de arquitecturas de software basadas en componentes. La idea subyacente es partir de una configuració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 la semántica operacional del formalismo desarrollado. 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ñoo de configuraciones de componentes traducibles al cálculo ρarq. 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.
下载 (327k) 获取 | 版本 | 日期 | 大小 | |
|---|---|---|---|
| 1.18 | 5 年之前 | 327k | |
| 1.17 | 5 年之前 | 327k | |
| 1.16 | 5 年之前 | 327k | |
| 1.15 | 5 年之前 | 327k | |
| 1.14 | 5 年之前 | 327k | |
| 1.13 | 5 年之前 | 327k | |
| 1.12 | 5 年之前 | 327k | |
| 1.11 | 5 年之前 | 327k | |
| 1.10 | 5 年之前 | 327k | |
| 1.9 | 5 年之前 | 327k | |
| 1.8 | 5 年之前 | 327k | |
| 1.7 | 5 年之前 | 327k | |
| 1.6 | 5 年之前 | 327k | |
| 1.5 | 5 年之前 | 327k | |
| 1.4 | 5 年之前 | 327k | |
| 1.3 | 5 年之前 | 327k | |
| 1.2 | 5 年之前 | 327k | |
| 1.1 | 5 年之前 | 327k | |
| 1.0 | 5 年之前 | 327k | |