Takaisin

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 (Versio 1.0)

Pienikuva Ladannut Arquisoft Admin, 19.3.2019 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 jostakin 12
Kommentit
Ei kommenteja vielä. Ole ensimmäinen.

Versio 1.0

Viimeksi päivittänyt Arquisoft Admin
19.3.2019 13:03
Tila: Hyväksytty
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.
Lataa (527k) Ota
Lue lisää.
Automaattisesti luetut metatiedot
Versiohistoria
Versio Päiväys Koko  
1.2 5 Vuodet sitten 1 008k
1.1 5 Vuodet sitten 527k
1.0 5 Vuodet sitten 527k