Converting from Service Level Agreement to Probabilistic Temporal Logic Specification

The need for conversion method exists due to the limitation of manual conversion at design time whenever the interested party must perform some assessments using an existing model checker tool. Manual conversion of the related requirements into the respective specification language is time-consuming...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	International journal of innovative technology and exploring engineering 2019-08, Vol.8 (10), p.3487-3493
Hauptverfasser:	Madinah Ab Hadi, Nur Diana, Ismail, Azlan, Rosli, Nur Syazleen, Zambri, Suzana
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!