Zurück

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 (Version 1.4)

Miniaturansicht Hochgeladen von Arquisoft Admin, 22.02.19 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.
Schlagwörter: 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 von 16
Kommentare
Noch keine Kommentare. Seien Sie der Erste.

Version 1.4

Zuletzt aktualisiert von Arquisoft Admin
19.03.19 12:49
Status: Genehmigt
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.
Herunterladen (376k) URL oder WebDAV URL anzeigen.
Automatisch extrahierte Metadaten
Versionshistorie
Version Datum Größe  
1.7 Vor 5 Jahre 376k
1.6 Vor 5 Jahre 376k
1.5 Vor 5 Jahre 376k
1.4 Vor 5 Jahre 376k
1.3 Vor 5 Jahre 376k
1.2 Vor 5 Jahre 376k
1.1 Vor 5 Jahre 376k
1.0 Vor 5 Jahre 376k