Vés enrere

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 (Versió 1.0)

Miniatura Penjat per Arquisoft Admin, 19/03/19 13:03
This paper reports a mechanism to incorporate Linear Tem- poral Logic (LTL) for a component-based software architectural configu- ration 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 applica- tion was extended to support this mechanism. One example ilustrates the verification of responsiveness, a subtype of liveness property.
1 de 12
Comentaris
Encara no hi ha cap comentari. Vull ser el primer.

Versió 1.0

Última modificació feta per Arquisoft Admin
19/03/19 13:03
Estat: Aprovat
This paper reports a mechanism to incorporate Linear Tem- poral Logic (LTL) for a component-based software architectural configu- ration 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 applica- tion was extended to support this mechanism. One example ilustrates the verification of responsiveness, a subtype of liveness property.
Descàrrega (527k) Obté la URL o la URL de WebDAV.
S'han extret les metadades automàticament
Historial de la versió
Versió Data Mida  
1.2 fa 5 Anys 1.008k
1.1 fa 5 Anys 527k
1.0 fa 5 Anys 527k