Combining declarative and linear programming for application management in the cloud-edge continuum
•Continuous reasoning mechanism to reduce redundant computation and service migrations in edge deployments.•Extended open-source prototype consisting of a pipeline combining declarative logic, MILP optimisation, and continuous reasoning.•Experimental assessment involving dynamic, large-scale edge sc...
Saved in:
| Published in: | Future generation computer systems Vol. 176; p. 108224 |
|---|---|
| Main Authors: | , , , |
| Format: | Journal Article |
| Language: | English |
| Published: |
Elsevier B.V
01.03.2026
|
| Subjects: | |
| ISSN: | 0167-739X |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | •Continuous reasoning mechanism to reduce redundant computation and service migrations in edge deployments.•Extended open-source prototype consisting of a pipeline combining declarative logic, MILP optimisation, and continuous reasoning.•Experimental assessment involving dynamic, large-scale edge scenarios with up to 2048 nodes, and three multi-component applications.
[Display omitted]
This work investigates the data-aware multi-service application placement problem in Cloud-Edge settings. We previously introduced EdgeWise, a hybrid approach that combines declarative programming with Mixed-Integer Linear Programming (MILP) to determine optimal placements that minimise operational costs and unnecessary data transfers. The declarative stage pre-processes infrastructure constraints to improve the efficiency of the MILP solver, achieving optimal placements in terms of operational costs, with significantly reduced execution times. In this extended version, we improve the declarative stage with continuous reasoning, presenting EdgeWiseCR, which enables the system to reuse existing placements and reduce unnecessary recomputation and service migrations. In addition, we conducted an expanded experimental evaluation considering multiple applications, diverse network topologies, and large-scale infrastructures with dynamic failures. The results show that EdgeWiseCR achieves up to 65 % faster execution compared to EdgeWise, while preserving placement stability under dynamic conditions. |
|---|---|
| AbstractList | •Continuous reasoning mechanism to reduce redundant computation and service migrations in edge deployments.•Extended open-source prototype consisting of a pipeline combining declarative logic, MILP optimisation, and continuous reasoning.•Experimental assessment involving dynamic, large-scale edge scenarios with up to 2048 nodes, and three multi-component applications.
[Display omitted]
This work investigates the data-aware multi-service application placement problem in Cloud-Edge settings. We previously introduced EdgeWise, a hybrid approach that combines declarative programming with Mixed-Integer Linear Programming (MILP) to determine optimal placements that minimise operational costs and unnecessary data transfers. The declarative stage pre-processes infrastructure constraints to improve the efficiency of the MILP solver, achieving optimal placements in terms of operational costs, with significantly reduced execution times. In this extended version, we improve the declarative stage with continuous reasoning, presenting EdgeWiseCR, which enables the system to reuse existing placements and reduce unnecessary recomputation and service migrations. In addition, we conducted an expanded experimental evaluation considering multiple applications, diverse network topologies, and large-scale infrastructures with dynamic failures. The results show that EdgeWiseCR achieves up to 65 % faster execution compared to EdgeWise, while preserving placement stability under dynamic conditions. |
| ArticleNumber | 108224 |
| Author | Massa, Jacopo Dazzi, Patrizio Brogi, Antonio Forti, Stefano |
| Author_xml | – sequence: 1 givenname: Jacopo orcidid: 0000-0002-5255-537X surname: Massa fullname: Massa, Jacopo email: jacopo.massa@di.unipi.it organization: Department of Computer Science, University of Pisa, Pisa, Italy – sequence: 2 givenname: Stefano orcidid: 0000-0002-4159-8761 surname: Forti fullname: Forti, Stefano email: stefano.forti@unipi.it organization: Department of Computer Science, University of Pisa, Pisa, Italy – sequence: 3 givenname: Patrizio orcidid: 0000-0001-8504-1503 surname: Dazzi fullname: Dazzi, Patrizio email: patrizio.dazzi@unipi.it organization: Department of Computer Science, University of Pisa, Pisa, Italy – sequence: 4 givenname: Antonio orcidid: 0000-0003-2048-2468 surname: Brogi fullname: Brogi, Antonio email: antonio.brogi@unipi.it organization: Department of Computer Science, University of Pisa, Pisa, Italy |
| BookMark | eNp9kM1qwzAQhHVIoUnaN-hBL-BUsmTLvhRK6B8EemmhN7GS1q6CLRnZDvTt65Cee9pld2YYvg1ZhRiQkDvOdpzx8v64a-ZpTrjLWV4spyrP5Yqsl5fKlKi_rslmHI-MMa4EXxO7j73xwYeWOrQdJJj8CSkERzsfEBIdUmwT9P1Z0sREYRg6bxdZDLSHAC32GCbqA52-kdouzi5D1y5rDJMP89zfkKsGuhFv_-aWfD4_fexfs8P7y9v-8ZBZXhVTxoEzU3NTOmNUXlqoGCghhCyUlVKBtCiYRWXqwnHZQF5XWFamzkuDopZSbIm85NoUxzFho4fke0g_mjN9hqOP-gJHn-HoC5zF9nCx4dLt5DHp0XoMFp1PaCftov8_4Bd0sHWC |
| Cites_doi | 10.1109/TNET.2020.3048613 10.1109/ACCESS.2022.3160738 10.1145/3403955 10.1109/TWC.2020.3003459 10.1016/j.ipl.2010.02.001 10.1007/s10723-021-09589-5 10.1007/s00607-023-01153-1 10.1109/ACCESS.2021.3093936 10.1016/j.future.2018.06.009 10.1109/ACCESS.2024.3403721 10.1002/spe.2766 10.1016/j.future.2020.07.032 10.1007/s10586-025-05253-9 10.1093/logcom/exab083 10.1109/ACCESS.2019.2922992 10.1109/MNET.011.2000089 10.1109/TNSM.2021.3139857 10.1007/s11227-014-1177-y 10.1016/j.comcom.2019.07.013 10.1016/j.future.2020.08.011 10.1155/2022/8936576 |
| ContentType | Journal Article |
| Copyright | 2025 Elsevier B.V. |
| Copyright_xml | – notice: 2025 Elsevier B.V. |
| DBID | AAYXX CITATION |
| DOI | 10.1016/j.future.2025.108224 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| ExternalDocumentID | 10_1016_j_future_2025_108224 S0167739X25005187 |
| GroupedDBID | --K --M -~X .DC .~1 0R~ 1B1 1~. 1~5 29H 4.4 457 4G. 5GY 5VS 7-5 71M 8P~ 9DU 9JN AAEDT AAEDW AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AATTM AAXKI AAXUO AAYFN AAYWO ABBOA ABDPE ABFNM ABJNI ABMAC ABWVN ABXDB ACDAQ ACGFS ACLOT ACNNM ACRLP ACRPL ACZNC ADBBV ADEZE ADJOM ADMUD ADNMO AEBSH AEIPS AEKER AFJKZ AFTJW AGHFR AGQPQ AGUBO AGYEJ AHHHB AHZHX AIALX AIEXJ AIIUN AIKHN AITUG ALMA_UNASSIGNED_HOLDINGS AMRAJ ANKPU AOUOD APXCP ASPBG AVWKF AXJTR AZFZN BKOJK BLXMC CS3 EBS EFJIC EFKBS EFLBG EJD EO8 EO9 EP2 EP3 F5P FDB FEDTE FGOYB FIRID FNPLU FYGXN G-Q GBLVA GBOLZ HLZ HVGLF HZ~ IHE J1W KOM LG9 M41 MO0 MS~ N9A O-L O9- OAUVE OZT P-8 P-9 PC. Q38 R2- ROL RPZ SBC SDF SDG SES SEW SPC SPCBC SSV SSZ T5K UHS WUQ XPP ZMT ~G- ~HD AAYXX CITATION |
| ID | FETCH-LOGICAL-c185t-1a10b91b6dbb726ca80a7333457c447a4ce30ce7b95d14fa298e68b926be39443 |
| ISICitedReferencesCount | 0 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001619362400001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0167-739X |
| IngestDate | Thu Nov 27 00:46:24 EST 2025 Wed Dec 10 14:22:34 EST 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Cloud-Edge Continuum Declarative Programming Application Placement Mixed-Integer Linear Programming Continuous Reasoning |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c185t-1a10b91b6dbb726ca80a7333457c447a4ce30ce7b95d14fa298e68b926be39443 |
| ORCID | 0000-0002-5255-537X 0000-0003-2048-2468 0000-0002-4159-8761 0000-0001-8504-1503 |
| ParticipantIDs | crossref_primary_10_1016_j_future_2025_108224 elsevier_sciencedirect_doi_10_1016_j_future_2025_108224 |
| PublicationCentury | 2000 |
| PublicationDate | March 2026 2026-03-00 |
| PublicationDateYYYYMMDD | 2026-03-01 |
| PublicationDate_xml | – month: 03 year: 2026 text: March 2026 |
| PublicationDecade | 2020 |
| PublicationTitle | Future generation computer systems |
| PublicationYear | 2026 |
| Publisher | Elsevier B.V |
| Publisher_xml | – name: Elsevier B.V |
| References | Ullah, Dagdeviren, Ariyattu, DesLauriers, Kiss, Bowden (bib0035) 2021; 19 Massa, Forti, Dazzi, Brogi (bib0007) 2023 Phupattanasilp, Tongia (bib0012) 2019; 11 Shao, Shen, Gong, Huang (bib0021) 2022 Wielemaker, Schrijvers, Triska, Lager (bib0010) 2012; 12 Duan, Wang, Ansari (bib0001) 2020; 34 Forti, Bisicchia, Brogi (bib0005) 2022; 32 Forti, Brogi (bib0047) 2022; 13165 Salaht, Desprez, Lebre (bib0003) 2020; 53 Brogi, Forti, Guerrero, Lera (bib0004) 2020; 50 Santoso, Jung, Seok, Carlini, Dazzi, Altmann, Violos, Marshall (bib0031) 2017 Mahmud, Ramamohanarao, Buyya (bib0033) 2020; 53 Azzolini, Forti, Ielo (bib0048) 2025; 28 Lloyd (bib0009) 1987 Herrera, Berrocal, Forti, Brogi, Murillo (bib0016) 2024; 17 Sun, Yu, Fan, Chen, Liu (bib0020) 2023; 20 . Brandherm, Gedeon, Abboud, Mühlhäuser (bib0023) 2022 Carrusca, Gomes, Leitão (bib0034) 2020 Forti, Brogi (bib0025) 2021; 423 Han, Liu, Zhang, Guo (bib0019) 2022; 71 Mukhopadhyay, Iosifidis, Ruffini (bib0015) 2022; 19 Payberah, Kavalionak, Montresor, Dowling, Haridi (bib0042) 2013 Pianini, Casadei, Viroli, Natali (bib0018) 2021; 114 Ray, Banerjee, Narendra (bib0030) 2024; 21 Tang, Lin, Wang, Zhou (bib0036) 2021; 9 Tabatabaee Malazi, Chaudhry, Kazmi, Palade, Cabrera, White, Clarke (bib0032) 2022; 10 Xie, Qian, Guo, Li, Wang, Chen (bib0029) 2023; 11 Casadei, Viroli (bib0017) 2019 Petiwala, Shukla, Mishra, Saini (bib0013) 2021 Aral, Ovatman (bib0043) 2018; 15 J. Massa, V. De Caro, S. Forti, P. Dazzi, D. Bacciu, A. Brogi, ECLYPSE: a python framework for simulation and emulation of the cloud-edge continuum, (2025). Li, Wang, Tang, Zhang, Xin, Luo (bib0044) 2019; 146 Hougardy (bib0011) 2010; 110 Maia, Ghamri-Doudane, Vieira, de Castro (bib0037) 2019 Herrera (bib0024) 2023; 105 Mordacchini, Conti, Passarella, Bruno (bib0039) 2020; 14 Ferrucci, Ricci, Albano, Baraglia, Mordacchini (bib0041) 2016; 82 Kimovski, Mehran, Kerth, Prodan (bib0046) 2022; 15 Farhadi, Mehmeti, He, Porta, Khamfroush, Wang, Chan, Poularakis (bib0045) 2021; 29 Vilaplana, Solsona, Teixidó, Mateo, Abella, Rius (bib0014) 2014; 69 Islam, Ahammed, Siddique, Roy, Razzaque, Hassan, Saleem (bib0022) 2024; 12 Asgarian, Jamshidi, Bohlooli (bib0027) 2024; 11 Patman, Lovett, Banning, Barnert, Chemodanov, Calvam (bib0040) 2018 Ma, Zhou, Chen (bib0028) 2020; 19 Guo, Li, Guan (bib0038) 2019; 7 Tortonesi, Govoni, Morelli, Riberto, Stefanelli, Suri (bib0002) 2019; 93 Forti (bib0026) 2021; 114 Massa, Forti, Brogi (bib0006) 2022 Carrusca (10.1016/j.future.2025.108224_bib0034) 2020 Farhadi (10.1016/j.future.2025.108224_bib0045) 2021; 29 Pianini (10.1016/j.future.2025.108224_bib0018) 2021; 114 Forti (10.1016/j.future.2025.108224_bib0047) 2022; 13165 Mukhopadhyay (10.1016/j.future.2025.108224_bib0015) 2022; 19 Brandherm (10.1016/j.future.2025.108224_bib0023) 2022 Mordacchini (10.1016/j.future.2025.108224_bib0039) 2020; 14 10.1016/j.future.2025.108224_bib0008 Patman (10.1016/j.future.2025.108224_bib0040) 2018 Guo (10.1016/j.future.2025.108224_bib0038) 2019; 7 Forti (10.1016/j.future.2025.108224_bib0005) 2022; 32 Islam (10.1016/j.future.2025.108224_bib0022) 2024; 12 Forti (10.1016/j.future.2025.108224_bib0026) 2021; 114 Ma (10.1016/j.future.2025.108224_bib0028) 2020; 19 Herrera (10.1016/j.future.2025.108224_bib0024) 2023; 105 Massa (10.1016/j.future.2025.108224_bib0006) 2022 Sun (10.1016/j.future.2025.108224_bib0020) 2023; 20 Tang (10.1016/j.future.2025.108224_bib0036) 2021; 9 Mahmud (10.1016/j.future.2025.108224_bib0033) 2020; 53 Asgarian (10.1016/j.future.2025.108224_bib0027) 2024; 11 Tortonesi (10.1016/j.future.2025.108224_bib0002) 2019; 93 Maia (10.1016/j.future.2025.108224_bib0037) 2019 Aral (10.1016/j.future.2025.108224_bib0043) 2018; 15 Salaht (10.1016/j.future.2025.108224_bib0003) 2020; 53 Li (10.1016/j.future.2025.108224_bib0044) 2019; 146 Phupattanasilp (10.1016/j.future.2025.108224_bib0012) 2019; 11 Petiwala (10.1016/j.future.2025.108224_bib0013) 2021 Tabatabaee Malazi (10.1016/j.future.2025.108224_bib0032) 2022; 10 Kimovski (10.1016/j.future.2025.108224_bib0046) 2022; 15 Massa (10.1016/j.future.2025.108224_bib0007) 2023 Santoso (10.1016/j.future.2025.108224_bib0031) 2017 Brogi (10.1016/j.future.2025.108224_bib0004) 2020; 50 Lloyd (10.1016/j.future.2025.108224_bib0009) 1987 Azzolini (10.1016/j.future.2025.108224_bib0048) 2025; 28 Shao (10.1016/j.future.2025.108224_bib0021) 2022 Ferrucci (10.1016/j.future.2025.108224_bib0041) 2016; 82 Vilaplana (10.1016/j.future.2025.108224_bib0014) 2014; 69 Hougardy (10.1016/j.future.2025.108224_bib0011) 2010; 110 Han (10.1016/j.future.2025.108224_bib0019) 2022; 71 Ray (10.1016/j.future.2025.108224_bib0030) 2024; 21 Duan (10.1016/j.future.2025.108224_bib0001) 2020; 34 Wielemaker (10.1016/j.future.2025.108224_bib0010) 2012; 12 Forti (10.1016/j.future.2025.108224_bib0025) 2021; 423 Ullah (10.1016/j.future.2025.108224_bib0035) 2021; 19 Herrera (10.1016/j.future.2025.108224_bib0016) 2024; 17 Xie (10.1016/j.future.2025.108224_bib0029) 2023; 11 Payberah (10.1016/j.future.2025.108224_bib0042) 2013 Casadei (10.1016/j.future.2025.108224_bib0017) 2019 |
| References_xml | – volume: 82 start-page: 1161 year: 2016 end-page: 1179 ident: bib0041 article-title: Multidimensional range queries on hierarchical Voronoi overlays publication-title: JCSS – volume: 32 start-page: 206 year: 2022 end-page: 232 ident: bib0005 article-title: Declarative continuous reasoning in the cloud-IoT continuum publication-title: J. Log. Comput. – volume: 105 start-page: 2037 year: 2023 end-page: 2059 ident: bib0024 article-title: Continuous QoS-aware adaptation of Cloud-IoT application placements publication-title: Computing – volume: 11 start-page: 220 year: 2019 ident: bib0012 article-title: Augmented Reality in the Integrative Internet of Things (AR-IoT): Application for Precision Farming publication-title: Future Internet – volume: 19 start-page: 6454 year: 2020 end-page: 6468 ident: bib0028 article-title: Leveraging the Power of Prediction: Predictive Service Placement for Latency-sensitive Mobile Edge Computing publication-title: IEEE Trans. Wireless Commun. – reference: J. Massa, V. De Caro, S. Forti, P. Dazzi, D. Bacciu, A. Brogi, ECLYPSE: a python framework for simulation and emulation of the cloud-edge continuum, (2025). – volume: 29 start-page: 779 year: 2021 end-page: 792 ident: bib0045 article-title: Service Placement and Request Scheduling for Data-intensive Applications in Edge Clouds publication-title: IEEE/ACM Tran. Net. – volume: 10 start-page: 32639 year: 2022 end-page: 32688 ident: bib0032 article-title: Dynamic Service Placement in Multi-access Edge Computing: A Systematic Literature Review publication-title: IEEE Access – volume: 28 start-page: 461 year: 2025 ident: bib0048 article-title: Continuous reasoning for adaptive container image distribution in the cloud-edge continuum publication-title: Cluster Comput. – volume: 17 start-page: 3985 year: 2024 end-page: 3998 ident: bib0016 article-title: Multi-layered Continuous Reasoning for Cloud-IoT Application Management publication-title: IEEE TSC – volume: 53 start-page: 1 year: 2020 end-page: 35 ident: bib0003 article-title: An overview of service placement problem in fog and edge computing publication-title: ACM CSUR – volume: 114 start-page: 605 year: 2021 end-page: 618 ident: bib0026 article-title: Lightweight self-organising distributed monitoring of Fog infrastructures publication-title: FGCS – volume: 9 start-page: 94862 year: 2021 end-page: 94878 ident: bib0036 article-title: Optimized Composition for Multiple User Service Requests Based on Edge-cloud Collaboration publication-title: IEEE Access – volume: 11 start-page: 12815 year: 2024 end-page: 12822 ident: bib0027 article-title: An Efficient Approximation Algorithm for Service Function Chaining Placement in Edge-Cloud Computing Industrial Internet of Things publication-title: IEEE IoT-J – volume: 19 start-page: 1 year: 2021 end-page: 28 ident: bib0035 article-title: MiCADO-edge: Towards an Application-level Orchestrator for the Cloud-to-edge Computing Continuum publication-title: Journal of Grid Computing – volume: 19 start-page: 1458 year: 2022 end-page: 1471 ident: bib0015 article-title: Migration-aware Network Services With Edge Computing publication-title: IEEE Trans. Netw. Serv. Manage. – start-page: 1 year: 2023 end-page: 10 ident: bib0007 article-title: Declarative and Linear Programming Approaches to Service Placement, Reconciled publication-title: IEEE CLOUD – year: 2022 ident: bib0021 article-title: Cost-aware Placement Optimization of Edge Servers for IoT Services in Wireless Metropolitan Area Networks publication-title: Wireless Commun. Mob. Comput. – start-page: 233 year: 2017 end-page: 235 ident: bib0031 article-title: Dynamic resource selection in cloud service broker publication-title: HPCS – volume: 15 start-page: 516 year: 2018 end-page: 529 ident: bib0043 article-title: A Decentralized Replica Placement Algorithm for Edge Computing publication-title: IEEE TNSM – start-page: 139 year: 2022 end-page: 158 ident: bib0006 article-title: Data-aware Service Placement in the Cloud-IoT Continuum publication-title: Service-Oriented Computing – year: 1987 ident: bib0009 article-title: Foundations of Logic Programming – volume: 93 start-page: 888 year: 2019 end-page: 902 ident: bib0002 article-title: Taming the IoT data deluge: An innovative information-centric service model for fog computing applications publication-title: FGCS – start-page: 95 year: 2020 end-page: 108 ident: bib0034 article-title: Microservices Management on Cloud/Edge Environments publication-title: ICSOC Workshops – volume: 34 start-page: 148 year: 2020 end-page: 155 ident: bib0001 article-title: Convergence of networking and cloud/edge computing: Status, challenges, and opportunities publication-title: IEEE Netw. – volume: 20 start-page: 711 year: 2023 end-page: 725 ident: bib0020 article-title: Security-aware and Time-guaranteed Service Placement in Edge Clouds publication-title: IEEE TNSM – volume: 146 start-page: 1 year: 2019 end-page: 14 ident: bib0044 article-title: Flexible replica placement for enhancing the availability in edge computing environment publication-title: Comput. Commun. – volume: 14 start-page: 1 year: 2020 end-page: 25 ident: bib0039 article-title: Human-centric Data Dissemination in the IoP: Large-scale Modeling and Evaluation publication-title: ACM TAAS – volume: 15 start-page: 3358 year: 2022 end-page: 3371 ident: bib0046 article-title: Mobility-aware IoT Application Placement in the Cloud - Edge Continuum publication-title: IEEE TSC – volume: 50 start-page: 719 year: 2020 end-page: 740 ident: bib0004 article-title: How to Place Your Apps in the Fog - state of the Art and Open Challenges publication-title: Softw. Pract. Exp. – volume: 12 start-page: 67 year: 2012 end-page: 96 ident: bib0010 article-title: SWI-Prolog publication-title: TPLP – start-page: 136 year: 2022 end-page: 148 ident: bib0023 article-title: BigMEC: Scalable Service Migration for Mobile Edge Computing publication-title: 2022 IEEE/ACM 7th Symposium on Edge Computing (SEC) – volume: 423 start-page: 177 year: 2021 end-page: 190 ident: bib0025 article-title: Declarative Osmotic Application Placement publication-title: CAiSE Workshops – volume: 110 start-page: 279 year: 2010 end-page: 281 ident: bib0011 article-title: The Floyd–Warshall algorithm on graphs with negative cycles publication-title: Inf. Process. Lett. – start-page: 1 year: 2018 end-page: 8 ident: bib0040 article-title: Data-driven Edge Computing Resource Scheduling for Protest Crowds Incident Management publication-title: IEEE NCA – volume: 12 start-page: 72746 year: 2024 end-page: 72765 ident: bib0022 article-title: A Hyper-heuristic Approach for Quality of Experience Aware Service Placement Scheme in 5G Mobile Edge Computing publication-title: IEEE Access – volume: 13165 start-page: 208 year: 2022 end-page: 217 ident: bib0047 article-title: Green Application Placement in the Cloud-IoT Continuum publication-title: PADL – volume: 69 start-page: 492 year: 2014 end-page: 507 ident: bib0014 article-title: A queuing theory model for cloud computing publication-title: J. Supercomput. – start-page: 189 year: 2019 end-page: 197 ident: bib0037 article-title: Optimized placement of scalable IoT services in edge computing publication-title: IFIP/IEEE IM – volume: 11 start-page: 71 year: 2023 end-page: 84 ident: bib0029 article-title: A Novel Data Placement and Retrieval Service for Cooperative Edge Clouds publication-title: IEEE TSC – start-page: 60 year: 2019 end-page: 67 ident: bib0017 article-title: Coordinating Computation at the Edge: a Decentralized, Self-organizing, Spatial Approach publication-title: FMEC 2019 – reference: . – volume: 71 start-page: 12275 year: 2022 end-page: 12290 ident: bib0019 article-title: Energy-efficient Service Placement Based on Equivalent Bandwidth in Cell Zooming Enabled Mobile Edge Cloud Networks publication-title: IEEE TVT – start-page: 1 year: 2021 end-page: 7 ident: bib0013 article-title: Smart Parking System through Automation in License Plate Recognition publication-title: ICRITO – start-page: 3439 year: 2013 end-page: 3443 ident: bib0042 article-title: Lightweight gossip-based distribution estimation publication-title: IEEE ICC – volume: 7 start-page: 78685 year: 2019 end-page: 78697 ident: bib0038 article-title: Energy-efficient and Delay-guaranteed Workload Allocation in IoT-edge-cloud Computing Systems publication-title: IEEE Access – volume: 114 start-page: 44 year: 2021 end-page: 68 ident: bib0018 article-title: Partitioned integration and coordination via the self-organising coordination regions pattern publication-title: FGCS – volume: 21 start-page: 1969 year: 2024 end-page: 1982 ident: bib0030 article-title: Learning-based Microservice Placement and Migration for Multi-access Edge Computing publication-title: IEEE TNSM – volume: 53 start-page: 1 year: 2020 end-page: 43 ident: bib0033 article-title: Application Management in Fog Computing Environments: A Taxonomy, Review and Future Directions publication-title: ACM Comput. Surv. – start-page: 139 year: 2022 ident: 10.1016/j.future.2025.108224_bib0006 article-title: Data-aware Service Placement in the Cloud-IoT Continuum – volume: 29 start-page: 779 year: 2021 ident: 10.1016/j.future.2025.108224_bib0045 article-title: Service Placement and Request Scheduling for Data-intensive Applications in Edge Clouds publication-title: IEEE/ACM Tran. Net. doi: 10.1109/TNET.2020.3048613 – volume: 10 start-page: 32639 year: 2022 ident: 10.1016/j.future.2025.108224_bib0032 article-title: Dynamic Service Placement in Multi-access Edge Computing: A Systematic Literature Review publication-title: IEEE Access doi: 10.1109/ACCESS.2022.3160738 – volume: 53 start-page: 1 issue: 4 year: 2020 ident: 10.1016/j.future.2025.108224_bib0033 article-title: Application Management in Fog Computing Environments: A Taxonomy, Review and Future Directions publication-title: ACM Comput. Surv. doi: 10.1145/3403955 – volume: 19 start-page: 6454 issue: 10 year: 2020 ident: 10.1016/j.future.2025.108224_bib0028 article-title: Leveraging the Power of Prediction: Predictive Service Placement for Latency-sensitive Mobile Edge Computing publication-title: IEEE Trans. Wireless Commun. doi: 10.1109/TWC.2020.3003459 – start-page: 189 year: 2019 ident: 10.1016/j.future.2025.108224_bib0037 article-title: Optimized placement of scalable IoT services in edge computing – volume: 110 start-page: 279 issue: 8-9 year: 2010 ident: 10.1016/j.future.2025.108224_bib0011 article-title: The Floyd–Warshall algorithm on graphs with negative cycles publication-title: Inf. Process. Lett. doi: 10.1016/j.ipl.2010.02.001 – volume: 19 start-page: 1 issue: 4 year: 2021 ident: 10.1016/j.future.2025.108224_bib0035 article-title: MiCADO-edge: Towards an Application-level Orchestrator for the Cloud-to-edge Computing Continuum publication-title: Journal of Grid Computing doi: 10.1007/s10723-021-09589-5 – start-page: 1 year: 2018 ident: 10.1016/j.future.2025.108224_bib0040 article-title: Data-driven Edge Computing Resource Scheduling for Protest Crowds Incident Management – volume: 15 start-page: 3358 year: 2022 ident: 10.1016/j.future.2025.108224_bib0046 article-title: Mobility-aware IoT Application Placement in the Cloud - Edge Continuum publication-title: IEEE TSC – volume: 105 start-page: 2037 issue: 9 year: 2023 ident: 10.1016/j.future.2025.108224_bib0024 article-title: Continuous QoS-aware adaptation of Cloud-IoT application placements publication-title: Computing doi: 10.1007/s00607-023-01153-1 – volume: 20 start-page: 711 year: 2023 ident: 10.1016/j.future.2025.108224_bib0020 article-title: Security-aware and Time-guaranteed Service Placement in Edge Clouds publication-title: IEEE TNSM – start-page: 3439 year: 2013 ident: 10.1016/j.future.2025.108224_bib0042 article-title: Lightweight gossip-based distribution estimation – volume: 9 start-page: 94862 year: 2021 ident: 10.1016/j.future.2025.108224_bib0036 article-title: Optimized Composition for Multiple User Service Requests Based on Edge-cloud Collaboration publication-title: IEEE Access doi: 10.1109/ACCESS.2021.3093936 – volume: 93 start-page: 888 year: 2019 ident: 10.1016/j.future.2025.108224_bib0002 article-title: Taming the IoT data deluge: An innovative information-centric service model for fog computing applications publication-title: FGCS doi: 10.1016/j.future.2018.06.009 – volume: 14 start-page: 1 issue: 3 year: 2020 ident: 10.1016/j.future.2025.108224_bib0039 article-title: Human-centric Data Dissemination in the IoP: Large-scale Modeling and Evaluation publication-title: ACM TAAS – start-page: 60 year: 2019 ident: 10.1016/j.future.2025.108224_bib0017 article-title: Coordinating Computation at the Edge: a Decentralized, Self-organizing, Spatial Approach – volume: 71 start-page: 12275 year: 2022 ident: 10.1016/j.future.2025.108224_bib0019 article-title: Energy-efficient Service Placement Based on Equivalent Bandwidth in Cell Zooming Enabled Mobile Edge Cloud Networks publication-title: IEEE TVT – year: 1987 ident: 10.1016/j.future.2025.108224_bib0009 – volume: 423 start-page: 177 year: 2021 ident: 10.1016/j.future.2025.108224_bib0025 article-title: Declarative Osmotic Application Placement – volume: 11 start-page: 71 year: 2023 ident: 10.1016/j.future.2025.108224_bib0029 article-title: A Novel Data Placement and Retrieval Service for Cooperative Edge Clouds publication-title: IEEE TSC – volume: 12 start-page: 72746 year: 2024 ident: 10.1016/j.future.2025.108224_bib0022 article-title: A Hyper-heuristic Approach for Quality of Experience Aware Service Placement Scheme in 5G Mobile Edge Computing publication-title: IEEE Access doi: 10.1109/ACCESS.2024.3403721 – start-page: 233 year: 2017 ident: 10.1016/j.future.2025.108224_bib0031 article-title: Dynamic resource selection in cloud service broker – volume: 53 start-page: 1 issue: 3 year: 2020 ident: 10.1016/j.future.2025.108224_bib0003 article-title: An overview of service placement problem in fog and edge computing publication-title: ACM CSUR – volume: 13165 start-page: 208 year: 2022 ident: 10.1016/j.future.2025.108224_bib0047 article-title: Green Application Placement in the Cloud-IoT Continuum – volume: 50 start-page: 719 issue: 5 year: 2020 ident: 10.1016/j.future.2025.108224_bib0004 article-title: How to Place Your Apps in the Fog - state of the Art and Open Challenges publication-title: Softw. Pract. Exp. doi: 10.1002/spe.2766 – volume: 21 start-page: 1969 issue: 2 year: 2024 ident: 10.1016/j.future.2025.108224_bib0030 article-title: Learning-based Microservice Placement and Migration for Multi-access Edge Computing publication-title: IEEE TNSM – start-page: 136 year: 2022 ident: 10.1016/j.future.2025.108224_bib0023 article-title: BigMEC: Scalable Service Migration for Mobile Edge Computing – volume: 114 start-page: 44 year: 2021 ident: 10.1016/j.future.2025.108224_bib0018 article-title: Partitioned integration and coordination via the self-organising coordination regions pattern publication-title: FGCS doi: 10.1016/j.future.2020.07.032 – volume: 28 start-page: 461 year: 2025 ident: 10.1016/j.future.2025.108224_bib0048 article-title: Continuous reasoning for adaptive container image distribution in the cloud-edge continuum publication-title: Cluster Comput. doi: 10.1007/s10586-025-05253-9 – start-page: 1 year: 2021 ident: 10.1016/j.future.2025.108224_bib0013 article-title: Smart Parking System through Automation in License Plate Recognition – volume: 32 start-page: 206 issue: 2 year: 2022 ident: 10.1016/j.future.2025.108224_bib0005 article-title: Declarative continuous reasoning in the cloud-IoT continuum publication-title: J. Log. Comput. doi: 10.1093/logcom/exab083 – volume: 7 start-page: 78685 year: 2019 ident: 10.1016/j.future.2025.108224_bib0038 article-title: Energy-efficient and Delay-guaranteed Workload Allocation in IoT-edge-cloud Computing Systems publication-title: IEEE Access doi: 10.1109/ACCESS.2019.2922992 – volume: 11 start-page: 220 issue: 10 year: 2019 ident: 10.1016/j.future.2025.108224_bib0012 article-title: Augmented Reality in the Integrative Internet of Things (AR-IoT): Application for Precision Farming publication-title: Future Internet – volume: 34 start-page: 148 issue: 6 year: 2020 ident: 10.1016/j.future.2025.108224_bib0001 article-title: Convergence of networking and cloud/edge computing: Status, challenges, and opportunities publication-title: IEEE Netw. doi: 10.1109/MNET.011.2000089 – volume: 19 start-page: 1458 issue: 2 year: 2022 ident: 10.1016/j.future.2025.108224_bib0015 article-title: Migration-aware Network Services With Edge Computing publication-title: IEEE Trans. Netw. Serv. Manage. doi: 10.1109/TNSM.2021.3139857 – volume: 82 start-page: 1161 year: 2016 ident: 10.1016/j.future.2025.108224_bib0041 article-title: Multidimensional range queries on hierarchical Voronoi overlays publication-title: JCSS – start-page: 1 year: 2023 ident: 10.1016/j.future.2025.108224_bib0007 article-title: Declarative and Linear Programming Approaches to Service Placement, Reconciled – ident: 10.1016/j.future.2025.108224_bib0008 – volume: 69 start-page: 492 year: 2014 ident: 10.1016/j.future.2025.108224_bib0014 article-title: A queuing theory model for cloud computing publication-title: J. Supercomput. doi: 10.1007/s11227-014-1177-y – volume: 146 start-page: 1 year: 2019 ident: 10.1016/j.future.2025.108224_bib0044 article-title: Flexible replica placement for enhancing the availability in edge computing environment publication-title: Comput. Commun. doi: 10.1016/j.comcom.2019.07.013 – volume: 114 start-page: 605 year: 2021 ident: 10.1016/j.future.2025.108224_bib0026 article-title: Lightweight self-organising distributed monitoring of Fog infrastructures publication-title: FGCS doi: 10.1016/j.future.2020.08.011 – start-page: 95 year: 2020 ident: 10.1016/j.future.2025.108224_bib0034 article-title: Microservices Management on Cloud/Edge Environments – volume: 12 start-page: 67 issue: 1-2 year: 2012 ident: 10.1016/j.future.2025.108224_bib0010 article-title: SWI-Prolog publication-title: TPLP – year: 2022 ident: 10.1016/j.future.2025.108224_bib0021 article-title: Cost-aware Placement Optimization of Edge Servers for IoT Services in Wireless Metropolitan Area Networks publication-title: Wireless Commun. Mob. Comput. doi: 10.1155/2022/8936576 – volume: 11 start-page: 12815 year: 2024 ident: 10.1016/j.future.2025.108224_bib0027 article-title: An Efficient Approximation Algorithm for Service Function Chaining Placement in Edge-Cloud Computing Industrial Internet of Things publication-title: IEEE IoT-J – volume: 15 start-page: 516 issue: 2 year: 2018 ident: 10.1016/j.future.2025.108224_bib0043 article-title: A Decentralized Replica Placement Algorithm for Edge Computing publication-title: IEEE TNSM – volume: 17 start-page: 3985 issue: 6 year: 2024 ident: 10.1016/j.future.2025.108224_bib0016 article-title: Multi-layered Continuous Reasoning for Cloud-IoT Application Management publication-title: IEEE TSC |
| SSID | ssj0001731 |
| Score | 2.4533253 |
| Snippet | •Continuous reasoning mechanism to reduce redundant computation and service migrations in edge deployments.•Extended open-source prototype consisting of a... |
| SourceID | crossref elsevier |
| SourceType | Index Database Publisher |
| StartPage | 108224 |
| SubjectTerms | Application Placement Cloud-Edge Continuum Continuous Reasoning Declarative Programming Mixed-Integer Linear Programming |
| Title | Combining declarative and linear programming for application management in the cloud-edge continuum |
| URI | https://dx.doi.org/10.1016/j.future.2025.108224 |
| Volume | 176 |
| WOSCitedRecordID | wos001619362400001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 issn: 0167-739X databaseCode: AIEXJ dateStart: 19950201 customDbUrl: isFulltext: true dateEnd: 99991231 titleUrlDefault: https://www.sciencedirect.com omitProxy: false ssIdentifier: ssj0001731 providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1Na9wwEBXppode0qQfJG1adOitqNiyZUnHtE1JAwmBpLA3I8kyOCT2svGWsL--I0v-IFtKW8jFLF6sNZrn8dPs0zyEPujIlkzSgqQsoSQFCkuU0hEpYD0UGaaMKKPObIKfn4v5XF6EqtJdZyfA61rc38vFo4YazkGw3dbZfwj3MCicgM8QdDhC2OH4V4GHJ1x3rg8fC2tu-s7erj7uGKXrbO0lWbeDhnL8DzuIWTuBQBBAmptmVRBXdetk7VW9Cs0bem_PrimJc2K2AUwmGEWELtEDaT8Dnh6UuaZZNOP7L0gKLltbqno4_1Wt15Unue2yWlfDF5_h_qvQ-AAyUjMtXNBsVG75atrGjhpf4ITEzZPOXnfM0N4iZiPb-8LD9SfffgUW-5Q5zST1u7If9NG-dEO7kYH0QSYS_AnappxJMUPbR9-P56fDCzzmwcYy3Eq_47KTBW7-1u8ZzYSlXO2inbC8wEceFntoy9Yv0PPeugOHTP4SmQEleIISDCjBHiV4ghIMKMETlOARJbiqMaAEjyjBA0peoR_fjq--nJDgt0EMsLaWxCqOtIx1VmjNaWaUiBRPkiRl3KQpV6mx8PxariUr4rRUVAqbCS1ppq3bX528RrO6qe0-woIqJouSc8OAohZWwjqc8lILHcWGi_IAkX7O8oVvq5L3esPr3M9x7uY493N8gHg_sXmghp7y5YCFP1755r-vfIuejbA9RLN2ubLv0FPzs63ulu8DaH4BSLKQ2A |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Combining+declarative+and+linear+programming+for+application+management+in+the+cloud-edge+continuum&rft.jtitle=Future+generation+computer+systems&rft.au=Massa%2C+Jacopo&rft.au=Forti%2C+Stefano&rft.au=Dazzi%2C+Patrizio&rft.au=Brogi%2C+Antonio&rft.date=2026-03-01&rft.pub=Elsevier+B.V&rft.issn=0167-739X&rft.volume=176&rft_id=info:doi/10.1016%2Fj.future.2025.108224&rft.externalDocID=S0167739X25005187 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0167-739X&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0167-739X&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0167-739X&client=summon |