{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,26]],"date-time":"2025-07-26T09:28:41Z","timestamp":1753522121683,"version":"3.38.0"},"reference-count":30,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2012,3,1]],"date-time":"2012-03-01T00:00:00Z","timestamp":1330560000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2012,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Pervasive environments offer an increasing number of services to a large number of people moving within these environments, including timely information about where to go and when, and contextual information about the surrounding environment. This information may be conveyed to people through public displays or direct to a person\u2019s mobile phone. People using these services interact with the system but they are also meeting other people and performing other activities as relevant opportunities arise. The design of such systems and the analysis of collective dynamic behaviour of people within them is a challenging problem. We present results on a novel usage of a scalable analysis technique in this context. We show the validity of an approach based on stochastic process-algebraic models by focussing on a representative example, i.e. emergency egress. The chosen case study has the advantage that detailed data is available from studies employing alternative analysis methods, making cross-methodology comparison possible. We also illustrate how realistic, context-dependent human behaviour, often observed in emergency egress, can naturally be embedded in the models, and how the effect of such behaviour on evacuation can be analysed in an efficient and scalable way. The proposed approach encompasses both the agent modelling viewpoint, as system behaviour emerges from specific (discrete) agent interaction, and the population viewpoint, when classes of homogeneous individuals are considered for a (continuous) approximation of overall system behaviour.<\/jats:p>","DOI":"10.1007\/s00165-011-0188-1","type":"journal-article","created":{"date-parts":[[2011,7,4]],"date-time":"2011-07-04T05:32:27Z","timestamp":1309757547000},"page":"267-302","source":"Crossref","is-referenced-by-count":18,"title":["Scalable context-dependent analysis of emergency egress models"],"prefix":"10.1145","volume":"24","author":[{"given":"M.","family":"Massink","sequence":"first","affiliation":[{"name":"Istituto di Scienza e Tecnologie dell\u2019Informazione \u201cA. Faedo\u201d, Consiglio Nazionale delle Ricerche, Via Moruzzi 1, 56121, Pisa, Italy"}]},{"given":"D.","family":"Latella","sequence":"additional","affiliation":[{"name":"Istituto di Scienza e Tecnologie dell\u2019Informazione \u201cA. Faedo\u201d, Consiglio Nazionale delle Ricerche, Via Moruzzi 1, 56121, Pisa, Italy"}]},{"given":"A.","family":"Bracciali","sequence":"additional","affiliation":[{"name":"Department of Computing Science and Mathematics, University of Stirling, Stirling, UK"}]},{"given":"M. D.","family":"Harrison","sequence":"additional","affiliation":[{"name":"School of Computing Science, Newcastle University, Newcastle upon Tyne, UK"}]},{"given":"J.","family":"Hillston","sequence":"additional","affiliation":[{"name":"School of Informatics, University of Edinburgh, Edinburgh, UK"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","doi-asserted-by":"crossref","unstructured":"Bracciali A Hillston J Latella D Massink M (2010) Reconciling population and agent models for crowd dynamics. In: Preliminary Proceedings of the Third International Workshop on Logics Agents and Mobility (LAM2010). Federated Logic Conferences (FLoC) pp 3\u201317","DOI":"10.29007\/7cgj"},{"key":"e_1_2_1_2_2_2","unstructured":"Bio-PEPA Home Page. http:\/\/www.biopepa.org\/"},{"key":"e_1_2_1_2_3_2","doi-asserted-by":"crossref","unstructured":"Ciocchetta F Duguid A Gilmore S Guerriero ML Hillston J (2009) The Bio-PEPA Tool Suite. In: Proceedings of the 6th International Conference on Quantitative Evaluation of SysTems (QEST 2009). IEEE Computer Society New Jersey pp 309\u2013310","DOI":"10.1109\/QEST.2009.27"},{"key":"e_1_2_1_2_4_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.12.105"},{"key":"e_1_2_1_2_5_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.12.008"},{"key":"e_1_2_1_2_6_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.02.037"},{"key":"e_1_2_1_2_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/376929.376941"},{"key":"e_1_2_1_2_8_2","doi-asserted-by":"crossref","unstructured":"Duguid A Gilmore ST Guerriero ML Hillston J Loewe L (2009) Design and development of software tools for bio-pepa. In: Dunkin A Ingalls RG Y\u00fccesan E Rossetti MD Hill R Johansson B (eds) Winter Simulation Conference. WSC pp 956\u2013967","DOI":"10.1109\/WSC.2009.5429725"},{"key":"e_1_2_1_2_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45522-1_9"},{"key":"e_1_2_1_2_10_2","doi-asserted-by":"publisher","DOI":"10.1021\/j100540a008"},{"key":"e_1_2_1_2_11_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.02.001"},{"key":"e_1_2_1_2_12_2","doi-asserted-by":"crossref","unstructured":"Hillston J (1996) A compositional approach to performance modelling. Distinguished dissertation in computer Science. Cambridge University Press Cambridge","DOI":"10.1017\/CBO9780511569951"},{"key":"e_1_2_1_2_13_2","doi-asserted-by":"crossref","unstructured":"Hillston J (2005) Fluid flow approximation of PEPA models. In Proceedings of QEST\u201905 IEEE Computer Society New Jersey pp 33\u201343","DOI":"10.1109\/QEST.2005.12"},{"key":"e_1_2_1_2_14_2","doi-asserted-by":"crossref","unstructured":"Harrison MD Massink M Latella D (2009) Engineering crowd interaction within smart environments. In: EICS 2009\u2014ACM SIGCHI Symposium on Engineering Interactive Computing Systems. ACM New York pp 117\u2013122","DOI":"10.1145\/1570433.1570456"},{"key":"e_1_2_1_2_15_2","unstructured":"Kisko TM Francis RL Nobel CR (1998) Evacnet4 user\u2019s guide. http:\/\/www.ise.ufl.edu\/kisko\/files\/evacnet\/EVAC4UG.HTM."},{"issue":"2","key":"e_1_2_1_2_16_2","first-page":"365","article-title":"langevin equations for modelling evacuation processes","volume":"3","author":"Kosi\u0144skia RA","year":"2010","journal-title":"Acta Phys Polonica B Proc Suppl"},{"key":"e_1_2_1_2_17_2","doi-asserted-by":"crossref","unstructured":"Kray C Kortuem G Kruger A (2005) Adaptive navigation support with public displays. In: Proceedings of IUI 2005. ACM Press New York pp 326\u2013328","DOI":"10.1145\/1040830.1040916"},{"key":"e_1_2_1_2_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/1530873.1530882"},{"key":"e_1_2_1_2_19_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.75"},{"key":"e_1_2_1_2_20_2","doi-asserted-by":"publisher","DOI":"10.2307\/3212147"},{"issue":"4","key":"e_1_2_1_2_21_2","first-page":"35","article-title":"Smart signs show you the way","volume":"22","author":"Lijding MEM","year":"2007","journal-title":"I\/O Vivat"},{"key":"e_1_2_1_2_22_2","doi-asserted-by":"crossref","unstructured":"Massink M Bracciali A Latella D Harrison M (2010) A scalable fluid flow process algebraic approach to emergency egress analysis. In: Proceedings of the 8th IEEE International Conference on Software Engineering And Formal Methods (SEFM2010). IEEE New Jersey pp 169\u2013180","DOI":"10.1109\/SEFM.2010.22"},{"key":"e_1_2_1_2_23_2","doi-asserted-by":"crossref","unstructured":"Massink M Harrison M Latella D (2010) Scalable analysis of collective behaviour in smart service systems. In: Proceedings of the 25th Annual ACM Symposium on Applied Computing vol 2. ACM New Jersey pp 1173\u20131180","DOI":"10.1145\/1774088.1774337"},{"key":"e_1_2_1_2_24_2","unstructured":"Santos G Aguirre BE (2005) A critical review of emergency evacuation simulation models. In: Proceedings of the NIST Workshop on Building Occupant Movement during Fire Emergencies June 10\u201311 2004 pages 27\u201352. NIST\/BFRL Publications Online Gaithersburg MD USA"},{"key":"e_1_2_1_2_25_2","doi-asserted-by":"crossref","unstructured":"Swain AD Guttman HE (1983) Handbook of human reliability analysis with emphasis on nuclear power plant applications. Technical Report NUREG\/CR-1278 SAND80-0200 RX AN U.S. Nuclear Regulatory Commission. Final Report","DOI":"10.2172\/5752058"},{"key":"e_1_2_1_2_26_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2010.01.006"},{"key":"e_1_2_1_2_27_2","unstructured":"Still GK (2000) Crowd dynamics Dissertation. University of Warwick"},{"key":"e_1_2_1_2_28_2","doi-asserted-by":"crossref","unstructured":"ter Beek MH Faconti G Massink M Palanque P and Winckler M (2009) Resilience of interaction techniques to interrupts. In: INTERACT 2009\u2014Human\u2013Computer Interaction. 12th IFIP TC 13 International Conference. Proceedings vol I. LNCS vol 5726. Springer Berlin pp 494\u2013509","DOI":"10.1007\/978-3-642-03655-2_56"},{"key":"e_1_2_1_2_29_2","doi-asserted-by":"crossref","unstructured":"Tribastone M Gilmore S Hillston J (2010) Scalable differential analysis of process algebra models. Trans Softw Eng (in press)","DOI":"10.1109\/QEST.2010.45"},{"key":"e_1_2_1_2_30_2","doi-asserted-by":"crossref","unstructured":"Tribastone M (2007) The PEPA plug-in project. In: QEST \u201907: Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems Washington DC USA. IEEE Computer Society New Jersey pp 53\u201354","DOI":"10.1109\/QEST.2007.34"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-011-0188-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00165-011-0188-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s00165-011-0188-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T21:48:28Z","timestamp":1741297708000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s00165-011-0188-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3]]},"references-count":30,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["10.1007\/s00165-011-0188-1"],"URL":"https:\/\/doi.org\/10.1007\/s00165-011-0188-1","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"type":"print","value":"0934-5043"},{"type":"electronic","value":"1433-299X"}],"subject":[],"published":{"date-parts":[[2012,3]]}}}