A Model-driven Engineering Approach for Business Process based SaaS Services Composition

被引：0

作者：

Fattouch, Najla ^{[1
]}

Rekik, Mouna ^{[1
]}

Wakrime, Abderrahim Ait ^{[2
]}

Boukadi, Khouloud ^{[1
]}

机构：

[1] Univ Sfax, MIRACL Lab, FSEG Sfax, Sfax, Tunisia

[2] Mohammed V Univ, Fac Sci, Comp Sci Dept, Rabat, Morocco

来源：

2019 IEEE/ACS 16TH INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS (AICCSA 2019) | 2019年

关键词：

Transformation Models; Business Process; Software as a Service; Formal Methods; Satisfiability;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Nowadays, tremendous number of enterprises are looking to outsource their business processes in order to gain in productivity, reduce cost, and enhance performance. Outsourcing business processes to cloud computing and more specifically to SaaS services, is actually among the most prominent opportunities regarding the benefits that this paradigm offers. However, matching the business process activities with the suitable SaaS services is not a trivial task regarding the diversity of both, functional requirements of business processes and the functionalities offered by SaaS services. Furthermore, once the business process execution is entirely supported by the SaaS services, the process owner, lacking in general the required expertise related to SaaS domain, needs to be aware of how the business process is handled by the SaaS. This is done principally through transforming the business process model to the SaaS model. This paper proposes a model-based approach using SAT-based formal verification to select and validate the most suitable SaaS services to support the business process achievement. Furthermore, a model to model transformation from business process to SaaS is proposed. This transformation is based on (i) a lightweight extension of the business process meta-model of ISO/CEI 19510 and (ii) our proposition of the SaaS meta-model.

引用

页数：8

共 21 条

[1]

Brambilla M., 2017, Model-Driven Software Engineering in Practice, Second Edition, ser. Synthesis Lectures on Software Engineering, V2nd

[2]

DAmbrogio A., 2016, P SUMM COMP SIM C SC, P63

[3] Genetic-based Configurable Cloud Resource Allocation in QoS-aware Business Process Development [J].

Hachicha, Emna ;

Yongsiriwit, Karn ;

Sellami, Mohamed ;

Gaaloul, Walid .

2017 IEEE 24TH INTERNATIONAL CONFERENCE ON WEB SERVICES (ICWS 2017), 2017, :836-839

[4] Towards Resource-aware Business Process Development in the Cloud [J].

Hachicha, Emna ;

Gaaloul, Walid .

2015 IEEE 29TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS (IEEE AINA 2015), 2015, :761-768

[5]

Jouault F, 2006, LECT NOTES COMPUT SC, V3844, P128

[6]

Liffiton MH, 2005, LECT NOTES COMPUT SC, V3569, P173

[7]

Mellor S.J., 2004, MDA DISTILLED

[8] Business process outsourcing to the cloud: Balancing costs with security risks [J].

Nacer, Amina Ahmed ;

Godart, Claude ;

Rosinosky, Guillaume ;

Tari, Abdelkamel ;

Youcef, Samir .

COMPUTERS IN INDUSTRY, 2019, 104 (59-74) :59-74

[9] A survey of recent advances in SAT-based formal verification [J].

Prasad M.R. ;

Biere A. ;

Gupta A. .

International Journal on Software Tools for Technology Transfer, 2005, 7 (2) :156-173

[10]

Rekik M., 2019, 27 IEEE INT C EN TEC

← 1 2 3 →