Big Data Analytics for QoS Prediction Through Probabilistic Model Checking

As competitiveness increases, being able to guaranting QoS of delivered services is key for business success. It is thus of paramount importance the ability to continuously monitor the workflow providing a service and to timely recognize breaches in the agreed QoS level. The ideal condition would be the possibility to anticipate, thus predict, a breach and operate to avoid it, or at least to mitigate its effects. In this paper we propose a model checking based approach to predict QoS of a formally described process. The continous model checking is enabled by the usage of a parametrized model of the monitored system, where the actual value of parameters is continuously evaluated and updated by means of big data tools. The paper also describes a prototype implementation of the approach and shows its usage in a case study.

[1]  Joost-Pieter Katoen,et al.  A Markov reward model checker , 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05).

[2]  Schahram Dustdar,et al.  Monitoring, Prediction and Prevention of SLA Violations in Composite Services , 2010, 2010 IEEE International Conference on Web Services.

[3]  Frank Leymann,et al.  Runtime Prediction of Service Level Agreement Violations for Composite Services , 2009, ICSOC/ServiceWave Workshops.

[4]  Seref Sagiroglu,et al.  Big data: A review , 2013, 2013 International Conference on Collaboration Technologies and Systems (CTS).

[5]  Luigi Coppolino,et al.  Integration of a System for Critical Infrastructure Protection with the OSSIM SIEM Platform: A dam case study , 2011, SAFECOMP.

[6]  SadoghiMohammad,et al.  Solving big data challenges for enterprise application performance management , 2012, VLDB 2012.

[7]  Stanisa Dautovic,et al.  Dynamic Power Management of a System With a Two-Priority Request Queue Using Probabilistic-Model Checking , 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[8]  Beatriz López,et al.  Service workflow monitoring through complex event processing , 2010, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010).

[9]  Tilmann Rabl,et al.  Solving Big Data Challenges for Enterprise Application Performance Management , 2012, Proc. VLDB Endow..

[10]  Zibin Zheng,et al.  Service-Generated Big Data and Big Data-as-a-Service: An Overview , 2013, 2013 IEEE International Congress on Big Data.

[11]  Luigi Coppolino,et al.  Security Analysis of Smart Grid Data Collection Technologies , 2011, SAFECOMP.

[12]  Luigi Coppolino,et al.  How to monitor QoS in cloud infrastructures: the QoSMONaaS approach , 2015, Int. J. Comput. Sci. Eng..

[13]  Nicola Mazzocca,et al.  Web Services workflow reliability estimation through reliability patterns , 2007, 2007 Third International Conference on Security and Privacy in Communications Networks and the Workshops - SecureComm 2007.

[14]  Carlo Ghezzi,et al.  Quality Prediction of Service Compositions through Probabilistic Model Checking , 2008, QoSA.

[15]  Honghao Gao,et al.  Predictive Web Service Monitoring using Probabilistic Model Checking , 2013 .

[16]  LiuAnna,et al.  Empirical prediction models for adaptive resource provisioning in the cloud , 2012 .

[17]  Rami Bahsoon,et al.  Dynamic QoS Optimization Architecture for Cloud-Based DDDAS , 2013, ICCS.

[18]  Wang,et al.  [IEEE 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW) - Shenzhen, TBD, China (2012.04.11-2012.04.11)] 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops - , 2012 .

[19]  Luigi Coppolino,et al.  SLA compliance monitoring through semantic processing , 2010, 2010 11th IEEE/ACM International Conference on Grid Computing.

[20]  I. Song,et al.  Analytics over large-scale multidimensional data: the big data revolution! , 2011, DOLAP '11.

[21]  Luigi Coppolino,et al.  Effective QoS Monitoring in Large Scale Social Networks , 2013, IDC.

[22]  Luigi Coppolino,et al.  Exposing vulnerabilities in electric power grids: An experimental approach , 2014, Int. J. Crit. Infrastructure Prot..

[23]  Aurelian Titirisca.  ETL as a Necessity for Business Architectures , 2013 .

[24]  Wang Yi,et al.  UPPAAL 4.0 , 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).

[25]  Luigi Coppolino,et al.  A business process monitor for a mobile phone recharging system , 2008, J. Syst. Archit..

[26]  Marta Z. Kwiatkowska,et al.  PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.

[27]  Zibin Zheng,et al.  Real-Time Performance Prediction for Cloud Components , 2012, 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops.

[28]  Luigi Coppolino,et al.  QoS Monitoring in a Cloud Services Environment: The SRT-15 Approach , 2011, Euro-Par Workshops.

[29]  Marta Z. Kwiatkowska,et al.  Stochastic Model Checking , 2007, SFM.

[30]  Kevin Lee,et al.  Empirical prediction models for adaptive resource provisioning in the cloud , 2012, Future Gener. Comput. Syst..

[31]  Stephen S. Yau,et al.  Developing Service-Based Software Systems with QoS Monitoring and Adaptation , 2008, 2008 12th IEEE International Workshop on Future Trends of Distributed Computing Systems.

[32]  Wei-Tek Tsai,et al.  Service-oriented system engineering: a new paradigm , 2005, IEEE International Workshop on Service-Oriented System Engineering (SOSE'05).

[33]  Stephen Dawson,et al.  Markovian Workload Characterization for QoS Prediction in the Cloud , 2011, 2011 IEEE 4th International Conference on Cloud Computing.

[34]  Vincenzo Grassi,et al.  Qos-driven runtime adaptation of service oriented architectures , 2009, ESEC/SIGSOFT FSE.

[35]  Andrea Bondavalli,et al.  A Testing Service for Lifelong Validation of Dynamic SOA , 2011, 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering.