A Formal Model for Configurable Business Process with Optimal Cloud Resource Allocation.
J. Univers. Comput. Sci.(2021)
摘要
In today's competitive business environments, organizations increasingly need to model and deploy flexible and cost effective business processes. In this context, configurable process models are used to offer flexibility by representing process variants in a generic manner. Hence, the behavior of similar variants is grouped in a single model holding configurable elements. Such elements are then customized and configured depending on specific needs. However, the decision to configure an element may be incorrect leading to critical behavioral errors. Recently, process configuration has been extended to include Cloud resources allocation, to meet the need of business scalability by allowing access to on-demand IT resources. In this work, we propose a formal model based on propositional satisfiability formula allowing to find correct elements configuration including resources allocation ones. In addition, we propose to select optimal configurations based on Cloud resources cost. This approach allows to provide the designers with correct and cost-effective configuration decisions.
更多查看译文
关键词
Configurable Business Process, Formal Methods,  , Cloud Resources, Propositional Satisfiability
AI 理解论文
溯源树
样例
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要