OPTIMIZATION OF QOS REQUIREMENTS FOR APPLICATIONS

QoS is critical and wide research area, it must applied for all fields, because any type of services presented for human achieve required quality to avoid disasters which may happened if there any defect in service. Sometime the disaster kill more people or cause other types of problem for them. For mentioned the measurements and validate the QoS is important activity before use a service, and the result of validation is accurate or not. The research is about the validity of QoS requirements for applications. It concern about the verification if the application satisfies user needs which specify inform of QoS requirements. The technique used to solve research problem is temporal logics; PCTL and CSL to represent QoS requirements of system inform of states using Markov chains, and then use PRISM model checker software to check the validity of requirements. The results of experiments explain which QoS requirements achieved and violated in procurement systems.