{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T22:00:01Z","timestamp":1757628001493,"version":"3.44.0"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032028662"},{"type":"electronic","value":"9783032028679"}],"license":[{"start":{"date-parts":[[2025,8,31]],"date-time":"2025-08-31T00:00:00Z","timestamp":1756598400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,31]],"date-time":"2025-08-31T00:00:00Z","timestamp":1756598400000},"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":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-02867-9_8","type":"book-chapter","created":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T05:44:38Z","timestamp":1756532678000},"page":"106-125","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Modeling, Formalizing, and\u00a0Animating Environment-Aware BPMN Collaborations"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6767-2184","authenticated-orcid":false,"given":"Flavio","family":"Corradini","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0002-9639-0762","authenticated-orcid":false,"given":"Luca","family":"Mozzoni","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0003-8513-5894","authenticated-orcid":false,"given":"Jessica","family":"Piccioni","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5374-2364","authenticated-orcid":false,"given":"Barbara","family":"Re","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6872-0616","authenticated-orcid":false,"given":"Lorenzo","family":"Rossi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4740-7521","authenticated-orcid":false,"given":"Francesco","family":"Tiezzi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,8,31]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Corradini , F., Mozzoni , L., Piccioni , J., Re , B., Rossi , L., Tiezz, F.: Modeling, Formalizing, and Animating Environment-Aware BPMN Collaborations. Technical Report. https:\/\/tinyurl.com\/techreportBPM2025","DOI":"10.1007\/978-3-032-02867-9_8"},{"issue":"4","key":"8_CR2","first-page":"85","volume":"1","author":"I Afyouni","year":"2012","unstructured":"Afyouni, I., Ray, C., Christophe, C.: Spatial models for context-aware indoor navigation systems: a survey. J. Spat. Inf. Sci. 1(4), 85\u2013123 (2012)","journal-title":"J. Spat. Inf. Sci."},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/s00779-004-0270-2","volume":"9","author":"C Becker","year":"2005","unstructured":"Becker, C., D\u00fcrr, F.: On location models for ubiquitous computing. Pers. Ubiquit. Comput. 9, 20\u201331 (2005)","journal-title":"Pers. Ubiquit. Comput."},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1023\/B:JINT.0000026090.00222.40","volume":"39","author":"D Cagigas","year":"2004","unstructured":"Cagigas, D., Abascal, J.: Hierarchical path search with partial materialization of costs for a smart wheelchair. J. Intell. Rob. Syst. 39, 409\u2013431 (2004)","journal-title":"J. Intell. Rob. Syst."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Chiu, H.H., Wang, M.S.: Extending event elements of business process model for internet of things. In: CIT\/IUCC\/DASC\/PICOM, pp. 783\u2013788. IEEE (2015)","DOI":"10.1109\/CIT\/IUCC\/DASC\/PICOM.2015.115"},{"key":"8_CR6","doi-asserted-by":"publisher","unstructured":"Corradini, F., Mozzoni, L., Piccioni, J., Re, R., Rossi, L., Tiezzi, F.: On the interplay between BPMN collaborations and the physical environment. In: Marrella, A., Resinas, M., Jans, M., Rosemann, M. (eds.) BPM 2024. LNCS, vol. 14940, pp. 93\u2013110. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-70396-66","DOI":"10.1007\/978-3-031-70396-66"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Decker, M., et\u00a0al.: Modeling mobile workflows with BPMN. In: ICMB-GMR, pp. 272\u2013279. IEEE (2010)","DOI":"10.1109\/ICMB-GMR.2010.12"},{"issue":"4","key":"8_CR8","first-page":"343","volume":"31","author":"S Dobson","year":"2016","unstructured":"Dobson, S., et al.: Spatial awareness in pervasive ecosystems. KER 31(4), 343\u2013366 (2016)","journal-title":"KER"},{"key":"8_CR9","unstructured":"D\u00f6rndorfer, J., Seel, C.: A framework to model and implement mobile context-aware business applications. In: Modellierung 2018, pp. 23\u201338. Gesellschaft f\u00fcr Informatik e.V. (2018)"},{"key":"8_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9666-4","volume-title":"Multi-hierarchical Representation of Large-Scale Space: Applications to Mobile Robots","author":"JA Fern\u00e1ndez","year":"2001","unstructured":"Fern\u00e1ndez, J.A., Gonz\u00e1lez, J.: Multi-hierarchical Representation of Large-Scale Space: Applications to Mobile Robots. Springer, Cham (2001). https:\/\/doi.org\/10.1007\/978-94-015-9666-4"},{"key":"8_CR11","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/978-3-030-21297-1_11","volume-title":"Information Systems Engineering in Responsible Information Systems - CAiSE 2019","author":"P Grefen","year":"2019","unstructured":"Grefen, P., Brouns, N., Ludwig, H., Serral, E.: Co-location specification for IoT-aware collaborative business processes. In: Cappiello, C., Ruiz, M. (eds.) CAiSE 2019. LNBIP, vol. 350, pp. 120\u2013132. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-21297-1_11"},{"key":"8_CR12","unstructured":"Hu, H., Lee, D.L.: Semantic location modeling for location navigation in mobile environment. In: Mobile Data Management, pp. 52\u201361. IEEE (2004)"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Hussein, S.H., Lu, H., Pedersen, T.B.: Towards a unified model of outdoor and indoor spaces. In: Advances in Geographic Information Systems, pp. 522\u2013525. ACM (2012)","DOI":"10.1145\/2424321.2424405"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Jensen, S.K., et\u00a0al.: Outdoor-indoor space: unified modeling and shortest path search. In: Indoor Spatial Awareness, pp. 35\u201342. ACM (2016)","DOI":"10.1145\/3005422.3005427"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/3-540-45809-3_20","volume-title":"UbiComp 2002: Ubiquitous Computing","author":"C Jiang","year":"2002","unstructured":"Jiang, C., Steenkiste, P.: A hybrid location model with a computable location identifier for ubiquitous computing. In: Borriello, G., Holmquist, L.E. (eds.) UbiComp 2002. LNCS, vol. 2498, pp. 246\u2013263. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45809-3_20"},{"key":"8_CR16","unstructured":"Kozel, T.: BPMN mobilisation. In: ECCS, pp. 307\u2013310. WSEAS (2010)"},{"key":"8_CR17","series-title":"Lecture Notes in Geoinformation and Cartography","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/978-3-319-16787-9_18","volume-title":"AGILE 2015","author":"W Kuhn","year":"2015","unstructured":"Kuhn, W., Ballatore, A.: Designing a for spatial computing. In: Ba\u00e7\u00e3o, F., Santos, M.Y., Painho, M. (eds.) AGILE 2015. LNGC, pp. 309\u2013326. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-16787-9_18"},{"key":"8_CR18","unstructured":"Lorenz, B., Ohlbach, H.J., Stoffel, E.: A hybrid model for indoor spatial reasoning. In: GAR Workshop, pp.\u00a02\u20137. Citeseer (2006)"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Mazhar, S., Wu, P., Rosemann, M.: Designing complex socio-technical process systems \u2013 the airport example. BPMJ 25 (2018)","DOI":"10.1108\/BPMJ-09-2017-0241"},{"key":"8_CR20","unstructured":"OMG: Business process model and notation. (BPMN V2.0) (2011)"},{"key":"8_CR21","first-page":"17","volume":"60\u201361","author":"GD Plotkin","year":"2004","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. JLAMP 60\u201361, 17\u2013139 (2004)","journal-title":"JLAMP"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Poss, L., Sch\u00f6nig, S.: Location-aware business process modeling and execution. In: SoSyM, pp. 1\u201331 (2024)","DOI":"10.1007\/s10270-024-01224-7"},{"issue":"1","key":"8_CR23","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1504\/IJBPIM.2008.019347","volume":"3","author":"M Rosemann","year":"2008","unstructured":"Rosemann, M., et al.: Contextualisation of business processes. IJBPIM 3(1), 47\u201360 (2008)","journal-title":"IJBPIM"},{"key":"8_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-030-90870-6_12","volume-title":"Formal Methods","author":"R Saddem-Yagoubi","year":"2021","unstructured":"Saddem-Yagoubi, R., Poizat, P., Houhou, S.: Business processes meet spatial concerns: the sBPMN verification framework. In: Huisman, M., P\u0103s\u0103reanu, C., Zhan, N. (eds.) FM 2021. LNCS, vol. 13047, pp. 218\u2013234. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-90870-6_12"},{"key":"8_CR25","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-642-25160-3_5","volume-title":"Business Process Model and Notation","author":"LJR Stroppi","year":"2011","unstructured":"Stroppi, L.J.R., Chiotti, O., Villarreal, P.D.: Extending BPMN 2.0: method and tool support. In: Dijkman, R., Hofstetter, J., Koehler, J. (eds.) BPMN 2011. LNBIP, vol. 95, pp. 59\u201373. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-25160-3_5"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Worboys, M.: Modeling indoor space. In: ISA workshop. pp.\u00a01\u20136 (2011)","DOI":"10.1145\/2077357.2077358"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Zhu, X., et\u00a0al.: Exploring location-dependency in process modeling. BPMJ (2014)","DOI":"10.1108\/BPMJ-06-2013-0066"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-02867-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T05:38:53Z","timestamp":1757482733000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-02867-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,31]]},"ISBN":["9783032028662","9783032028679"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-02867-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,8,31]]},"assertion":[{"value":"31 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BPM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Business Process Management","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Seville","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 August 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bpm2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.bpm2025seville.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}