A Formal Model for Configurable Business Process with Optimal Cloud Resource Allocation

• Published in: J.UCS (Annual print and CD-ROM archive ed.) Vol. 27; no. 7; pp. 693 - 713
• Main Authors: Ait Wakrime, Abderrahim, Boubaker, Souha, Kallel, Slim, Guermazi, Emna, Gaaloul, Walid
• Format: Journal Article
• Language: English
• Published: Pensoft Publishers 28.07.2021; Graz University of Technology, Institut für Informationssysteme und Computer Medien; Graz University of Technology
• Subjects: Analysis; Business administration; Clo; Computer Science; Configurable Business Process; Formal Methods; Humanities and Social Sciences; Resource allocation; Configurable Business Process; Cloud Resources; Formal Methods; Propositional Satisfiability

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...