{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,20]],"date-time":"2025-05-20T19:10:05Z","timestamp":1747768205933,"version":"3.41.0"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319155449"},{"type":"electronic","value":"9783319155456"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-15545-6_24","type":"book-chapter","created":{"date-parts":[[2015,3,5]],"date-time":"2015-03-05T02:19:15Z","timestamp":1425521955000},"page":"409-439","source":"Crossref","is-referenced-by-count":5,"title":["A Theory Agenda for Component-Based Design"],"prefix":"10.1007","author":[{"given":"Joseph","family":"Sifakis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saddek","family":"Bensalem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Bliudze","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Bozga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/BFb0053581","volume-title":"Fundamental Approaches to Software Engineering","author":"R.B. Allen","year":"1998","unstructured":"Allen, R.B., Douence, R., Garlan, D.: Specifying and analyzing dynamic software architectures. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol.\u00a01382, pp. 21\u201337. Springer, Heidelberg (1998)"},{"issue":"3","key":"24_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":"24_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/978-3-642-54862-8_18","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. A\u015ftef\u0103noaei","year":"2014","unstructured":"A\u015ftef\u0103noaei, L., Ben Rayana, S., Bensalem, S., Bozga, M., Combaz, J.: Compositional invariant generation for timed systems. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014 (ETAPS). LNCS, vol.\u00a08413, pp. 263\u2013278. Springer, Heidelberg (2014)"},{"key":"24_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/978-3-319-10431-7_10","volume-title":"Software Engineering and Formal Methods","author":"P. Attie","year":"2014","unstructured":"Attie, P., Baranov, E., Bliudze, S., Jaber, M., Sifakis, J.: A general framework for architecture composability. In: Giannakopoulou, D., Sala\u00fcn, G. (eds.) SEFM 2014. LNCS, vol.\u00a08702, pp. 128\u2013143. Springer, Heidelberg (2014)"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Baranov, E., Bliudze, S.: Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP. Technical Report EPFL-REPORT-203507, EPFL IC IIF RiSD (November 2014), http:\/\/infoscience.epfl.ch\/record\/203507 .","DOI":"10.1016\/j.scico.2015.05.011"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: 4th IEEE International Conference on Software Engineering and Formal Methods (SEFM), pp. 3\u201312. IEEE Computer Society (2006)","DOI":"10.1109\/SEFM.2006.27"},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"Bensalem, S., Bozga, M., Boyer, B., Legay, A.: Incremental generation of linear invariants for component-based systems. In: 13th International Conference on Application of Concurrency to System Design (ACSD), pp. 80\u201389. IEEE (2013)","DOI":"10.1109\/ACSD.2013.11"},{"key":"24_CR8","unstructured":"Bensalem, S., Bozga, M., Legay, A., Nguyen, T.-H., Sifakis, J., Yan, R.: Incremental component-based construction and verification using invariants. In: Bloem, R., Sharygina, N. (eds.) 10th International Conference on Formal Methods in Computer-Aided Design (FMCAD), pp. 257\u2013256. IEEE (2010)"},{"key":"24_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"614","DOI":"10.1007\/978-3-642-02658-4_45","volume-title":"Computer Aided Verification","author":"S. Bensalem","year":"2009","unstructured":"Bensalem, S., Bozga, M., Nguyen, T.-H., Sifakis, J.: D-finder: A tool for compositional deadlock detection and verification. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 614\u2013619. Springer, Heidelberg (2009)"},{"issue":"3","key":"24_CR10","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1049\/iet-sen.2009.0011","volume":"4","author":"S. Bensalem","year":"2010","unstructured":"Bensalem, S., Bozga, M., Nguyen, T.-H., Sifakis, J.: Compositional verification for component-based systems and application. IET Software\u00a04(3), 181\u2013193 (2010)","journal-title":"IET Software"},{"key":"24_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-88387-6_7","volume-title":"Automated Technology for Verification and Analysis","author":"S. Bensalem","year":"2008","unstructured":"Bensalem, S., Bozga, M., Sifakis, J., Nguyen, T.-H.: Compositional verification for component-based systems and application. In: Cha, S(S.), Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. LNCS, vol.\u00a05311, pp. 64\u201379. Springer, Heidelberg (2008)"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Bensalem, S., Griesmayer, A., Legay, A., Nguyen, T.-H., Peled, D.: Efficient deadlock detection for concurrent systems. In: Singh, S., Jobstmann, B., Kishinevsky, M., Brandt, J. (eds.) 9th IEEE\/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE), pp. 119\u2013129. IEEE (2011)","DOI":"10.1109\/MEMCOD.2011.5970518"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Bliudze, S.: Towards a theory of glue. In: Carbone, M., Lanese, I., Silva, A., Sokolova, A. (eds.) 5th International Conference on Interaction and Concurrency Experience (ICE). EPTCS, vol.\u00a0104, pp. 48\u201366 (2012)","DOI":"10.4204\/EPTCS.104.0"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"Bliudze, S., Sifakis, J.: The algebra of connectors \u2014 Structuring interaction in BIP. In: 7th ACM & IEEE International Conference on Embedded Software (EMSOFT), pp. 11\u201320. ACM SigBED (2007)","DOI":"10.1145\/1289927.1289935"},{"key":"24_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1007\/978-3-540-85361-9_39","volume-title":"CONCUR 2008 - Concurrency Theory","author":"S. Bliudze","year":"2008","unstructured":"Bliudze, S., Sifakis, J.: A notion of glue expressiveness for component-based systems. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol.\u00a05201, pp. 508\u2013522. Springer, Heidelberg (2008)"},{"issue":"2","key":"24_CR16","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/s10703-010-0091-z","volume":"36","author":"S. Bliudze","year":"2010","unstructured":"Bliudze, S., Sifakis, J.: Causal semantics for the algebra of connectors. Formal Methods in System Design\u00a036(2), 167\u2013194 (2010)","journal-title":"Formal Methods in System Design"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"Bliudze, S., Sifakis, J., Bozga, M., Jaber, M.: Architecture internalisation in BIP. In: Proceedings of The 17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE), pp. 169\u2013178. ACM (July 2014)","DOI":"10.1145\/2602458.2602477"},{"key":"24_CR18","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1145\/1879021.1879049","volume-title":"10th ACM International Conference on Embedded Software (EMSOFT)","author":"B. Bonakdarpour","year":"2010","unstructured":"Bonakdarpour, B., Bozga, M., Jaber, M., Quilbeuf, J., Sifakis, J.: From high-level component-based models to distributed implementations. In: 10th ACM International Conference on Embedded Software (EMSOFT), pp. 209\u2013218. ACM, New York (2010)"},{"key":"24_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-30564-1_1","volume-title":"Software Composition","author":"M. Bozga","year":"2012","unstructured":"Bozga, M., Jaber, M., Maris, N., Sifakis, J.: Modeling dynamic architectures using dy-BIP. In: Gschwind, T., De Paoli, F., Gruhn, V., Book, M. (eds.) SC 2012. LNCS, vol.\u00a07306, pp. 1\u201316. Springer, Heidelberg (2012)"},{"key":"24_CR20","doi-asserted-by":"crossref","unstructured":"Bozga, M., Jaber, M., Sifakis, J.: Source-to-source architecture transformation for performance optimization in BIP. In: IEEE International Symposium on Industrial Embedded Systems (SIES), pp. 152\u2013160 (July 2009)","DOI":"10.1109\/SIES.2009.5196211"},{"key":"24_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/978-3-642-54624-2_19","volume-title":"Specification, Algebra, and Software","author":"R. Bruni","year":"2014","unstructured":"Bruni, R., Melgratti, H., Montanari, U.: Behaviour, interaction and dynamics. In: Iida, S., Meseguer, J., Ogata, K. (eds.) Specification, Algebra, and Software. LNCS, vol.\u00a08373, pp. 382\u2013401. Springer, Heidelberg (2014)"},{"key":"24_CR22","doi-asserted-by":"crossref","unstructured":"Dhungana, D., Rabiser, R., Gr\u00fcnbacher, P., Pr\u00e4hofer, H., Federspiel, C., Lehner, K.: Architectural knowledge in product line engineering: An industrial case study. In: 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA), pp. 186\u2013197. IEEE (2006)","DOI":"10.1109\/EUROMICRO.2006.21"},{"key":"24_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-540-70545-1_22","volume-title":"Computer Aided Verification","author":"D. D\u2019Souza","year":"2008","unstructured":"D\u2019Souza, D., Gopinathan, M.: Conflict-tolerant features. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol.\u00a05123, pp. 227\u2013239. Springer, Heidelberg (2008)"},{"issue":"1","key":"24_CR24","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","volume":"91","author":"J. Eker","year":"2003","unstructured":"Eker, J., Janneck, J., Lee, E., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity\u2014The Ptolemy approach. Proceedings of the IEEE\u00a091(1), 127\u2013144 (2003)","journal-title":"Proceedings of the IEEE"},{"key":"24_CR25","doi-asserted-by":"crossref","unstructured":"Fares, E., Bodeveix, J.-P., Filali, M.: Event algebra for transition systems composition - application to timed automata. In: S\u00e1nchez, C., Venable, K.B., Zim\u00e1nyi, E. (eds.) 20th International Symposium on Temporal Representation and Reasoning (TIME), pp. 125\u2013132 (September 2013)","DOI":"10.1109\/TIME.2013.23"},{"key":"24_CR26","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall International Series in Computer Science. Prentice Hall (April 1985)"},{"key":"24_CR27","unstructured":"ISO\/IEC. Information technology \u2013 Object Management Group \u2013 Object Constraint Language (OCL). Technical Report ISO\/IEC 19507, ISO, Object Management Group (2012)"},{"key":"24_CR28","unstructured":"ISO\/IEC\/IEEE. Systems and software engineering \u2013 Architecture description. Technical Report ISO\/IEC\/IEEE 42010, ISO (2011)"},{"issue":"4","key":"24_CR29","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/j.entcs.2008.03.100","volume":"194","author":"C. Koehler","year":"2008","unstructured":"Koehler, C., Lazovik, A., Arbab, F.: Connector rewriting with high-level replacement systems. Electr. Notes Theor. Comput. Sci.\u00a0194(4), 77\u201392 (2008)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"24_CR30","doi-asserted-by":"crossref","unstructured":"Kumar, A.: Software architecture styles a survey. International Journal of Computer Applications\u00a087(9) (2014)","DOI":"10.5120\/15234-3768"},{"issue":"5-6","key":"24_CR31","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1007\/s10009-012-0236-z","volume":"15","author":"Y. Lustig","year":"2013","unstructured":"Lustig, Y., Vardi, M.: Synthesis from component libraries. International Journal on Software Tools for Technology Transfer\u00a015(5-6), 603\u2013618 (2013)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"issue":"7","key":"24_CR32","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1109\/32.708567","volume":"24","author":"D.L. Metayer","year":"1998","unstructured":"Metayer, D.L.: Describing software architecture styles using graph grammars. IEEE Trans. Software Eng.\u00a024(7), 521\u2013533 (1998)","journal-title":"IEEE Trans. Software Eng."},{"issue":"3","key":"24_CR33","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"Milner, R.: Calculi for synchrony and asynchrony. Theoretical Computer Science\u00a025(3), 267\u2013310 (1983)","journal-title":"Theoretical Computer Science"},{"key":"24_CR34","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall International Series in Computer Science. Prentice-Hall (1989)"},{"key":"24_CR35","unstructured":"Milner, R.: Communicating and Mobile Systems: The \u03c0-calculus. Cambridge University Press (1999)"},{"key":"24_CR36","doi-asserted-by":"publisher","first-page":"1023","DOI":"10.1016\/S0167-739X(01)00043-7","volume":"17","author":"G.A. Papadopoulos","year":"2001","unstructured":"Papadopoulos, G.A., Arbab, F.: Configuration and dynamic reconfiguration of components using the coordination paradigm. Future Generation Computer Systems\u00a017, 1023\u20131038 (2001)","journal-title":"Future Generation Computer Systems"},{"issue":"1","key":"24_CR37","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/S0167-6423(00)00018-6","volume":"41","author":"M. Plath","year":"2001","unstructured":"Plath, M., Ryan, M.: Feature integration using a feature construct. Science of Computer Programming\u00a041(1), 53\u201384 (2001)","journal-title":"Science of Computer Programming"},{"key":"24_CR38","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.jlap.2004.03.009","volume":"60-61","author":"G.D. Plotkin","year":"2004","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algebr. Program.\u00a060-61, 17\u2013139 (2004)","journal-title":"J. Log. Algebr. Program."}],"container-title":["Lecture Notes in Computer Science","Software, Services, and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15545-6_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,20]],"date-time":"2025-05-20T18:42:56Z","timestamp":1747766576000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-15545-6_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319155449","9783319155456"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15545-6_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}