A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Converting from Service Level Agreement to Probabilistic Temporal Logic Specification
2019
VOLUME-8 ISSUE-10, AUGUST 2019, REGULAR ISSUE
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 especially when the person has limited knowledge and need to do the task repetitively with a different set of Service Level Agreement (SLA) configurations. This paper aims to address the need to
doi:10.35940/ijitee.j9736.0881019
fatcat:h2o4kspqkrfrdlymlmxxzf3krq