Vissza

Cálculo para el modelado formal de arquitecturas de software basadas en componentes cálculo ρ-arq

Cálculo para el modelado formal de arquitecturas de software basadas en componentes cálculo ρ-arq

Előnézet Uploaded by Arquisoft Admin, 2018.12.10. 0:58
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 contar con 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 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.
Címkék: arquitecturas de software semántica operacional sistemas distribuidos uml 2.x cálculo ρarq componentes de software métodos formales álgebra de procesos especificación formal de software
1 a következőből: 13
Megjegyzések
Még nincsenek hozzászólások. Légy első!

Verzió 1.18

Utoljára Arquisoft Admin frissítette
2019.03.19. 12:12
Státusz: Jóváhagyva
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 contar con 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 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.
Letöltés (327k) Szerezz egy URL-t.vagy WebDAV URL-t.
Automatikusan kibontott metaadat
Verzió-előzmények
Verzió Dátum Méret  
1.18 Ennyivel előtte: 5 Évek 327k
1.17 Ennyivel előtte: 5 Évek 327k
1.16 Ennyivel előtte: 5 Évek 327k
1.15 Ennyivel előtte: 5 Évek 327k
1.14 Ennyivel előtte: 5 Évek 327k
1.13 Ennyivel előtte: 5 Évek 327k
1.12 Ennyivel előtte: 5 Évek 327k
1.11 Ennyivel előtte: 5 Évek 327k
1.10 Ennyivel előtte: 5 Évek 327k
1.9 Ennyivel előtte: 5 Évek 327k
1.8 Ennyivel előtte: 5 Évek 327k
1.7 Ennyivel előtte: 5 Évek 327k
1.6 Ennyivel előtte: 5 Évek 327k
1.5 Ennyivel előtte: 5 Évek 327k
1.4 Ennyivel előtte: 5 Évek 327k
1.3 Ennyivel előtte: 5 Évek 327k
1.2 Ennyivel előtte: 5 Évek 327k
1.1 Ennyivel előtte: 5 Évek 327k
1.0 Ennyivel előtte: 5 Évek 327k