{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,3]],"date-time":"2025-11-03T13:49:58Z","timestamp":1762177798675,"version":"3.40.4"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T00:00:00Z","timestamp":1746230400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T00:00:00Z","timestamp":1746230400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["SN COMPUT. SCI."],"DOI":"10.1007\/s42979-025-03965-8","type":"journal-article","created":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T10:07:44Z","timestamp":1746266864000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Towards a Novel Approach for Modeling and Checking a Smart Agriculture-Aware Business Process"],"prefix":"10.1007","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4468-4929","authenticated-orcid":false,"given":"Najla","family":"Fattouch","sequence":"first","affiliation":[]},{"given":"Imen","family":"Ben Lahmar","sequence":"additional","affiliation":[]},{"given":"Khouloud","family":"Boukadi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,5,3]]},"reference":[{"key":"3965_CR1","doi-asserted-by":"publisher","DOI":"10.1016\/j.atech.2022.100042","volume":"2","author":"R Abbasi","year":"2022","unstructured":"Abbasi R, Martinez P, Ahmad R. The digitization of agricultural industry-a systematic literature review on agriculture 4.0. Smart Agric Technol. 2022;2: 100042.","journal-title":"Smart Agric Technol"},{"issue":"4","key":"3965_CR2","doi-asserted-by":"publisher","first-page":"3467","DOI":"10.1109\/COMST.2019.2938259","volume":"21","author":"G Aceto","year":"2019","unstructured":"Aceto G, Persico V, Pescap\u00e9 A. A survey on information and communication technologies for industry 4.0: State-of-the-art, taxonomies, perspectives, and challenges. IEEE Commun Surv Tutor. 2019;21(4):3467\u2013501.","journal-title":"IEEE Commun Surv Tutor"},{"key":"3965_CR3","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2023.101751","volume":"89","author":"JA Barriga","year":"2023","unstructured":"Barriga JA, Clemente PJ, P\u00e9rez-Toledano MA, Jurado-M\u00e1laga E, Hern\u00e1ndez J. Design, code generation and simulation of IoT environments with mobility devices by using model-driven development: SimulateIoT-Mobile. Pervas Mob Comput. 2023;89: 101751.","journal-title":"Pervas Mob Comput"},{"key":"3965_CR4","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2023.105058","volume":"293","author":"A B\u00e9dard","year":"2023","unstructured":"B\u00e9dard A, Hall\u00e9 S. Formal verification for event stream processing: model checking of BeepBeep stream processing pipelines. Inform Comput. 2023;293: 105058.","journal-title":"Inform Comput"},{"key":"3965_CR5","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2021.111007","volume":"180","author":"F Corradini","year":"2021","unstructured":"Corradini F, Fornari F, Polini A, Re B, Tiezzi F, Vandin A. A formal approach for the analysis of BPMN collaboration models. J Syst Softw. 2021;180: 111007.","journal-title":"J Syst Softw"},{"key":"3965_CR6","first-page":"29","volume":"36","author":"N Fattouch","year":"2022","unstructured":"Fattouch N, Lahmar IB, Boukadi K. Towards a meta-modeling approach for an iort-aware business process. Int Conf Model Simul. 2022;36:29\u201335.","journal-title":"Int Conf Model Simul"},{"issue":"3","key":"3965_CR7","first-page":"19","volume":"16","author":"N Fattouch","year":"2024","unstructured":"Fattouch N, Lahmar IB, Boukadi K. A model-driven approach for IoRT-aware business process engineering. Int J Comput Inform Syst Ind Manag Appl. 2024;16(3):19\u201319.","journal-title":"Int J Comput Inform Syst Ind Manag Appl"},{"key":"3965_CR8","doi-asserted-by":"crossref","unstructured":"Fattouch N, Lahmar IB, Boukadi K. A model-based approach for the transformation and verification of an IoRT-aware business process. In: International Conference on Intelligent Systems Design and Applications. Springer. 2023; 426\u2013435.","DOI":"10.1007\/978-3-031-64847-2_39"},{"key":"3965_CR9","doi-asserted-by":"crossref","unstructured":"Gore R, Diallo S, Lynch C, Padilla J. Augmenting bottom-up metamodels with predicates. J Artif Soc Soc Simul. 2017;20(1).","DOI":"10.18564\/jasss.3240"},{"key":"3965_CR10","unstructured":"ISO. Tractors and machinery for agriculture and forestry\u2014Serial control and communications data network. 2019."},{"key":"3965_CR11","unstructured":"ISO\/IWA. Professional farmer organization. 2019."},{"issue":"2","key":"3965_CR12","first-page":"4","volume":"10","author":"J Koehler","year":"2007","unstructured":"Koehler J, Vanhatalo J. Process anti-patterns: how to avoid the common traps of business process modeling. IBM WebSphere Dev Tech J. 2007;10(2):4.","journal-title":"IBM WebSphere Dev Tech J"},{"key":"3965_CR13","unstructured":"Kudo TN, Bulc\u00e3o-Neto RF, Vincenzi AMR. Metamodel quality requirements and evaluation (MQuaRE). 2020. CoRR arxiv:2008.09459."},{"key":"3965_CR14","unstructured":"Lehmann B-D, Alexander P, Lichter H, Hacks S, Aydin S, Sunetnanta T, Anwar T. Towards the identification of process anti-patterns in enterprise architecture models. In QuASoQ@ APSEC, 2020;47\u201354."},{"key":"3965_CR15","unstructured":"Meyer T. A symmetric petri net model of generic publish-subscribe systems for verification and business process conformance checking. In: K\u00f6hler-Bussmeier, M, Moldt, D, R\u00f6lke H (eds) Proceedings of the 2023 International Workshop on Petri Nets and Software Engineering (PNSE 2023), volume 3430 of CEUR Workshop Proceedings. 2023;88\u2013109."},{"key":"3965_CR16","doi-asserted-by":"crossref","unstructured":"Mishra A, Malik JS, others. Constraints faced by paddy farmers in adoption of climate smart agricultural practices: a comparative study. Indian J Extens Educat. 2024;60(2).","DOI":"10.48165\/IJEE.2024.602RN1"},{"issue":"2","key":"3965_CR17","first-page":"186","volume":"4","author":"B Ozdogan","year":"2017","unstructured":"Ozdogan B, Gacar A, Aktas H. Digital agriculture practices in the context of agriculture 4.0. J Econ Fin Account. 2017;4(2):186\u201393.","journal-title":"J Econ Fin Account"},{"key":"3965_CR18","unstructured":"Pegden CD, Sadowski RP, Shannon RE. Introduction to simulation using SIMAN. McGraw-Hill, Inc.. 1995."},{"issue":"4","key":"3965_CR19","first-page":"1","volume":"10","author":"J Recker","year":"2009","unstructured":"Recker J, Rosemann M, Indulska M, Green P. Business process modeling-a comparative analysis. J Assoc Inform Syst. 2009;10(4):1.","journal-title":"J Assoc Inform Syst"},{"key":"3965_CR20","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1016\/j.infsof.2016.01.001","volume":"75","author":"J Roa","year":"2016","unstructured":"Roa J, Chiotti O, Villarreal P. Specification of behavioral anti-patterns for the verification of block-structured collaborative business processes. Inform Softw Technol. 2016;75:148\u201370.","journal-title":"Inform Softw Technol"},{"issue":"1","key":"3965_CR21","first-page":"142","volume":"91","author":"AK Rohila","year":"2021","unstructured":"Rohila AK, Kumar A, Mukteshawar R, Ghanghas BS, Kumar R. Constraints in adoption of smart agricultural practices. Indian J Agric Sci. 2021;91(1):142\u20135.","journal-title":"Indian J Agric Sci"},{"key":"3965_CR22","unstructured":"Schimmelpfennig D. Farm profits and adoption of precision agriculture. In: United States Department of Agriculture Economic Research Service. 2016."},{"key":"3965_CR23","doi-asserted-by":"crossref","unstructured":"Silva JDSE, Ribeiro JAP, Adanvo VF, Mafra SB, Mendes LL, Li Y, de Souza RAA. A survey on the impact of intelligent surfaces in the terahertz communication channel models. Sens (Basel, Switzerl). 2024;24(1).","DOI":"10.3390\/s24010033"},{"key":"3965_CR24","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1016\/j.procs.2022.11.067","volume":"213","author":"S Nosova","year":"2022","unstructured":"Nosova S, Norkina A, Makar S, Gerasimenko T, Medvedeva O. Artificial intelligence as a driver of business process transformation. Proc Comput Sci. 2022;213:276\u201384.","journal-title":"Proc Comput Sci"},{"key":"3965_CR25","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/s11119-020-09728-0","volume":"22","author":"J Tummers","year":"2021","unstructured":"Tummers J, Kassahun A, Tekinerdogan B. Reference architecture design for farm management information systems: a multi-case study approach. Precis Agric. 2021;22:22\u201350.","journal-title":"Precis Agric"},{"issue":"4","key":"3965_CR26","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1111\/j.1365-2575.1993.tb00127.x","volume":"3","author":"Y Wand","year":"1993","unstructured":"Wand Y, Weber R. On the ontological expressiveness of information systems analysis and design grammars. Inform Syst J. 1993;3(4):217\u201337.","journal-title":"Inform Syst J"},{"key":"3965_CR27","doi-asserted-by":"crossref","unstructured":"Wanyama J, Bwambale E, Kiraga S, Katimbo A, Nakawuka P, Kabenge I, Oluk I. A systematic review of fourth industrial revolution technologies in smart irrigation: constraints, opportunities, and future prospects for sub-Saharan Africa. Smart Agric Technol. 2024;100412.","DOI":"10.1016\/j.atech.2024.100412"},{"key":"3965_CR28","doi-asserted-by":"publisher","DOI":"10.1016\/j.rcim.2023.102595","volume":"84","author":"X Yang","year":"2023","unstructured":"Yang X, Liu X, Zhang H, Fu L, Yu Y. Meta-model-based shop-floor digital twin architecture, modeling and application. Robot Comput Integr Manufact. 2023;84: 102595.","journal-title":"Robot Comput Integr Manufact"},{"key":"3965_CR29","doi-asserted-by":"crossref","unstructured":"Zaki NM, Helal IMA, Hassanein EE, Awad A. Efficient checking of timed ordered anti-patterns over graph-encoded event logs. Int Conf Model Data Eng. 2022;147\u2013161.","DOI":"10.1007\/978-3-031-21595-7_11"},{"issue":"11","key":"3965_CR30","doi-asserted-by":"publisher","first-page":"8616","DOI":"10.1109\/JIOT.2021.3118024","volume":"9","author":"L Zhou","year":"2021","unstructured":"Zhou L, Tu W, Wang C, Li Q. A heterogeneous access metamodel for efficient IoT remote sensing observation management: taking precision agriculture as an example. IEEE Internet Things J. 2021;9(11):8616\u201332.","journal-title":"IEEE Internet Things J"},{"key":"3965_CR31","doi-asserted-by":"publisher","first-page":"7800","DOI":"10.1109\/ACCESS.2022.3142894","volume":"10","author":"JA Barriga","year":"2022","unstructured":"Barriga JA, Clemente PJ, Hern\u00e1ndez J, P\u00e9rez-Toledano MA. SimulateIoT-FIWARE: domain specific language to design, code generation and execute IoT simulation environments on FIWARE. IEEE Access. 2022;10:7800\u201322.","journal-title":"IEEE Access"},{"key":"3965_CR32","doi-asserted-by":"publisher","first-page":"1067","DOI":"10.1007\/s11119-020-09770-y","volume":"22","author":"D Groeneveld","year":"2021","unstructured":"Groeneveld D, Tekinerdogan B, Garousi V, Catal C. A domain-specific language framework for farm management information systems in precision agriculture. Precis Agric. 2021;22:1067\u2013106.","journal-title":"Precis Agric"},{"key":"3965_CR33","doi-asserted-by":"crossref","unstructured":"Hasibe A. Smart agriculture and supply chain management systems with a focus on industry 5.0: the \u201csmartness\u201d logic of the Turkish agricultural field. Bus Challenges Opport Era Ind 5.0. 2025;147\u2013172.","DOI":"10.1108\/978-1-83549-676-320251009"},{"key":"3965_CR34","unstructured":"Fattouch N, Lahmar IB, Boukadi K. A comprehensive architecture for an IoRT-aware Business Process outsourcing into Fog and Cloud computing. Tunis Algerian Joint Conf Appl Computi. 2021;164\u2013172."},{"issue":"2","key":"3965_CR35","doi-asserted-by":"publisher","first-page":"479","DOI":"10.3390\/s25020479","volume":"25","author":"GO Pimentel","year":"2025","unstructured":"Pimentel GO, Dos Santos MF, Lima J, Mercorelli P, Fernandes FM. An over-actuated hexacopter tilt-rotor UAV prototype for agriculture of precision: modeling and control. Sens (Basel Switzerl). 2025;25(2):479.","journal-title":"Sens (Basel Switzerl)"},{"issue":"2","key":"3965_CR36","first-page":"1","volume":"15","author":"E Suryani","year":"2024","unstructured":"Suryani E, Hendrawan RA, Mudjahidin M, Damanhuri D, Muhandhis I, Az-Zahra A, Yan-Chou S, Rony M, Masyhudi AJ. Agriculture system modeling to increase productivity and production through sustainable resource management. J Agric Sci. 2024;15(2):1\u201310.","journal-title":"J Agric Sci"}],"container-title":["SN Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s42979-025-03965-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s42979-025-03965-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s42979-025-03965-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T10:07:53Z","timestamp":1746266873000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s42979-025-03965-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,3]]},"references-count":36,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2025,6]]}},"alternative-id":["3965"],"URL":"https:\/\/doi.org\/10.1007\/s42979-025-03965-8","relation":{},"ISSN":["2661-8907"],"issn-type":[{"value":"2661-8907","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,5,3]]},"assertion":[{"value":"9 January 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 April 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 May 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Decarations"}},{"value":"No conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of Interest"}},{"value":"No Humans and\/or Animals were used in research.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Research Involving Humans and\/or Animals"}}],"article-number":"441"}}