Vissza

Linear Temporal Logic Applied to Component-Based Software Architectural Models Specified Through ρ-arq Calculus

Linear Temporal Logic Applied to Component-Based Software Architectural Models Specified Through ρ-arq Calculus

Előnézet Uploaded by Arquisoft Admin, 2019.03.19. 13:03
This paper reports a mechanism to incorporate Linear Temporal Logic (LTL) for a component-based software architectural configuration specified by the ρ-arq calculus. This process was made through the translation of the system definition, structure and behavior, to Atomic Propositions Transition System (APTS), upon which, the verification of one property was performed using LTL. The PintArq software application was extended to support this mechanism. One example ilustrates the verification of responsiveness, a subtype of liveness property.
1 a következőből: 13
Megjegyzések
Még nincsenek hozzászólások. Légy első!

Verzió 1.2

Utoljára Arquisoft Admin frissítette
2019.03.19. 13:08
Státusz: Jóváhagyva
This paper reports a mechanism to incorporate Linear Temporal Logic (LTL) for a component-based software architectural configuration specified by the ρ-arq calculus. This process was made through the translation of the system definition, structure and behavior, to Atomic Propositions Transition System (APTS), upon which, the verification of one property was performed using LTL. The PintArq software application was extended to support this mechanism. One example ilustrates the verification of responsiveness, a subtype of liveness property.
Letöltés (1 008k) Szerezz egy URL-t.vagy WebDAV URL-t.
Automatikusan kibontott metaadat
Verzió-előzmények
Verzió Dátum Méret  
1.2 Ennyivel előtte: 5 Évek 1 008k
1.1 Ennyivel előtte: 5 Évek 527k
1.0 Ennyivel előtte: 5 Évek 527k