[HTML][HTML] Resources consumption analysis of business process services in cloud computing using Petri Net

MN Lacheheub, N Hameurlain, R Maamri - Journal of King Saud University …, 2020 - Elsevier
Using the cloud for companies can have a positive impact on business process construction
because it gives the ability to perceive resources such as unlimited. However, this …

An autonomic approach to manage elasticity of business processes in the cloud

M Mohamed, M Amziani, D Belaïd, S Tata… - Future Generation …, 2015 - Elsevier
Cloud Computing is gaining more and more importance in the Information Technologies (IT)
scope. One of the major assets of this paradigm is its economic model based on pay-as-you …

Towards correct cloud resource allocation in business processes

M Graiet, A Mammar, S Boubaker… - IEEE Transactions on …, 2016 - ieeexplore.ieee.org
Cloud environments are being increasingly used for deploying and executing business
processes to provide a high level of performance with low operating cost. Nevertheless, due …

Formal modeling and evaluation of stateful service-based business process elasticity in the cloud

M Amziani, T Melliti, S Tata - On the Move to Meaningful Internet Systems …, 2013 - Springer
Cloud environments are being increasingly used for deploying and executing business
processes and particularly Service-based Business Processes (SBPs). One of the expected …

A bigraphical model for specifying cloud-based elastic systems and their behaviour

H Sahli, N Hameurlain, F Belala - International Journal of Parallel …, 2017 - Taylor & Francis
The few recent years have witnessed the appearance of a new kind of self-adaptive systems
called cloud based-elastic systems. These systems are particularly appealing for their ability …

Elastic multi-tenant business process based service pattern in cloud computing

W Sellami, HH Kacem… - 2014 IEEE 6th International …, 2014 - ieeexplore.ieee.org
Elasticity is an essential property of cloud computing. It helps service providers to efficiently
exploit cloud resources and reduce servicing costs. Therefore, the multitenant business …

Geometric partial differential equations in image analysis: past, present, and future

G Sapiro - Proceedings., International Conference on Image …, 1995 - ieeexplore.ieee.org
Geometric partial differential equations in image analysis: past, present, and future Page 1
GEOMETRIC PARTIAL DIFFERENTIAL EQUATIONS IN IMAGE ANAILYSIS: PAST, PRESENT …

Modelling of business processes for software as a service

AK Mandal, A Sarkar - International Journal of Business …, 2017 - inderscienceonline.com
The traditional approach to business process modelling frequently results in large models
that are difficult to change and maintain. In cloud-based environment, business dynamics …

[PDF][PDF] Model-Checking Cloud Systems Using BigMC.

H Sahli, F Belala, C Bouanaka - VECoS, 2014 - academia.edu
In recent years, cloud computing (Mell et al., 2011) has emerged as a new and promising
concept in the IT evolution; it has increasingly attracted attention from both industry and …

A BRS-based approach to model and verify cloud systems elasticity

H Sahli, F Belala, C Bouanaka - Procedia Computer Science, 2015 - Elsevier
Elasticity is actually one major and important asset for cloud-based systems. This property
grants this kind of systems the ability to dynamically adjust their resources allocation by …