{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T19:13:25Z","timestamp":1757618005080,"version":"3.44.0"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031873447"},{"type":"electronic","value":"9783031873454"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-87345-4_2","type":"book-chapter","created":{"date-parts":[[2025,4,28]],"date-time":"2025-04-28T00:33:40Z","timestamp":1745800420000},"page":"13-26","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The Role of\u00a0Interfaces in\u00a0Modelling"],"prefix":"10.1007","author":[{"given":"Tristan","family":"Caulfield","sequence":"first","affiliation":[]},{"given":"Marius-Constantin","family":"Ilau","sequence":"additional","affiliation":[]},{"given":"Manuela","family":"Bujorianu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,4,29]]},"reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/j.tcs.2015.11.035","volume":"614","author":"G Anderson","year":"2016","unstructured":"Anderson, G., Pym, D.: A calculus and logic of bunched resources and processes. Theor. Comput. Sci. 614, 63\u201396 (2016)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-1-4614-1981-5_10","volume-title":"Economics of Information Security and Privacy III","author":"A Baldwin","year":"2013","unstructured":"Baldwin, A., et al.: Economic methods and decision making by security professionals. In: Schneier, B. (ed.) Economics of Information Security and Privacy III, pp. 213\u2013238. Springer, New York (2013). https:\/\/doi.org\/10.1007\/978-1-4614-1981-5_10"},{"key":"2_CR3","series-title":"Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/978-3-030-97124-3_23","volume-title":"Simulation Tools and Techniques","author":"A Baldwin","year":"2022","unstructured":"Baldwin, A., Caulfield, T., Ilau, M.-C., Pym, D.: Modelling organizational recovery. In: Jiang, D., Song, H. (eds.) SIMUtools 2021. LNICST, vol. 424, pp. 284\u2013314. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-97124-3_23"},{"doi-asserted-by":"crossref","unstructured":"Beautement, A., et al.: Modelling the human and technological costs and benefits of usb memory stick security. In: Managing Information Risk and the Economics of Security, pp. 141\u2013163 (2009)","key":"2_CR4","DOI":"10.1007\/978-0-387-09762-6_7"},{"doi-asserted-by":"crossref","unstructured":"Beres, Y., Griffin, J., Shiu, S., Heitman, M., Markle, D., Ventura, P.: Analysing the performance of security solutions to reduce vulnerability exposure window. In: 2008 Annual Computer Security Applications Conference (ACSAC), pp. 33\u201342 (2008)","key":"2_CR5","DOI":"10.1109\/ACSAC.2008.42"},{"doi-asserted-by":"crossref","unstructured":"Beresnevichiene, Y.,\u00a0Pym, D.,\u00a0Shiu, S.: Decision support for systems security investment. In: 2010 IEEE\/IFIP Network Operations and Management Symposium Workshops, pp. 118\u2013125 (2010)","key":"2_CR6","DOI":"10.1109\/NOMSW.2010.5486590"},{"doi-asserted-by":"crossref","unstructured":"Birtwistle, G.: Demos\u2014discrete event modelling on Simula. Macmillan (1979)","key":"2_CR7","DOI":"10.1007\/978-1-4899-6685-8"},{"unstructured":"Birtwistle, G.: Demos implementation guide and reference manual. Technical Report 81\/70\/22, University of Calgary (1981)","key":"2_CR8"},{"doi-asserted-by":"crossref","unstructured":"Bujorianu, M., Caulfield, T., Ilau, M.C., Pym, D.: Interfaces in ecosystems: concepts, form, and implementation. In: Submitted to SimuTools 2024 (2024)","key":"2_CR9","DOI":"10.1007\/978-3-031-87345-4_3"},{"doi-asserted-by":"crossref","unstructured":"Calcagno, C., O\u2019Hearn, P.W., Yang, H.: Local action and abstract separation logic. In: 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), pp. 366\u2013378 (2007)","key":"2_CR10","DOI":"10.1109\/LICS.2007.30"},{"key":"2_CR11","series-title":"Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/978-3-030-97124-3_21","volume-title":"Simulation Tools and Techniques","author":"T Caulfield","year":"2022","unstructured":"Caulfield, T., Ilau, M.-C., Pym, D.: Engineering ecosystem models: semantics and\u00a0pragmatics. In: Jiang, D., Song, H. (eds.) SIMUtools 2021. LNICST, vol. 424, pp. 236\u2013258. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-97124-3_21"},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-319-07620-1_21","volume":"8533","author":"T Caulfield","year":"2014","unstructured":"Caulfield, T., Pym, D., Williams, J.: Compositional security modelling: structure, economics, and behaviour. Lect. Notes Comput. Sci. 8533, 233\u2013245 (2014)","journal-title":"Lect. Notes Comput. Sci."},{"unstructured":"Collinson, M.,\u00a0Monahan, B.,\u00a0Pym, D.: A Discipline of Math. Systems Modelling. College Publns. (2012)","key":"2_CR13"},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"959","DOI":"10.1017\/S0960129509990077","volume":"19","author":"M Collinson","year":"2009","unstructured":"Collinson, M., Pym, D.: Algebra and logic for resource-based systems modelling. Math. Struct. Comput. Sci. 19, 959\u20131027 (2009)","journal-title":"Math. Struct. Comput. Sci."},{"unstructured":"Collinson, M., Monahan, B., Pym, D.: Semantics for structured systems modelling and simulation. In: Proceedings of Simutools 2010. ACM Digital Library (2010). ISBN 78-963-9799-87-5","key":"2_CR15"},{"issue":"9","key":"2_CR16","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1145\/365813.365819","volume":"9","author":"O-J Dahl","year":"1966","unstructured":"Dahl, O.-J., Nygaard, K.: Simula: an algol-based simulation language. Commun. ACM 9(9), 671\u2013678 (1966)","journal-title":"Commun. ACM"},{"unstructured":"Hewlett-Packard Laboratories. Security Analytics. https:\/\/www.hpl.hp.com\/news\/2011\/oct-dec\/security_analytics.html. Accessed 10 May 2021","key":"2_CR17"},{"doi-asserted-by":"crossref","unstructured":"Lawrence, P.R., Lorsch, J.W.: Differentiation and integration in complex organizations. Admin. Sci. Q. 1\u201347 (1967)","key":"2_CR18","DOI":"10.2307\/2391211"},{"issue":"Summer","key":"2_CR19","first-page":"12","volume":"4","author":"D Pym","year":"2010","unstructured":"Pym, D., Shiu, S.: Security analytics: bringing science to security management. IISP Pulse 4(Summer), 12\u201313 (2010)","journal-title":"IISP Pulse"},{"unstructured":"Caulfield, T.: SysModels. https:\/\/github.com\/tristanc\/SysModels. Accessed 22 Mar 2023","key":"2_CR20"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Simulation Tools and Techniques"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-87345-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,6]],"date-time":"2025-09-06T14:12:55Z","timestamp":1757167975000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-87345-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031873447","9783031873454"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-87345-4_2","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"type":"print","value":"1867-8211"},{"type":"electronic","value":"1867-822X"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"29 April 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SIMUtools","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Simulation Tools and Techniques","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bratislava","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Slovakia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 December 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 December 2024","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":"simutools2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/simutools.eai-conferences.org\/2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}