Formal Verification of Time-Aware Cloud Resource Allocation in Business Process

Halima, Rania Ben; Kallel, Slim; Klaï, Kaïs; Gaaloul, Walid; Jmaïel, Mohamed

doi:10.1007/978-3-319-48472-3_23

Cited by 11 publications

(13 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The spot price fluctuates based on the supply and demand of available EC2 capacity [8]. To get the spot instance, clients specify the maximum price that they are willing to pay per instance hour based on the spot price history available via the Amazon EC2 API and the AWS Management Console [3]. If the spot price overcomes the bid price the spot instances will be interrupted.…”

Section: A Cloud Resource Pricing Strategiesmentioning

confidence: 99%

“…The temporal constraint T C jk is defined by the pricing model and presents the time span allowed for using a Cloud instance with a defined cost c jk . It can be: For more details, we refer interested reader to [3].…”

Section: A Cloud Resource Pricing Strategiesmentioning

confidence: 99%

“…A business process model defines the relationship between a set of activities that are needed to achieve a business goal of an organization. More formally, a process model is represented as a directed graph where nodes are tasks, gateways or events and edges are control dependencies [3].…”

Section: B Business Process Modelmentioning

confidence: 99%

“…In Table III, we present the activity temporal duration [3]. For instance, the execution of activities a 1 , a 5 and a 9 takes from 1 hour to 2 hours.…”

Section: Motivating Examplementioning

confidence: 99%

“…While there exist works on resource allocation and management in the BPM context [2], [3], [4], only few authors have paid attention to process scheduling in Cloud [5], [6]. In addition, one key perspective when dealing with Business Process Management (BPM) is time [7].…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

Optimal Cost for Time-Aware Cloud Resource Allocation in Business Process

Halima

Kallel

Gaaloul

et al. 2017

2017 IEEE International Conference on Services Computing (SCC)

Self Cite

View full text Add to dashboard Cite

Cloud Computing infrastructures are being increasingly used for running business process activities due to its high performance level and low operating cost. The enterprise QoS requirements are diverse and different resources are offered by Cloud providers in various QoS-based pricing strategies. Furthermore, business process activities are constrained by hard timing constraints and if they are not executed correctly the enterprise will pay penalties costs. Therefore, finding the optimal Cloud resources allocation for a business process becomes a highly challenging problem. While optimizing the Cloud resource allocation cost, it is important to respect activities QoS requirements and temporal constraints and Cloud pricing strategies constraints. The aim of the present paper is to offer a method that assists users finding the optimal pricing strategy for Cloud resource used by business process activities. Basically, we use a binary/(0-1) linear program with an objective function under a set of constraints. In order to show its feasibility, our approach has been implemented and the results of our experiments highlight the effectiveness of our proposed solution.

show abstract

Section: A Cloud Resource Pricing Strategiesmentioning

confidence: 99%

Section: A Cloud Resource Pricing Strategiesmentioning

confidence: 99%

Section: B Business Process Modelmentioning

confidence: 99%

“…In Table III, we present the activity temporal duration [3]. For instance, the execution of activities a 1 , a 5 and a 9 takes from 1 hour to 2 hours.…”

Section: Motivating Examplementioning

confidence: 99%