Performance Estimation for Business Workflows on Public Cloud Offerings Using Probabilistic Model Checker
Pages 317 - 326
Abstract
Because of the prevalence of public SaaS cloud offerings, such as e-mail and spreadsheet (document) services, many cloud users are beginning to construct their cloud business processes by cascading various cloud offerings as workflows that are executable on workflow engines, such as Fujitsu's Run My Process. Although utilizing existing cloud services when constructing business processes can reduce the time and costs required for development, it is difficult to estimate the availability and costs required for executing workflows with complex structures during the design stage. To solve this problem, we have developed a method to estimate the quantitative aspects of business workflows when using public SaaS cloud offerings. Using the probabilistic Markov decision process (MDP), we have constructed models that represent the behavior of workflow utilizing cloud offerings. Then, using the PRISM probabilistic model checker, we have calculated the models' performances. A case study shows that our approach can estimate the performance of a complex business workflow before it is executed.
References
[1]
M. Armbrust, A. Fox, R. Griffith, A.D. Joseph, R.H. Katz, A. Konwinski, G. Lee, D.A. Patterson, A. Rabkin, I. Stoica, M. Zaharia, "Above the Clouds: A Berkeley View of Cloud Computing," Technical Report No. UCB/EECS-2009-28, University of California at Berkley, USA, Feb. 10, 2009.
[2]
Ruby, https://www.ruby-lang.org
[3]
Gartner IT Glossary, Business Process as a Service (BPaaS), http://blogs.gartner.com/it-glossary/business-process-as-a-service-bpaas/
[4]
Gartner, Forecast: Public Cloud Services, Worldwide, 2010- 2016, 2Q12 Update, 2012.
[5]
FUJITSU RunMyProcess, http://www.runmyprocess.com/
[6]
OpenText Cordys, http://www.opentext.com/what-we-do/products/business-process-management/process-suiteplatform/ opentext-cordys
[7]
Roy Thomas Fielding, "Architectural Styles and the Design of Network-based Software Architectures," Ph.D dissertation at University of California, Irvine, http://www.ics.uci.edu/~fielding/pubs/dissertation/top.htm, 2000.
[8]
Google Gmail, http://www.gmail.com
[9]
Yahoo Mail, http://mail.yahoo.com
[10]
Google Sheets, http://www.google.com/sheets/
[11]
Euraxo, http://www.euraxo.eu
[12]
FUJITSU RunMyProcess, "Case Study: Call center quickly builds incident management system with Fujitsu RunMyProcess and Google Apps," https://www.runmyprocess.com/assets/files/Euraxo%20Case Study%20FINAL.pdf
[13]
Apigee, http://apigee.com
[14]
Layer 7 Technologies, http://www.layer7tech.com
[15]
M. Kwiatkowska, G. Norman and D. Parker, "Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach," International Journal on Software Tools for Technology Transfer (STTT), 6(2), pp. 128-142, 2004.
[16]
PRISM model checker, http://www.prismmodelchecker.org/
[17]
E.M. Clarke, O. Grumberg, D.A. Peled, Model Checking, The MIT Press, 1999.
[18]
M. Ben-Ari, Z. Manna and A. Pnueli, "The temporal logic of branching time," Acta Informatica 20, 1983.
[19]
E.M. Clarke, E.A. Emerson and A.P. Sistla, "Automatic verification of finite-state concurrent systems using temporal-logic specifications," ACM Transactions on Programming Languages and Systems, Vol. 8, No. 2, 1986.
[20]
A. Pnueli, "A temporal logic for concurrent programs," Theoretical Computer Science, Vol.13, 1980.
[21]
R.E. Bryant, "Graph-Based Algorithms for Boolean Function Manipulation," IEEE Transactions on Computers, vol.C-35, no.8, pp. 677-691, Aug. 1986.
[22]
CloudHarmony, https://www.cloudharmony.com/
[23]
CloudSleuth Outage Analyzer, http://www.outageanalyzer.com
[24]
Vojtech Forejt, Marta Kwiatkowska, Gethin Norman, and David Parker, "Automated Verification Techniques for Probabilistic Systems," Formal Methods for Eternal Networked Software Systems (SFM'11), LNCS 6659, pages 53-113, Springer. June 2011. http://www.prismmodelchecker.org/papers/sfm11.pdf
[25]
Marta Kwiatkowska, Gethin Norman and Dave Parker, "Probabilistic Model Checking, Part 4- Markov Decision Process", http://www.prismmodelchecker.org/lectures/biss 07/04-mdps.pdf
[26]
Bonitasoft, Process library, http://www.bonitasoft.com/for-you-to-read/process-library
[27]
Michael Smit and Eleni Stroulia, "Simulating Service-Oriented Systems: A Survey and the Services-Aware Simulation Framework," IEEE Transactions on Services Computing, vol.6, no.4, pp.443-456, 2013.
[28]
OASIS WS-BPEL Technical Committee, Web Services Business Process Execution Language Version 2.0, 2007.
[29]
Debdoot Mukherjee, Pankaj Jalote, and Mangala Gowri Nanda, "Determining QoS of WS-BPEL Compositions," 6th International Conference on Service-Oriented Computing (ICSOC 2008), LNCS 5364, pp.378-303, 2008.
[30]
Enrico Barbierato, Mauro Iacono, and Stefano Marrone, "PerfBPEL: A graph-based approach for the performance analysis of BPEL SOA applications," Proceedings of 6th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2012), pp.64-73, 2012.
[31]
Yunni Xia, Yi Liu, Ji Liu and Qingsheng Zhu, "Modeling and Performance Evaluation of BPEL Processes: A Stochastic-Petri-Net-Based Approach," IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans, Vol. 42, No.2, pp.503-510, 2012.
[32]
Chen Deng, Hongli Yang, Husheng Liao, Meng Sun and Zongyan Qiu, "Analysis of WS-BPEL Processes in PRISM," In Proceedings of Fifth International Symposium on Theoretical Aspects of Software Engineering (TASE2011), pp.199-202, 2011.
[33]
Luke Herbert and Robin Sharp, "Using stochastic model checking to provision complex business services," In Proceedings of 14th International IEEE Symposium on High-Assurance Systems Engineering (HASE'12), pp. 98- 105, IEEE, 2012.
[34]
Luke Herbert and Robin Sharp, "Precise Quantitative Analysis of Probabilistic Business Process Model and Notation Workflows," Journal of Computing and Information Science in Engineering, Vol.13, 2013.
Index Terms
- Performance Estimation for Business Workflows on Public Cloud Offerings Using Probabilistic Model Checker
Recommendations
SLA-Based Resource Allocation for Software as a Service Provider (SaaS) in Cloud Computing Environments
CCGRID '11: Proceedings of the 2011 11th IEEE/ACM International Symposium on Cluster, Cloud and Grid ComputingCloud computing has been considered as a solution for solving enterprise application distribution and configuration challenges in the traditional software sales model. Migrating from traditional software to Cloud enables on-going revenue for software ...
Cloud Computing: Does Nirvana Hide behind the Nebula?
At the core of cloud computing is a simple concept: software as a service, or SaaS. Whether the underlying software is an application, application component, platform, framework, environment, or some other soft infrastructure for composing applications ...
Cloud computing - The business perspective
The evolution of cloud computing over the past few years is potentially one of the major advances in the history of computing. However, if cloud computing is to achieve its potential, there needs to be a clear understanding of the various issues ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
December 2014
1035 pages
ISBN:9781479978816
Sponsors
Publisher
IEEE Computer Society
United States
Publication History
Published: 08 December 2014
Check for updates
Author Tags
Qualifiers
- Article
Acceptance Rates
Overall Acceptance Rate 38 of 125 submissions, 30%
Upcoming Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 67Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 22 Nov 2024
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in