返回

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 (版本 1.0)

缩略图 由Arquisoft Admin，19-3-19 下午1: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 的 12
评论
还没有评论。 发表第一个留言。

版本 1.0

由Arquisoft Admin最近更新
19-3-19 下午1: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.
下载 (527k) 获取
阅读更多。
自动提取的元数据
版本历史
版本 日期 大小  
1.2 5 年之前 1,008k
1.1 5 年之前 527k
1.0 5 年之前 527k