Vissza

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 (Verzió 1.4)

Előnézet Uploaded by Arquisoft Admin, 2019.02.22. 19:48
The ρ-arq calculus is a formal notation to specify structural and dynamic aspects of component-based software architec- tures. 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.
Címkék: 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 a következőből: 16
Megjegyzések
Még nincsenek hozzászólások. Légy első!

Verzió 1.4

Utoljára Arquisoft Admin frissítette
2019.03.19. 12:49
Státusz: Jóváhagyva
The ρ-arq calculus is a formal notation to specify structural and dynamic aspects of component-based software architec- tures. 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.
Letöltés (376k) Szerezz egy URL-t.vagy WebDAV URL-t.
Automatikusan kibontott metaadat
Verzió-előzmények
Verzió Dátum Méret  
1.7 Ennyivel előtte: 5 Évek 376k
1.6 Ennyivel előtte: 5 Évek 376k
1.5 Ennyivel előtte: 5 Évek 376k
1.4 Ennyivel előtte: 5 Évek 376k
1.3 Ennyivel előtte: 5 Évek 376k
1.2 Ennyivel előtte: 5 Évek 376k
1.1 Ennyivel előtte: 5 Évek 376k
1.0 Ennyivel előtte: 5 Évek 376k