OPTIMIZATION OF QoS REQUIREMENTS FOR APPLICATIONS
Journal: JOURNAL OF COMPUTER ENGINEERING & TECHNOLOGY (JCET) (Vol.12, No. 2)Publication Date: 2021-12-31
Authors : Nadir K.Salih; Hanan Ahmed; Nada A. Mohamed Nour; Eshtiag A. Abd Elrhman;
Page : 1-10
Keywords : Quality Of Services; Computation Tree Logic; Probabilistic Computation Tree Logic; Continuous Stochastic Logic; Markov Chains;
Abstract
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.
Other Latest Articles
- RECOVERY ENGINEERING OF EX-ILLEGAL SAND AND STONE MINING ON THE SLOPES OF MOUNT MERAPI
- SURFACE WATER QUALITY ASSESSMENT AND MAPPING OF PERIYAR RIVER USING CANADIAN COUNCIL OF MINISTERS OF THE ENVIRONMENT WATER QUALITY INDEX METHOD
- RECYCLING AND REUSE OF WASHING MACHINE/LAUNDRY WASTEWATER USING COST EFFECTIVE CONTINUOUS FLOW HOUSEHOLD ELECTROCOAGULATION REACTOR
- COMPARISON BEHAVIOR OF FLEXURAL CAPACITY CASTELLATED BEAM OF HEXAGONAL OPENING WITH CIRCLE OPENING
- EFFECT OF SULFATE ATTACK ON BINARY BINDER SYSTEM COMPOSED OF CALCINED DOLOMITE AND RICE HUSK ASH
Last modified: 2021-09-13 16:09:39