{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,17]],"date-time":"2026-08-17T15:14:44Z","timestamp":1786979684610,"version":"build-2736575974"},"reference-count":84,"publisher":"Association for Computing Machinery (ACM)","issue":"5","license":[{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100002347","name":"Bundesministerium f\u00fcr Bildung und Forschung","doi-asserted-by":"publisher","award":["01Is16043A"],"award-info":[{"award-number":["01Is16043A"]}],"id":[{"id":"10.13039\/501100002347","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006360","name":"Bundesministerium f\u00fcr Wirtschaft und Energie","doi-asserted-by":"publisher","award":["0325811A"],"award-info":[{"award-number":["0325811A"]}],"id":[{"id":"10.13039\/501100006360","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2019,11]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>Architectural design patterns (ADPs) are architectural solutions to common architectural design problems. They are an important concept in software architectures used for the design and analysis of architectures. An ADP usually constrains the design of an architecture and, in turn, guarantees some desired properties for architectures implementing it. Sometimes, however, the constraints imposed by an ADP do not lead to the claimed guarantee. Thus, applying such patterns for the design of architectures might result in architectures which do not fulfill their intended requirements. To address this problem, we propose an approach for the verification of ADPs, based on interactive theorem proving. To this end, we introduce a model for dynamic architectures and a language for the specification of ADPs over this model. Moreover, we propose a framework for the interactive verification of such specifications based on Isabelle\/HOL. In addition we describe an algorithm to map a specifi cation to a corresponding Isabelle\/HOL theory over our framework. To evaluate the approach, we implement it in Eclipse\/EMF and use it for the verification of four ADPs: variants of the Singleton, the Publisher-Subscriber, the Blackboard pattern, and a pattern for Blockchain architectures. With our approach we complement traditional approaches for the verification of architectures, which are usually based on automatic verification techniques such as model checking.<\/jats:p>","DOI":"10.1007\/s00165-019-00488-x","type":"journal-article","created":{"date-parts":[[2019,7,30]],"date-time":"2019-07-30T03:02:26Z","timestamp":1564455746000},"page":"541-610","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Interactive verification of architectural design patterns in FACTum"],"prefix":"10.1145","volume":"31","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2859-7673","authenticated-orcid":false,"given":"Diego","family":"Marmsoler","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik \u2013 Lehrstuhl IV (I4), Boltzmannstr. 3, 85748, Garching bei M\u00fcnchen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Habtom Kashay","family":"Gidey","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik \u2013 Lehrstuhl IV (I4), Boltzmannstr. 3, 85748, Garching bei M\u00fcnchen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","doi-asserted-by":"crossref","unstructured":"Allen R. Douence R. Garlan D.: Specifying and analyzing dynamic software architectures. In: Egidio A. (ed.) Fundamental approaches to software engineering. Lecture notes in computer science vol. 1382 pp. 21\u201337. Springer Berlin (1998)","DOI":"10.1007\/BFb0053581"},{"key":"e_1_2_1_2_2_2","doi-asserted-by":"publisher","DOI":"10.5555\/926062"},{"key":"e_1_2_1_2_3_2","unstructured":"Aguirre N Maibaum T (2002) Reasoning about reconfigurable object-based systems in a temporal logic setting. In: Proceedings of IDPT"},{"key":"e_1_2_1_2_4_2","unstructured":"Aguirre N Maibaum T (2002) A temporal logic approach to the specification of reconfigurable component-based systems. In: Automated software engineering. IEEE pp 271\u2013274"},{"key":"e_1_2_1_2_5_2","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004153"},{"key":"e_1_2_1_2_6_2","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/978-3-540-24849-1_3","article-title":"Locales and locale expressions in isabelle\/isar","volume":"3085","author":"Ballarin C","year":"2004","journal-title":"Lect Notes Comput Sci"},{"key":"e_1_2_1_2_7_2","volume-title":"Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions","author":"Bertot Y","year":"2013"},{"key":"e_1_2_1_2_8_2","volume-title":"Software architecture in practice","author":"Bass L","year":"2007"},{"key":"e_1_2_1_2_9_2","unstructured":"Bergner K (1996) Spezifikation gro\u00dfer Objektgeflechte mit Komponentendiagrammen. Ph.D. thesis Technische Universit\u00e4t M\u00fcnchen"},{"key":"e_1_2_1_2_10_2","doi-asserted-by":"publisher","DOI":"10.5555\/3074444"},{"key":"e_1_2_1_2_11_2","unstructured":"Broy M Facchi C Grosu R et al (1993) The requirement and design specification language spectrum \u2013 an informal introduction. Technical report Technische Universit\u00e4t M\u00fcnchen"},{"key":"e_1_2_1_2_12_2","doi-asserted-by":"crossref","unstructured":"Blanchette JC H\u00f6lzl J Lochbihler A Panny L Popescu A Traytel D (2014) Truly modular (co) datatypes for isabelle\/hol. In: International conference on interactive theorem proving. Springer pp 93\u2013110","DOI":"10.1007\/978-3-319-08970-6_7"},{"key":"e_1_2_1_2_13_2","first-page":"89","article-title":"Algebra of communicating processes","volume":"3","author":"Bergstra JA","year":"1986","journal-title":"CWI Monograph Ser"},{"key":"e_1_2_1_2_14_2","volume-title":"Pattern-oriented software architecture: a system of patterns","author":"Buschmann F","year":"1996"},{"key":"e_1_2_1_2_15_2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0014335"},{"key":"e_1_2_1_2_16_2","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxq005"},{"key":"e_1_2_1_2_17_2","doi-asserted-by":"crossref","unstructured":"Broy M (2014) A model of dynamic systems. In: Saddek B Yassine L Axel L (eds) From programs to systems. The systems perspective in computing volume 8415 of Lecture notes in computer science pp 39\u201353. Springer Berlin","DOI":"10.1007\/978-3-642-54848-2_3"},{"key":"e_1_2_1_2_18_2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0091-5","volume-title":"Specification and development of interactive systems: focus on streams, interfaces, and refinement","author":"Broy M","year":"2001"},{"key":"e_1_2_1_2_19_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.10.008"},{"key":"e_1_2_1_2_20_2","doi-asserted-by":"crossref","unstructured":"Castro PF Aguirre NM Pombo CGL Maibaum TSE (2010) Towards managing dynamic reconfiguration of software systems in a categorical setting. In: Lecture notes in computer science. Springer pp 306\u2013321","DOI":"10.1007\/978-3-642-14808-8_21"},{"key":"e_1_2_1_2_21_2","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050046"},{"key":"e_1_2_1_2_22_2","doi-asserted-by":"crossref","unstructured":"Canal C C\u00e1mara J Sala\u00fcn G (2012) Structural reconfiguration of systems under behavioral adaptation. Sci Comput Program 78(1):46\u201364. Special Section: Formal Aspects of Component Software (FACS'09)","DOI":"10.1016\/j.scico.2011.09.003"},{"key":"e_1_2_1_2_23_2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-9668-0_6","volume-title":"Parallel program design","author":"Chandy KM","year":"1989"},{"key":"e_1_2_1_2_24_2","unstructured":"Dashofy EM Van\u00a0der Hoek A Taylor RN (2001) A highly-extensible xml-based architecture description language. In: Working IEEE\/IFIP conference on software architecture 2001. Proceedings pp 103\u2013112. IEEE"},{"key":"e_1_2_1_2_25_2","doi-asserted-by":"crossref","unstructured":"Feiler PH Lewis BA Vestal S (2006) The sae architecture analysis & design language (aadl) a standard for engineering performance critical systems. In: Computer aided control system design control applications intelligent control. IEEE pp 1206\u20131211","DOI":"10.1109\/CACSD.2006.285483"},{"key":"e_1_2_1_2_26_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(96)00025-1"},{"key":"e_1_2_1_2_27_2","unstructured":"Fensel D Schnogge A (November 1997) Using kiv to specify and verify architectures of knowledge-based systems. In: Automated software engineering pp 71\u201380"},{"key":"e_1_2_1_2_28_2","doi-asserted-by":"crossref","unstructured":"Garlan D (2003) Formal modeling and analysis of software architecture: components connectors and events. In: Formal methods for software architectures pp 1\u201324. Springer","DOI":"10.1007\/978-3-540-39800-4_1"},{"key":"e_1_2_1_2_29_2","first-page":"353","article-title":"Proof methods for corecursive programs","volume":"66","author":"Gibbons J","year":"2005","journal-title":"Fundam Inf"},{"key":"e_1_2_1_2_30_2","volume-title":"Design patterns: elements of reusable object-oriented software","author":"Gamma E","year":"1994"},{"key":"e_1_2_1_2_31_2","doi-asserted-by":"crossref","unstructured":"G\u00f6thel T J\u00e4hnig N Seif S (2017) Refinement-based modelling and verification of design patterns for self-adaptive systems. In: International conference on formal engineering methods. Springer pp 157\u2013173","DOI":"10.1007\/978-3-319-68690-5_10"},{"key":"e_1_2_1_2_32_2","unstructured":"Gidey HK Marmsoler D (2018) FACTum studio. https:\/\/habtom.github.io\/factum\/. Accessed 19 July 2019"},{"key":"e_1_2_1_2_33_2","doi-asserted-by":"crossref","unstructured":"Gidey HK Marmsoler D Eckhardt J (April 2017) Grounded architectures: using grounded theory for the design of software architectures. In: 2017 IEEE international conference on software architecture workshops (ICSAW) pp 141\u2013148","DOI":"10.1109\/ICSAW.2017.41"},{"key":"e_1_2_1_2_34_2","first-page":"47","article-title":"ACME: architectural description of component-based systems","volume":"68","author":"Garlan D","year":"2000","journal-title":"Found Component Based Syst"},{"key":"e_1_2_1_2_35_2","unstructured":"Gorlick MM Razouk RR (1991) Using weaves for software construction and analysis. In: Les B David RB Koji T (eds) Proceedings of the 13th international conference on software engineering Austin TX USA 13-17 May 1991. IEEE Computer Society pp 23\u201334"},{"key":"e_1_2_1_2_36_2","doi-asserted-by":"crossref","unstructured":"Gibson-Robinson T Armstrong P Boulgakov A Roscoe AW (2014) Fdr3\u2014a modern refinement checker for csp. In: International conference on tools and algorithms for the construction and analysis of systems. Springer pp 187\u2013201","DOI":"10.1007\/978-3-642-54862-8_13"},{"key":"e_1_2_1_2_37_2","doi-asserted-by":"crossref","unstructured":"H\u00f6lzl F Feilkas M (2010) Autofocus 3: a scientific tool prototype for model-based development of component-based reactive distributed systems. In: Proceedings of the 2007 international Dagstuhl conference on model-based engineering of embedded real-time systems MBEERTS'07 Berlin Heidelberg. Springer pp 317\u2013322","DOI":"10.1007\/978-3-642-16277-0_13"},{"key":"e_1_2_1_2_38_2","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"e_1_2_1_2_39_2","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"e_1_2_1_2_40_2","first-page":"62","article-title":"A tutorial on (co)algebras and (co)induction","volume":"62","author":"Jacobs B","year":"1997","journal-title":"EATCS Bull"},{"key":"e_1_2_1_2_41_2","doi-asserted-by":"crossref","unstructured":"Kim JS Garlan D (2006) Analyzing architectural styles with alloy. In: Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis. ACM pp 70\u201380","DOI":"10.1145\/1147249.1147259"},{"key":"e_1_2_1_2_42_2","doi-asserted-by":"crossref","unstructured":"Klein MH Kazman R Bass L Carriere J Barbacci M Lipson H (1999) Attribute-based architecture styles. In: Software architecture. Springer pp 225\u2013243","DOI":"10.1007\/978-0-387-35563-4_13"},{"key":"e_1_2_1_2_43_2","doi-asserted-by":"crossref","unstructured":"Krause C Maraikar Z Lazovik A Arbab F (2011) Modeling dynamic reconfigurations in reo using high-level replacement systems. Sci Comput Program 76(1):23\u201336. Selected papers from the 6th international workshop on the foundations of coordination languages and software architectures","DOI":"10.1016\/j.scico.2009.10.006"},{"key":"e_1_2_1_2_44_2","doi-asserted-by":"crossref","unstructured":"Kiayias A Russell A David B Oliynykov R (2017) Ouroboros: a provably secure proof-of-stake blockchain protocol. In: Annual international cryptology conference. Springer pp 357\u2013388","DOI":"10.1007\/978-3-319-63688-7_12"},{"key":"e_1_2_1_2_45_2","doi-asserted-by":"publisher","DOI":"10.1109\/32.385971"},{"key":"e_1_2_1_2_46_2","doi-asserted-by":"crossref","unstructured":"Laroussinie F Meyer A Petonnet E (2010) Counting LTL. In: 2010 17th international symposium on temporal representation and reasoning. IEEE","DOI":"10.1109\/TIME.2010.20"},{"key":"e_1_2_1_2_47_2","unstructured":"Lochbihler A (2010) Coinduction. The archive of formal proofs. http:\/\/afp.sourceforge.net\/entries\/Coinductive.shtml.Accessed 19 July 2019"},{"key":"e_1_2_1_2_48_2","doi-asserted-by":"crossref","unstructured":"Li Y. Sun M.: Modeling and analysis of component connectors in coq. In: Fiadeiro J.L. Liu Z. Xue J. (eds.) Formal aspects of component software\u201310th international symposium FACS 2013 Nanchang China 27\u201329 Oct 2013 Revised selected papers. Lecture notes in computer science vol. 8348 pp. 273\u2013290. Springer (2013)","DOI":"10.1007\/978-3-319-07602-7_17"},{"key":"e_1_2_1_2_49_2","unstructured":"Marmsoler D (2010) Applying the scientific method in the definition and analysis of a new architectural style. Master's thesis Free University of Bolzano-Bozen"},{"key":"e_1_2_1_2_50_2","unstructured":"Marmsoler D (2017) Dynamic architectures. Archive of formal proofs. http:\/\/isa-afp.org\/entries\/DynamicArchitectures.html. Formal proof development. Accessed 19 July 2019"},{"key":"e_1_2_1_2_51_2","doi-asserted-by":"crossref","unstructured":"Marmsoler D.: Towards a calculus for dynamic architectures. In: Van Hung D. Kapur D. (eds.) Theoretical aspects of computing\u2013ICTAC 2017\u201314th international colloquium Hanoi Vietnam 23\u201327 Oct 2017 Proceedings. Lecture notes in computer science vol. 10580 pp. 79\u201399. Springer (2017)","DOI":"10.1007\/978-3-319-67729-3_6"},{"key":"e_1_2_1_2_52_2","doi-asserted-by":"crossref","unstructured":"Marmsoler D (2018) A framework for interactive verification of architectural design patterns in isabelle\/hol. In: The 20th international conference on formal engineering methods ICFEM 2018 Proceedings","DOI":"10.1007\/978-3-030-02450-5_15"},{"key":"e_1_2_1_2_53_2","unstructured":"Marmsoler D (2018) A theory of architectural design patterns. Archive of formal proofs. http:\/\/isa-afp.org\/entries\/Architectural_Design_Patterns.html. Formal proof development"},{"key":"e_1_2_1_2_54_2","unstructured":"Mak JKH Choy CST Lun DPK (2004) Precise modeling of design patterns in uml. In: Software engineering. IEEE pp 252\u2013261"},{"key":"e_1_2_1_2_55_2","doi-asserted-by":"crossref","unstructured":"Marmsoler D Degenhardt S (2017) Verifying patterns of dynamic architectures using model checking. In: Proceedings international workshop on formal engineering approaches to software components and architectures FESCA@ETAPS 2017 Uppsala Sweden 22nd April 2017 pp 16\u201330","DOI":"10.4204\/EPTCS.245.2"},{"issue":"2","key":"e_1_2_1_2_56_2","first-page":"187","article-title":"On activation, connection, and behavior in dynamic architectures","volume":"26","author":"Marmsoler D","year":"2016","journal-title":"Sci Ann Comput Sci"},{"key":"e_1_2_1_2_57_2","doi-asserted-by":"crossref","unstructured":"Marmsoler D Gleirscher M (2016) Specifying properties of dynamic architectures using configuration traces. In: International colloquium on theoretical aspects of computing. Springer pp 235\u2013254","DOI":"10.1007\/978-3-319-46750-4_14"},{"key":"e_1_2_1_2_58_2","doi-asserted-by":"crossref","unstructured":"Marmsoler D Gidey HK (2018) FACTum Studio: a tool for the axiomatic specification and verification of architectural design patterns. In: Formal aspects of component software\u2014FACS 2018\u201415th international conference Proceedings","DOI":"10.1007\/978-3-030-02146-7_14"},{"key":"e_1_2_1_2_59_2","volume-title":"Communicating and mobile systems: the \u03c0-calculus","author":"Milner R","year":"1999"},{"key":"#cr-split#-e_1_2_1_2_60_2.1","doi-asserted-by":"crossref","unstructured":"Magee J Kramer J (1996) Dynamic structure in software architectures. In: Garlan D","DOI":"10.1145\/239098.239104"},{"key":"#cr-split#-e_1_2_1_2_60_2.2","unstructured":"(ed) SIGSOFT'96 Proceedings of the fourth ACM SIGSOFT symposium on foundations of software engineering San Francisco California USA 16-18 Oct 1996. ACM pp 3-14"},{"key":"e_1_2_1_2_61_2","doi-asserted-by":"publisher","DOI":"10.5555\/128869"},{"key":"e_1_2_1_2_62_2","unstructured":"Nakamoto S (2008) Bitcoin: a peer-to-peer electronic cash system"},{"key":"e_1_2_1_2_63_2","doi-asserted-by":"publisher","DOI":"10.5555\/1791547"},{"key":"e_1_2_1_2_64_2","doi-asserted-by":"publisher","DOI":"10.1145\/986710.986728"},{"key":"e_1_2_1_2_65_2","unstructured":"Rausch A (2001) Componentware. Dissertation Technische Universit\u00e4t M\u00fcnchen M\u00fcnchen"},{"key":"e_1_2_1_2_66_2","doi-asserted-by":"crossref","unstructured":"Reif W (1995) The kiv-approach to software verification. In: KORSO: methods languages and tools for the construction of correct software pp 339\u2013368","DOI":"10.1007\/BFb0015471"},{"key":"e_1_2_1_2_67_2","doi-asserted-by":"publisher","DOI":"10.5555\/993859"},{"key":"e_1_2_1_2_68_2","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/978-3-642-35743-5_19","volume-title":"Formal aspects of component software, Berlin, Heidelberg","author":"Sanchez A","year":"2012"},{"key":"e_1_2_1_2_69_2","volume-title":"Software architecture: perspectives on an emerging discipline","author":"Shaw M","year":"1996"},{"key":"e_1_2_1_2_70_2","doi-asserted-by":"crossref","unstructured":"Soundarajan N Hallstrom JO (2004) Responsibilities and rewards: specifying design patterns. In: Software engineering. IEEE pp 666\u2013675","DOI":"10.1109\/ICSE.2004.1317488"},{"key":"e_1_2_1_2_71_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2015.07.001"},{"key":"e_1_2_1_2_72_2","unstructured":"Spichkova M (2007) Specification and seamless verification of embedded real-time systems: FOCUS on Isabelle. Ph.D. thesis Technical University Munich Germany"},{"key":"e_1_2_1_2_73_2","volume-title":"Software architecture: foundations, theory, and practice","author":"Taylor RN","year":"2009"},{"key":"e_1_2_1_2_74_2","unstructured":"TypeFox and Obeo (2017) Xtext\/sirius\u2014integration the main use-cases. https:\/\/goo.gl\/8bcWJc"},{"key":"e_1_2_1_2_75_2","doi-asserted-by":"publisher","DOI":"10.1109\/2.825699"},{"key":"e_1_2_1_2_76_2","unstructured":"Wenzel M et al (2004) The isabelle\/isar reference manual"},{"issue":"23","key":"e_1_2_1_2_77_2","first-page":"277","article-title":"Isabelle\/isar\u2013a generic framework for human-readable proof documents","volume":"10","author":"Wenzel M","year":"2007","journal-title":"From Insight to Proof-Festschrift in Honour of Andrzej Trybulec"},{"key":"e_1_2_1_2_78_2","doi-asserted-by":"crossref","unstructured":"Wermelinger M Fiadeiro JL (2002) A graph transformation approach to software architecture reconfiguration. Sci Comput Program 44(2):133 \u2013 155. Special Issue on Applications of Graph Transformations (GRATRA 2000)","DOI":"10.1016\/S0167-6423(02)00036-9"},{"key":"e_1_2_1_2_79_2","first-page":"675","volume-title":"Handbook of theoretical computer science","author":"Wirsing M","year":"1990"},{"key":"e_1_2_1_2_80_2","doi-asserted-by":"crossref","unstructured":"Wermelinger M Lopes A Fiadeiro JL (2001) A graph based architectural (re)configuration language. In: Software engineering notes vol 26. ACM pp 21\u201332","DOI":"10.1145\/503271.503213"},{"key":"e_1_2_1_2_81_2","doi-asserted-by":"crossref","unstructured":"Wong S Sun J Warren I Sun J (2008) A scalable approach to multi-style architectural modeling and verification. In: Engineering of complex computer systems. IEEE pp 25\u201334","DOI":"10.1109\/ICECCS.2008.16"},{"key":"e_1_2_1_2_82_2","doi-asserted-by":"crossref","unstructured":"Zdun U Avgeriou P (2005) Modeling architectural patterns using architectural primitives. In: Johnson RE Gabriel RP (eds) Proceedings of the 20th annual ACM SIGPLAN conference on object-oriented programming systems languages and applications OOPSLA 2005 16\u201320 Oct 2005 San Diego CA USA pp 133\u2013146. ACM","DOI":"10.1145\/1103845.1094822"},{"key":"e_1_2_1_2_83_2","doi-asserted-by":"crossref","unstructured":"Zhang J Liu Y Sun J Dong JS Sun J (2012) Model checking software architecture design. In: High-assurance systems engineering. IEEE pp 193\u2013200","DOI":"10.1109\/HASE.2012.12"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-019-00488-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00165-019-00488-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-019-00488-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s00165-019-00488-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,18]],"date-time":"2023-09-18T13:27:12Z","timestamp":1695043632000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s00165-019-00488-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11]]},"references-count":84,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2019,11]]}},"alternative-id":["10.1007\/s00165-019-00488-x"],"URL":"https:\/\/doi.org\/10.1007\/s00165-019-00488-x","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,11]]},"assertion":[{"value":"28 September 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 July 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 July 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}