{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T20:36:10Z","timestamp":1761510970101},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642357428"},{"type":"electronic","value":"9783642357435"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35743-5_19","type":"book-chapter","created":{"date-parts":[[2012,12,13]],"date-time":"2012-12-13T20:40:42Z","timestamp":1355431242000},"page":"313-330","source":"Crossref","is-referenced-by-count":10,"title":["Bigraphical Modelling of Architectural Patterns"],"prefix":"10.1007","author":[{"given":"Alejandro","family":"Sanchez","sequence":"first","affiliation":[]},{"given":"Lu\u00eds Soares.","family":"Barbosa","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Riesco","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84800-223-4","volume-title":"A Process Algebraic Approach to Software Architecture Design","author":"A. Aldini","year":"2010","unstructured":"Aldini, A., Bernardo, M., Corradini, F.: A Process Algebraic Approach to Software Architecture Design, vol.\u00a054. Springer, London (2010)"},{"issue":"3","key":"19_CR2","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F. Arbab","year":"2004","unstructured":"Arbab, F.: Reo: a channel-based coordination model for component composition. Mathematical Structures in Computer Science\u00a014(3), 329\u2013366 (2004)","journal-title":"Mathematical Structures in Computer Science"},{"key":"19_CR3","volume-title":"Category Theory (Oxford Logic Guides)","author":"S. Awodey","year":"2010","unstructured":"Awodey, S.: Category Theory (Oxford Logic Guides), 2nd edn. Oxford University Press, USA (2010)","edition":"2"},{"key":"19_CR4","unstructured":"Bass, L., Clements, P., Kazman, R.: Software architecture in practice, 2nd edn. Addison-Wesley Longman Publishing Co., Inc. (2003)"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-540-85361-9_20","volume-title":"CONCUR 2008 - Concurrency Theory","author":"L. Birkedal","year":"2008","unstructured":"Birkedal, L., Debois, S., Hildebrandt, T.: On the Construction of Sorted Reactive Systems. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol.\u00a05201, pp. 218\u2013232. Springer, Heidelberg (2008)"},{"key":"19_CR6","unstructured":"Bodeveix, J.P., Filali, M., Gaufillet, P., Vernadat, F.: The AADL real-time model A behavioural annex for the AADL. In: Proceedings of the DASIA 2006 - DATA Systems In Aerospace - Conference (2006)"},{"key":"19_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-540-68679-8_4","volume-title":"Concurrency, Graphs and Models","author":"R. Bruni","year":"2008","unstructured":"Bruni, R., Bucchiarone, A., Gnesi, S., Hirsch, D., Lluch Lafuente, A.: Graph-Based Design and Analysis of Dynamic Software Architectures. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol.\u00a05065, pp. 37\u201356. Springer, Heidelberg (2008)"},{"key":"19_CR8","unstructured":"Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture. A System of Patterns, vol.\u00a01. Wiley (1996)"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Chang, Z., Mao, X., Qi, Z.: An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its Style. In: First Joint IEEE\/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, pp. 57\u201366. IEEE Computer Society (2007)","DOI":"10.1109\/TASE.2007.9"},{"key":"19_CR10","unstructured":"Groote, J.F., Mathijssen, A., Reniers, M., Usenko, Y., van Weerdenburg, M.: The formal specification language mCRL2. In: Methods for Modelling Software Systems: Dagstuhl Seminar 06351 (2007)"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Milner, R.: The space and motion of communicating agents, vol.\u00a054. Cambridge University Press (2009)","DOI":"10.1017\/CBO9780511626661"},{"key":"19_CR12","unstructured":"Sanchez, A.: A Calculus of Architectural Patterns. Ph.D. thesis. Universidad Nacional de San Luis (to appear, 2012)"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Sanchez, A., Barbosa, L.S., Riesco, D.: A Language for Behavioural Modelling of Architectural Patterns. In: Proceedings of the 3rd Workshop on Behavioural Modelling - Foundations and Applications (BM-FA 2011). ACM DL (2011)","DOI":"10.1145\/1993956.1993959"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35743-5_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T09:25:09Z","timestamp":1620120309000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35743-5_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642357428","9783642357435"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35743-5_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}