{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T19:06:10Z","timestamp":1743015970301,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030325046"},{"type":"electronic","value":"9783030325053"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-32505-3_5","type":"book-chapter","created":{"date-parts":[[2019,10,25]],"date-time":"2019-10-25T23:30:14Z","timestamp":1572046214000},"page":"76-90","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Clinical Pathways Formal Modelling Using Bigraphical Reactive Systems"],"prefix":"10.1007","author":[{"given":"Fateh","family":"Latreche","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdelkader","family":"Moudjari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hichem","family":"Talbi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,10,22]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Bowles, J., Caminati, M.B., Cha, S.: An integrated framework for verifying multiple care pathways. In: 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE), pp. 1\u20138. IEEE (2017)","DOI":"10.1109\/TASE.2017.8285628"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Braun, R., Schlieter, H., Burwitz, M., Esswein, W.: BPMN4CP: design and implementation of a BPMN extension for clinical pathways. In: 2014 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), pp. 9\u201316. IEEE (2014)","DOI":"10.1109\/BIBM.2014.6999261"},{"key":"5_CR3","unstructured":"Burwitz, M., Schlieter, H., Esswein, W.: Modeling clinical pathways-design and application of a domain-specific modeling language. Wirtschaftsinformatik Proceedings, pp. 1325\u20131339 (2013)"},{"issue":"6","key":"5_CR4","doi-asserted-by":"publisher","first-page":"773","DOI":"10.1016\/j.rmed.2009.12.017","volume":"104","author":"BR Celli","year":"2010","unstructured":"Celli, B.R.: Predictors of mortality in COPD. Respir. Med. 104(6), 773\u2013779 (2010)","journal-title":"Respir. Med."},{"key":"5_CR5","unstructured":"Clavel, M., et al.: Maude manual (version 2.7), March 2015"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71999-1","volume-title":"All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic","author":"M Clavel","year":"2007","unstructured":"Clavel, M., et al.: All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic. LNCS, vol. 4350. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71999-1"},{"issue":"7","key":"5_CR7","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1111\/j.1365-2934.2006.00702.x","volume":"14","author":"L De Bleser","year":"2006","unstructured":"De Bleser, L., Depreitere, R., Waele, K.D., Vanhaecht, K., Vlayen, J., Sermeus, W.: Defining pathways. J. Nurs. Manag. 14(7), 553\u2013563 (2006)","journal-title":"J. Nurs. Manag."},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L de Moura","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Faber, J.: A timed model for healthcare workflows based on CSP. In: Proceedings of the 4th International Workshop on Software Engineering in Health Care, pp. 1\u20137. IEEE Press (2012)","DOI":"10.1109\/SEHC.2012.6227002"},{"key":"5_CR10","unstructured":"Faithfull, A.J., Perrone, G., Hildebrandt, T.T.: Big red: a development environment for bigraphs. Electron. Commun. EASST 61 (2013)"},{"key":"5_CR11","unstructured":"for Health, F.N.A.: Guide du parcours de soins: Bronchopneumopathie chronique obstructive (2014). https:\/\/www.has-sante.fr\/portail\/upload\/docs\/application\/pdf\/2012-04\/guide_parcours_de_soins_bpco_finale.pdf"},{"key":"5_CR12","unstructured":"H\u00f8jsgaard, E.: Bigraphical Languages and their Simulation. Ph.D. thesis, IT University of Copenhagen (2012)"},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1016\/j.simpat.2015.09.003","volume":"60","author":"K Hu","year":"2016","unstructured":"Hu, K., Lei, L., Tsai, W.T.: Multi-tenant verification-as-a-service (VaaS) in a cloud. Simul. Model. Pract. Theory 60, 122\u2013143 (2016)","journal-title":"Simul. Model. Pract. Theory"},{"issue":"2","key":"5_CR14","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1504\/IJCCBS.2017.084915","volume":"7","author":"F Latreche","year":"2017","unstructured":"Latreche, F., Belala, F.: A layered petri net model to formally analyse time critical web service composition. IJCCBS 7(2), 119\u2013137 (2017)","journal-title":"IJCCBS"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-642-34005-5_10","volume-title":"Rewriting Logic and Its Applications","author":"D Lepri","year":"2012","unstructured":"Lepri, D., \u00c1brah\u00e1m, E., \u00d6lveczky, P.C.: Timed CTL model checking in real-time maude. In: Dur\u00e1n, F. (ed.) WRLA 2012. LNCS, vol. 7571, pp. 182\u2013200. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34005-5_10"},{"issue":"1\u20132","key":"5_CR16","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/s10696-017-9283-9","volume":"30","author":"C Mahulea","year":"2018","unstructured":"Mahulea, C., Mahulea, L., Soriano, J.M.G., Colom, J.M.: Modular Petri net modeling of healthcare systems. Flex. Serv. Manuf. J. 30(1\u20132), 329\u2013357 (2018)","journal-title":"Flex. Serv. Manuf. J."},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1016\/j.entcs.2004.06.020","volume":"117","author":"N Mart\u00ed-Oliet","year":"2005","unstructured":"Mart\u00ed-Oliet, N., Meseguer, J., Verdejo, A.: Towards a strategy language for maude. Electron. Notes Theor. Comput. Sci. 117, 417\u2013441 (2005)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"7\u20138","key":"5_CR18","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1016\/j.jlap.2012.06.003","volume":"81","author":"J Meseguer","year":"2012","unstructured":"Meseguer, J.: Twenty years of rewriting logic. J. Log. Algebraic Program. 81(7\u20138), 721\u2013781 (2012)","journal-title":"J. Log. Algebraic Program."},{"key":"5_CR19","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.entcs.2008.04.002","volume":"209","author":"R Milner","year":"2008","unstructured":"Milner, R.: Bigraphs and their algebra. Electron. Notes Theor. Comput. Sci. 209, 5\u201319 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"5_CR20","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511626661","volume-title":"The Space and Motion of Communicating Agents","author":"R Milner","year":"2009","unstructured":"Milner, R.: The Space and Motion of Communicating Agents. Cambridge University Press, Cambridge (2009)"},{"key":"5_CR21","series-title":"Lecture Notes in Networks and Systems","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-030-05481-6_22","volume-title":"Modelling and Implementation of Complex Systems","author":"A Moudjari","year":"2019","unstructured":"Moudjari, A., Latreche, F., Talbi, H.: Meta-ECATNets for modelling and analyzing clinical pathways. In: Chikhi, S., Amine, A., Chaoui, A., Saidouni, D.E. (eds.) MISC 2018. LNNS, vol. 64, pp. 289\u2013298. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-05481-6_22"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Oueida, S., Kotb, Y., Kadry, S., Ionescu, S.: Healthcare operation improvement based on simulation of cooperative resource preservation nets for none-consumable resources. Complexity 2018 (2018)","DOI":"10.1155\/2018\/4102968"},{"key":"5_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0030541","volume-title":"Isabelle: A Generic Theorem Prover","author":"LC Paulson","year":"1994","unstructured":"Paulson, L.C.: Isabelle: A Generic Theorem Prover, vol. 828. Springer, Heidelberg (1994). https:\/\/doi.org\/10.1007\/BFb0030541"},{"issue":"2","key":"5_CR24","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/s11334-013-0210-2","volume":"9","author":"G Perrone","year":"2013","unstructured":"Perrone, G., Debois, S., Hildebrandt, T.T.: A verification environment for bigraphs. Innov. Syst. Softw. Eng. 9(2), 95\u2013104 (2013)","journal-title":"Innov. Syst. Softw. Eng."},{"key":"5_CR25","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/j.procs.2015.08.335","volume":"63","author":"M Shitkova","year":"2015","unstructured":"Shitkova, M., Taratukhin, V., Becker, J.: Towards a methodology and a tool for modeling clinical pathways. Procedia Comput. Sci. 63, 205\u2013212 (2015)","journal-title":"Procedia Comput. Sci."},{"key":"5_CR26","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/j.rmed.2018.06.007","volume":"140","author":"N Siafakas","year":"2018","unstructured":"Siafakas, N., Bizymi, N., Mathioudakis, A., Corlateanu, A.: Early versus mild chronic obstructive pulmonary disease (COPD). Respir. Med. 140, 127\u2013131 (2018)","journal-title":"Respir. Med."}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2019"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-32505-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T16:56:47Z","timestamp":1710349007000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-32505-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030325046","9783030325053"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-32505-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"22 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTAC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Colloquium on Theoretical Aspects of Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hammamet","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tunisia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 November 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ictac2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.redcad.org\/events\/ictac2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}