{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T00:35:10Z","timestamp":1760402110680,"version":"build-2065373602"},"reference-count":23,"publisher":"MDPI AG","issue":"2","license":[{"start":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T00:00:00Z","timestamp":1641427200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sensors"],"abstract":"<jats:p>Multi-access edge computing implementations are ever increasing in both the number of deployments and the areas of application. In this context, the easiness in the operations of packet forwarding between two end devices being part of a particular edge computing infrastructure may allow for a more efficient performance. In this paper, an arithmetic framework based in a layered approach has been proposed in order to optimize the packet forwarding actions, such as routing and switching, in generic edge computing environments by taking advantage of the properties of integer division and modular arithmetic, thus simplifying the search of the proper next hop to reach the desired destination into simple arithmetic operations, as opposed to having to look into the routing or switching tables. In this sense, the different type of communications within a generic edge computing environment are first studied, and afterwards, three diverse case scenarios have been described according to the arithmetic framework proposed, where all of them have been further verified by using arithmetic means with the help of applying theorems, as well as algebraic means, with the help of searching for behavioral equivalences.<\/jats:p>","DOI":"10.3390\/s22020421","type":"journal-article","created":{"date-parts":[[2022,1,9]],"date-time":"2022-01-09T23:08:26Z","timestamp":1641769706000},"page":"421","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Arithmetic Framework to Optimize Packet Forwarding among End Devices in Generic Edge Computing Environments"],"prefix":"10.3390","volume":"22","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8391-8946","authenticated-orcid":false,"given":"Pedro Juan","family":"Roig","sequence":"first","affiliation":[{"name":"Computer Engineering Department, Miguel Hern\u00e1ndez University, 03202 Elche, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3701-5583","authenticated-orcid":false,"given":"Salvador","family":"Alcaraz","sequence":"additional","affiliation":[{"name":"Computer Engineering Department, Miguel Hern\u00e1ndez University, 03202 Elche, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8985-0639","authenticated-orcid":false,"given":"Katja","family":"Gilly","sequence":"additional","affiliation":[{"name":"Computer Engineering Department, Miguel Hern\u00e1ndez University, 03202 Elche, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9537-415X","authenticated-orcid":false,"given":"Cristina","family":"Bernad","sequence":"additional","affiliation":[{"name":"Computer Engineering Department, Miguel Hern\u00e1ndez University, 03202 Elche, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6517-5395","authenticated-orcid":false,"given":"Carlos","family":"Juiz","sequence":"additional","affiliation":[{"name":"Mathematics and Computer Science Department, University of the Balearic Islands, 07022 Palma de Mallorca, Spain"}]}],"member":"1968","published-online":{"date-parts":[[2022,1,6]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","unstructured":"Quasim, M.T. (2021). Resource Management and Task Scheduling for IoT using Mobile Edge Computing. Wirel. Pers. Commun., 1\u201318.","DOI":"10.1007\/s11277-021-09087-7"},{"key":"ref_2","first-page":"494","article-title":"Role of Emerging IoT Big Data and Cloud Computing for Real Time Application","volume":"11","author":"Humayun","year":"2020","journal-title":"Int. J. Adv. Comput. Sci. Appl."},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1016\/j.jpdc.2021.06.005","article-title":"Fog computing: A taxonomy, systematic review, current trends and research challenges","volume":"157","author":"Singh","year":"2021","journal-title":"J. Parallel Distrib. Comput."},{"key":"ref_4","first-page":"2040005","article-title":"Edge AI Driven Technology Advancements Paving Way Towards New Capabilities","volume":"18","author":"Agarwal","year":"2021","journal-title":"Int. J. Innov. Technol. Manag."},{"key":"ref_5","doi-asserted-by":"crossref","unstructured":"Wang, Q., Liu, L., Zhang, S., and Lau, F.C.M. (2021). On Massive IoT Connectivity with Temporally-Correlated User Activity. arXiv.","DOI":"10.1109\/ISIT45174.2021.9517805"},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"7457","DOI":"10.1109\/JIOT.2020.2984887","article-title":"Edge Intelligence: The Confluence of Edge Computing and Artificial Intelligence","volume":"7","author":"Deng","year":"2020","journal-title":"IEEE Internet Things J."},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/MCOM.101.2100138","article-title":"Federated Learning for Physical Layer Design","volume":"59","author":"Elbir","year":"2021","journal-title":"IEEE Commun. Mag."},{"key":"ref_8","doi-asserted-by":"crossref","unstructured":"Kjorveziroski, V., Filiposka, S., and Trajkovic, V. (2021). IoT Serverless Computing at the Edge: Open Issues and Research Direction. Computers, 10.","DOI":"10.3390\/computers10100130"},{"key":"ref_9","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1186\/s13677-021-00250-w","article-title":"An edge-cloud collaborative computing platform for building AIoT applications efficiently","volume":"10","author":"Rong","year":"2021","journal-title":"J. Cloud Comput."},{"key":"ref_10","first-page":"321","article-title":"Using Hoare Logic in a Process Algebra Setting","volume":"179","author":"Bergstra","year":"2021","journal-title":"Fundam. Infor."},{"key":"ref_11","unstructured":"(2021, November 11). Euclidean Division: Integer Division with Remainders. Available online: https:\/\/www.probabilisticworld.com\/euclideandivision-integer-division-with-remainders\/."},{"key":"ref_12","unstructured":"(2021, November 11). The Division Theorem in Z and R[T]. Available online: https:\/\/kconrad.math.uconn.edu\/blurbs\/ringtheory\/divthm.pdf\/."},{"key":"ref_13","unstructured":"(2021, November 11). Modular Arithmetic\u2014Introduction. Available online: https:\/\/artofproblemsolving.com\/wiki\/index.php\/Modular_arithmetic\/Introduction\/."},{"key":"ref_14","doi-asserted-by":"crossref","unstructured":"Bagade, P., Banerjee, A., and Gupta, S.K.S. (2017). Validation, Verification, and Formal Methods for Cyber-Physical Systems. Cyber-Physical Systems. Foundations, Principles and Applications, Academic Press.","DOI":"10.1016\/B978-0-12-803801-7.00012-2"},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/1402946.1402967","article-title":"A scalable, commodity data center network architecture","volume":"38","author":"Loukissas","year":"2008","journal-title":"ACM SIGCOMM Comput. Commun. Rev."},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"16441","DOI":"10.1109\/ACCESS.2017.2739804","article-title":"Edge Mesh: A New Paradigm to Enable Distributed Intelligence in Internet of Things","volume":"5","author":"Sahni","year":"2017","journal-title":"IEEE Access"},{"key":"ref_17","unstructured":"Fokkink, W. (2017). Modelling Distributed Systems, Springer. [2nd ed.]."},{"key":"ref_18","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/978-3-030-78089-0_15","article-title":"Tutorial: Designing Distributed Software in mCRL2","volume":"Volume 12719","author":"Groote","year":"2021","journal-title":"Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2021)"},{"key":"ref_19","unstructured":"Aceto, L., Castiglioni, V., Fokkink, W., Ig\u00f3lfsd\u00f3ttir, A., and Luttik, B. (2021, January 13). Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition?. Proceedings of the 29th EACSL Annual Conference on Computer Science Logic (CSL 2021), Dagstuhl, Germany."},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"103473","DOI":"10.1016\/j.compind.2021.103473","article-title":"Synthesized fault-tolerant supervisory controllers, with an application to a rotating bridge","volume":"130","author":"Reijnen","year":"2021","journal-title":"Comput. Ind."},{"key":"ref_21","doi-asserted-by":"crossref","unstructured":"Groote, J.F., and Mousavi, M.R. (2014). Modeling and Analysis of Communicating Systems, MIT Press. [1st ed.].","DOI":"10.7551\/mitpress\/9946.001.0001"},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1109\/JAS.2019.1911486","article-title":"Verification of hypertorus communication grids by infinite petri nets and process algebra","volume":"6","author":"Zaitsev","year":"2019","journal-title":"IEEE\/CAA J. Autom. Sin."},{"key":"ref_23","unstructured":"Fokkink, W. (2007). Introduction to Process Algebra, Springer. [2nd ed.]."}],"container-title":["Sensors"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1424-8220\/22\/2\/421\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T13:26:57Z","timestamp":1760362017000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1424-8220\/22\/2\/421"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,1,6]]},"references-count":23,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2022,1]]}},"alternative-id":["s22020421"],"URL":"https:\/\/doi.org\/10.3390\/s22020421","relation":{},"ISSN":["1424-8220"],"issn-type":[{"type":"electronic","value":"1424-8220"}],"subject":[],"published":{"date-parts":[[2022,1,6]]}}}