Towards Correct Cloud Resource Allocation in Business Processes
Graiet, Mohamed, Mammar, Amel, Boubaker, Souha, Gaaloul, Walid
Published in IEEE transactions on services computing (01.01.2017)
Published in IEEE transactions on services computing (01.01.2017)
Get full text
Journal Article
Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B
Boubaker, Souha, Mammar, Amel, Graiet, Mohamed, Gaaloul, Walid
Published in 2016 IEEE 30th International Conference on Advanced Information Networking and Applications (AINA) (01.03.2016)
Published in 2016 IEEE 30th International Conference on Advanced Information Networking and Applications (AINA) (01.03.2016)
Get full text
Conference Proceeding
Journal Article
A Formal Guidance Approach for Correct Process Configuration
Boubaker, Souha, Mammar, Amel, Graiet, Mohamed, Gaaloul, Walid
Published in Service-Oriented Computing (2016)
Published in Service-Oriented Computing (2016)
Get full text
Book Chapter
An Event-B Based Approach for Ensuring Correct Configurable Business Processes
Boubaker, Souha, Mammar, Amel, Graiet, Mohamed, Gaaloul, Walid
Published in 2016 IEEE International Conference on Web Services (ICWS) (01.06.2016)
Published in 2016 IEEE International Conference on Web Services (ICWS) (01.06.2016)
Get full text
Conference Proceeding
Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process
Boubaker, Souha, Gaaloul, Walid, Graiet, Mohamed, Ben Hadj-Alouane, Nejib
Published in 2015 IEEE International Conference on Services Computing (01.06.2015)
Published in 2015 IEEE International Conference on Services Computing (01.06.2015)
Get full text
Conference Proceeding
A Formal Approach for Verifying QoS Variability in Web Services Composition Using EVENT-B
Abbassi, Imed, Graiet, Mohamed, Boubaker, Souha, Kmimech, Mourad, Ben Hadj-Alouane, Nejib
Published in 2015 IEEE International Conference on Web Services (01.06.2015)
Published in 2015 IEEE International Conference on Web Services (01.06.2015)
Get full text
Conference Proceeding