Atrás

Especificación formal de arquitecturas de software basadas en componentes Chequeo de corrección con cálculo ρ-arq

Especificación formal de arquitecturas de software basadas en componentes Chequeo de corrección con cálculo ρ-arq (Versión 1.5)

Vista en miniatura Subido por Arquisoft Admin, 22/02/19 19:48
The ρ-arq calculus is a formal notation to specify structural and dynamic aspects of component-based software architectures. The underlying idea is to leave of an initial static configuration that is only susceptible of passing to a new configuration by means of the application of the operational semantics rules of the ρ arq − calculus. We propose a graphical notation that it gives more semantic reach to diagrams of components in UML 2.x. As a result, this notation allows to represent dynamic aspects in a consistent way with other modeling proposals of component-based software in distributed systems.
Etiquetas: componentes de software arquitectura de referencia modelo de referencia cálculo−ρarq método formal sistema de transición rotulado chequeo de corrección equivalencia de observación
1 de 16
Comentarios
No hay ningún comentario aún. Sea usted el primero.

Versión 1.5

Modificado por última vez por Arquisoft Admin
19/03/19 12:49
Estado: Aprobado
The ρ-arq calculus is a formal notation to specify structural and dynamic aspects of component-based software architectures. The underlying idea is to leave of an initial static configuration that is only susceptible of passing to a new configuration by means of the application of the operational semantics rules of the ρ arq − calculus. We propose a graphical notation that it gives more semantic reach to diagrams of components in UML 2.x. As a result, this notation allows to represent dynamic aspects in a consistent way with other modeling proposals of component-based software in distributed systems.
Descargar (376k) Obtener la URL o la URL WebDAV.
Histórico de versiones
Versión Fecha Tamaño  
1.7 hace 5 Años 376k
1.6 hace 5 Años 376k
1.5 hace 5 Años 376k
1.4 hace 5 Años 376k
1.3 hace 5 Años 376k
1.2 hace 5 Años 376k
1.1 hace 5 Años 376k
1.0 hace 5 Años 376k