Atrás

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ón 1.0)

Vista en miniatura Subido por 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
Comentarios
No hay ningún comentario aún. Sea usted el primero.

Versión 1.0

Modificado por última vez por Arquisoft Admin
19/03/19 13:03
Estado: Aprobado
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.
Descargar (527k) Obtener la URL o la URL WebDAV.
Metadatos extraídos automáticamente
2018-07-11T23:36:49Z
2018-07-11T23:36:49Z
application/pdf
2018-07-11T23:36:49Z
2018-07-11T23:36:49Z
2018-07-11T23:36:49Z
Histórico de versiones
Versión Fecha Tamaño  
1.2 hace 5 Años 1.008k
1.1 hace 5 Años 527k
1.0 hace 5 Años 527k