{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,10,24]],"date-time":"2022-10-24T05:58:54Z","timestamp":1666591134058},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T00:00:00Z","timestamp":1588291200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T00:00:00Z","timestamp":1588291200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["SN COMPUT. SCI."],"published-print":{"date-parts":[[2020,5]]},"DOI":"10.1007\/s42979-020-00152-9","type":"journal-article","created":{"date-parts":[[2020,5,8]],"date-time":"2020-05-08T15:03:48Z","timestamp":1588950228000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Toward Reconfiguration of BPaaS Based on SaaS Services using Clustering and Boolean Satisfiability"],"prefix":"10.1007","volume":"1","author":[{"given":"Abderrahim","family":"Ait Wakrime","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hamza","family":"Labbaci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mouna","family":"Rekik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nasreddine","family":"Cheniki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yacine","family":"Sam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,5,8]]},"reference":[{"key":"152_CR1","doi-asserted-by":"publisher","first-page":"1760","DOI":"10.1093\/comjnl\/bxx039","volume":"12","author":"A Ait Wakrime","year":"2017","unstructured":"Ait Wakrime A. Satisfiability-based privacy-aware cloud computing. Comput J. 2017;12:1760\u20139.","journal-title":"Comput J"},{"key":"152_CR2","doi-asserted-by":"crossref","unstructured":"Ait\u00a0Wakrime A, Jabbour S. Formal approach for QoS-aware cloud service composition. In: 2017 IEEE 26th international conference on enabling technologies: infrastructure for collaborative enterprises (WETICE). IEEE; 2017. p. 30\u20135.","DOI":"10.1109\/WETICE.2017.61"},{"key":"152_CR3","doi-asserted-by":"crossref","unstructured":"Baresi L, Guinea S, Pasquale L. Self-healing BPEL processes with dynamo and the JBOSS rule engine. In: Proceedings of the 2007 international workshop on engineering of software services for pervasive environments, ESSPE 2007, Dubrovnik, Croatia, 4 Sept 2007. p. 11\u201320.","DOI":"10.1145\/1294904.1294906"},{"key":"152_CR4","unstructured":"Barton T, Seel C. Business process as a service\u2014status and architecture. In: Enterprise modelling and information systems architectures\u2014EMISA 2014, Luxembourg, 25\u201326 Sept 2014. p. 145\u201358."},{"key":"152_CR5","doi-asserted-by":"crossref","unstructured":"Baur D, Seybold D, Griesinger F, Tsitsipas A, Hauser CB, Domaschka J. Cloud orchestration features: are tools fit for purpose? In: 8th IEEE\/ACM international conference on utility and cloud computing, UCC 2015, Limassol, Cyprus, 7\u201310 Dec 2015. p. 95\u2013101.","DOI":"10.1109\/UCC.2015.25"},{"issue":"3\/4","key":"152_CR6","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1504\/IJAACS.2016.079622","volume":"9","author":"D Bela\u00efd","year":"2016","unstructured":"Bela\u00efd D, Lahmar IB, Gaaloul W. Developing correct adapters for software architectural dynamic reconfiguration. IJAACS. 2016;9(3\/4):201\u201322.","journal-title":"IJAACS"},{"issue":"10","key":"152_CR7","doi-asserted-by":"publisher","first-page":"1081","DOI":"10.1007\/s00607-018-0600-2","volume":"100","author":"K Boukadi","year":"2018","unstructured":"Boukadi K, Rekik M, Rekik M, Ben-Abdallah H. Fc4cd: a new soa-based focused crawler for cloud service discovery. Computing. 2018;100(10):1081\u2013107. https:\/\/doi.org\/10.1007\/s00607-018-0600-2.","journal-title":"Computing"},{"key":"152_CR8","doi-asserted-by":"crossref","unstructured":"Cheniki N, Belkhir A, Sam Y, Messai N. Lods: a linked open data based similarity measure. In: 2016 IEEE 25th international conference on enabling technologies: infrastructure for collaborative enterprises (WETICE), 2016. Paris, France. p. 229\u201334.","DOI":"10.1109\/WETICE.2016.58"},{"key":"152_CR9","doi-asserted-by":"crossref","unstructured":"Copil G, Moldovan D, Truong HL, Dustdar S. SYBL+MELA: specifying, monitoring, and controlling elasticity of cloud services. In: Service-oriented computing\u201411th international conference, ICSOC 2013, Berlin, Germany, 2\u20135 Dec 2013. Proceedings; 2013. p. 679\u201382.","DOI":"10.1007\/978-3-642-45005-1_59"},{"key":"152_CR10","doi-asserted-by":"crossref","unstructured":"Di\u00a0Noia T, Ostuni VC. Recommender systems and linked open data. In: Reasoning web international summer school. Springer; 2015. p. 88\u2013113.","DOI":"10.1007\/978-3-319-21768-0_4"},{"key":"152_CR11","doi-asserted-by":"crossref","unstructured":"Domaschka J, Griesinger F, Seybold D, Wesner S. A cloud-driven view on business process as a service. In: CLOSER 2017\u2014proceedings of the 7th international conference on cloud computing and services science, Porto, Portugal, 24\u201326 April 2017. p. 739\u201346.","DOI":"10.5220\/0006393107670774"},{"key":"152_CR12","doi-asserted-by":"crossref","unstructured":"Guinea S, Kecskemeti G, Marconi A, Wetzstein B. Multi-layered monitoring and adaptation. In: Service-oriented computing\u20149th international conference, ICSOC 2011, Paphos, Cyprus, 5\u20138 Dec 2011 Proceedings; 2011. p. 359\u201373.","DOI":"10.1007\/978-3-642-25535-9_24"},{"key":"152_CR13","doi-asserted-by":"crossref","unstructured":"Halima RB, Kallel S, Klai K, Gaaloul W, Jmaiel M. Formal verification of time-aware cloud resource allocation in business process. In: Proceedings of the confederated international conference on the move to meaningful internet systems: CoopIS, ODBASE, C&TC, 2016. p. 400\u201317.","DOI":"10.1007\/978-3-319-48472-3_23"},{"key":"152_CR14","doi-asserted-by":"crossref","unstructured":"Hinkelmann K, Kritikos K, Kurjakovic S, Lammel B, Woitsch R. A modelling environment for business process as a service. In: International conference on advanced information systems engineering. Springer; 2016. p. 181\u201392.","DOI":"10.1007\/978-3-319-39564-7_18"},{"key":"152_CR15","doi-asserted-by":"crossref","unstructured":"Hrgovcic V, Karagiannis D, Woitsch R. Conceptual modeling of the organisational aspects for distributed applications: the semantic lifting approach. In: 2013 IEEE 37th annual computer software and applications conference workshops. IEEE; 2013. p. 145\u201350.","DOI":"10.1109\/COMPSACW.2013.17"},{"issue":"1","key":"152_CR16","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/s10796-017-9738-2","volume":"21","author":"S Kamath","year":"2019","unstructured":"Kamath S, Ananthanarayana V. Discovering composable web services using functional semantics and service dependencies based on natural language requests. Inf Syst Front. 2019;21(1):175\u201389.","journal-title":"Inf Syst Front"},{"key":"152_CR17","doi-asserted-by":"crossref","unstructured":"Kritikos K, Domaschka J, Rossini A. SRL: a scalability rule language for multi-cloud environments. In: IEEE 6th international conference on cloud computing technology and science, CloudCom 2014, Singapore, 15\u201318 Dec 2014. p. 1\u20139.","DOI":"10.1109\/CloudCom.2014.170"},{"key":"152_CR18","doi-asserted-by":"crossref","unstructured":"Kritikos K, Zeginis C, Griesinger F, Seybold D, Domaschka J. A cross-layer BPaaS adaptation framework. In: 2017 IEEE 5th international conference on future internet of things and cloud (FiCloud). IEEE; 2017. p. 241\u20138.","DOI":"10.1109\/FiCloud.2017.12"},{"key":"152_CR19","first-page":"32","volume":"2011","author":"T Kurze","year":"2011","unstructured":"Kurze T, Klems M, Bermbach D, Lenk A, Tai S, Kunze M. Cloud federation. Cloud Comput. 2011;2011:32\u20138.","journal-title":"Cloud Comput"},{"key":"152_CR20","doi-asserted-by":"crossref","unstructured":"Liffiton MH, Sakallah KA. On finding all minimally unsatisfiable subformulas. In: International conference on theory and applications of satisfiability testing. Springer; 2005. pp. 173\u201386.","DOI":"10.1007\/11499107_13"},{"key":"152_CR21","doi-asserted-by":"crossref","unstructured":"Ma J, Zhang Y, He J. Efficiently finding web services using a clustering semantic approach. In: Proceedings of the 2008 international workshop on context enabled source and service selection, integration and adaptation: organized with the 17th international world wide web conference (WWW 2008); 2008. p. 5.","DOI":"10.1145\/1361482.1361487"},{"key":"152_CR22","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/j.compind.2018.10.003","volume":"104","author":"AA Nacer","year":"2019","unstructured":"Nacer AA, Godart C, Rosinosky G, Tari A, Youcef S. Business process outsourcing to the cloud: balancing costs with security risks. Comput Ind. 2019;104:59\u201374.","journal-title":"Comput Ind"},{"key":"152_CR23","doi-asserted-by":"crossref","unstructured":"Oh Y, Mneimneh MN, Andraus ZS, Sakallah KA, Markov IL. Amuse: a minimally-unsatisfiable subformula extractor. In: Proceedings of the 41st annual design automation conference; 2004. p. 518\u201323.","DOI":"10.1145\/996566.996710"},{"issue":"1","key":"152_CR24","doi-asserted-by":"publisher","first-page":"7:1","DOI":"10.1145\/2168260.2168267","volume":"7","author":"R Popescu","year":"2012","unstructured":"Popescu R, Staikopoulos A, Brogi A, Liu P, Clarke S. A formalized, taxonomy-driven approach to cross-layer application adaptation. TAAS. 2012;7(1):7:1\u201330.","journal-title":"TAAS"},{"key":"152_CR25","doi-asserted-by":"crossref","unstructured":"Purohit L, Kumar S. Clustering based approach for web service selection using skyline computations. In: 2019 IEEE international conference on web services (ICWS); 2019. p. 260\u20134.","DOI":"10.1109\/ICWS.2019.00052"},{"key":"152_CR26","doi-asserted-by":"crossref","unstructured":"Rekik M, Ait\u00a0Wakrime A, Cheniki N, Sam Y. On the fly reconfiguration of BPaaS based on SaaS services federation and SAT solving techniques. In: 2019 IEEE 28th international conference on enabling technologies: infrastructure for collaborative enterprises (WETICE). IEEE; 2019. p. 37\u201342.","DOI":"10.1109\/WETICE.2019.00016"},{"key":"152_CR27","doi-asserted-by":"publisher","unstructured":"Rekik M, Boukadi K, Assy N, Gaaloul W, Ben-Abdallah H. A linear program for optimal configurable business processes deployment into cloud federation. In: 2016 IEEE international conference on services computing (SCC); 2016. p. 34\u201341. https:\/\/doi.org\/10.1109\/SCC.2016.31.","DOI":"10.1109\/SCC.2016.31"},{"key":"152_CR28","doi-asserted-by":"publisher","unstructured":"Rekik M, Boukadi K, Ben-Abdallah H. A comprehensive framework for business process outsourcing to the cloud. In: 2016 IEEE international conference on services computing (SCC); 2016. p. 179\u201386. https:\/\/doi.org\/10.1109\/SCC.2016.30.","DOI":"10.1109\/SCC.2016.30"},{"key":"152_CR29","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1016\/j.future.2014.09.005","volume":"46","author":"S Schulte","year":"2015","unstructured":"Schulte S, Janiesch C, Venugopal S, Weber I, Hoenisch P. Elastic business process management: state of the art and open challenges for bpm in the cloud. Future Gener Comput Syst. 2015;46:36\u201350.","journal-title":"Future Gener Comput Syst"},{"key":"152_CR30","unstructured":"Woitsch R, Hinkelmann K, Ferrer J, Maria A, Yuste JI. Business process as a service (BPaaS): the smart BPaaS design environment. CAiSE 2016 Industry Track 2016."},{"key":"152_CR31","doi-asserted-by":"crossref","unstructured":"Woitsch R, Utz W. Business process as a service (BPaaS). In: Conference on e-business, e-services and e-society. Springer; 2015. p. 435\u201340.","DOI":"10.1007\/978-3-319-25013-7_35"},{"key":"152_CR32","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1016\/j.jnca.2015.07.007","volume":"59","author":"K Yongsiriwit","year":"2016","unstructured":"Yongsiriwit K, Assy N, Gaaloul W. A semantic framework for configurable business process as a service in the cloud. J Netw Comput Appl. 2016;59:168\u201384.","journal-title":"J Netw Comput Appl"}],"container-title":["SN Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s42979-020-00152-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s42979-020-00152-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s42979-020-00152-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T09:30:19Z","timestamp":1666517419000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s42979-020-00152-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5]]},"references-count":32,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2020,5]]}},"alternative-id":["152"],"URL":"https:\/\/doi.org\/10.1007\/s42979-020-00152-9","relation":{},"ISSN":["2662-995X","2661-8907"],"issn-type":[{"value":"2662-995X","type":"print"},{"value":"2661-8907","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,5]]},"assertion":[{"value":"14 December 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 April 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 May 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with Ethical Standards"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of Interest"}}],"article-number":"156"}}