{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:34:13Z","timestamp":1775054053065,"version":"3.50.1"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319104300","type":"print"},{"value":"9783319104317","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10431-7_10","type":"book-chapter","created":{"date-parts":[[2014,8,4]],"date-time":"2014-08-04T05:27:28Z","timestamp":1407130048000},"page":"128-143","source":"Crossref","is-referenced-by-count":9,"title":["A General Framework for Architecture Composability"],"prefix":"10.1007","author":[{"given":"Paul","family":"Attie","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eduard","family":"Baranov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Bliudze","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamad","family":"Jaber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph","family":"Sifakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"10_CR1","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/S1389-1286(02)00352-3","volume":"41","author":"M. Calder","year":"2003","unstructured":"Calder, M., Kolberg, M., Magill, E.H., Reiff-Marganiec, S.: Feature interaction: a critical review and considered forecast. Computer Networks\u00a041(1), 115\u2013141 (2003)","journal-title":"Computer Networks"},{"issue":"4","key":"10_CR2","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1561\/1000000034","volume":"6","author":"J. Sifakis","year":"2012","unstructured":"Sifakis, J.: Rigorous System Design. Foundations and Trends in Electronic Design Automation\u00a06(4), 293\u2013362 (2012)","journal-title":"Foundations and Trends in Electronic Design Automation"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-642-22045-6_4","volume-title":"Software Composition","author":"S. Bliudze","year":"2011","unstructured":"Bliudze, S., Sifakis, J.: Synthesizing glue operators from glue constraints for the construction of component-based systems. In: Apel, S., Jackson, E. (eds.) SC 2011. LNCS, vol.\u00a06708, pp. 51\u201367. Springer, Heidelberg (2011)"},{"issue":"3","key":"10_CR4","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MS.2011.27","volume":"28","author":"A. Basu","year":"2011","unstructured":"Basu, A., Bensalem, S., Bozga, M., Combaz, J., Jaber, M., Nguyen, T.H., Sifakis, J.: Rigorous component-based system design using the BIP framework. IEEE Software\u00a028(3), 41\u201348 (2011)","journal-title":"IEEE Software"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/3-540-61052-9_37","volume-title":"Coordination Languages and Models","author":"P. Wegner","year":"1996","unstructured":"Wegner, P.: Coordination as constrained interaction (extended abstract). In: Ciancarini, P., Hankin, C. (eds.) COORDINATION 1996. LNCS, vol.\u00a01061, pp. 28\u201333. Springer, Heidelberg (1996)"},{"issue":"2","key":"10_CR6","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"},{"issue":"1","key":"10_CR7","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/151646.151649","volume":"15","author":"M. Abadi","year":"1993","unstructured":"Abadi, M., Lamport, L.: Composing specifications. ACM Trans. Program. Lang. Syst.\u00a015(1), 73\u2013132 (1993)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Attie, P.C., Bensalem, S., Bozga, M., Jaber, M., Sifakis, J., Zaraket, F.A.: An abstract framework for deadlock prevention in BIP. In: Beyer, D., Boreale, M. (eds.) FMOODS\/FORTE 2013. LNCS, vol.\u00a07892, pp. 161\u2013177. Springer, Heidelberg (2013)","DOI":"10.1007\/978-3-642-38592-6_12"},{"issue":"2","key":"10_CR9","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R. Tarjan","year":"1972","unstructured":"Tarjan, R.: Depth-first search and linear graph algorithms. SIAM Journal on Computing\u00a01(2), 146\u2013160 (1972)","journal-title":"SIAM Journal on Computing"},{"key":"10_CR10","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":"10_CR11","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"},{"issue":"4","key":"10_CR12","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/MC.2003.1193228","volume":"36","author":"F. Balarin","year":"2003","unstructured":"Balarin, F., Watanabe, Y., Hsieh, H., Lavagno, L., Passerone, C., Sangiovanni-Vincentelli, A.: Metropolis: an integrated electronic system design environment. IEEE Computer\u00a036(4), 45\u201352 (2003)","journal-title":"IEEE Computer"},{"issue":"2","key":"10_CR13","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/MC.2006.54","volume":"39","author":"K. Balasubramanian","year":"2006","unstructured":"Balasubramanian, K., Gokhale, A., Karsai, G., Sztipanovits, J., Neema, S.: Developing applications using model-driven design environments. IEEE Computer\u00a039(2), 33\u201340 (2006)","journal-title":"IEEE Computer"},{"issue":"1","key":"10_CR14","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: The Ptolemy approach. Proceedings of the IEEE\u00a091(1), 127\u2013144 (2003)","journal-title":"Proceedings of the IEEE"},{"issue":"3","key":"10_CR15","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":"10_CR16","unstructured":"Fiadeiro, J.L.: Categories for Software Engineering. Springer (April 2004)"},{"key":"10_CR17","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1109\/ICSE.2003.1201218","volume-title":"ICSE 2003: Proceedings of the 25th International Conference on Software Engineering","author":"A. Ray","year":"2003","unstructured":"Ray, A., Cleaveland, R.: Architectural interaction diagrams: AIDs for system modeling. In: ICSE 2003: Proceedings of the 25th International Conference on Software Engineering, pp. 396\u2013406. IEEE Computer Society, Washington, DC (2003)"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Spitznagel, B., Garlan, D.: A compositional formalization of connector wrappers. In: ICSE, pp. 374\u2013384. IEEE Computer Society (2003)","DOI":"10.1109\/ICSE.2003.1201216"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Bernardo, M., Ciancarini, P., Donatiello, L.: On the formalization of architectural types with process algebras. In: SIGSOFT FSE, pp. 140\u2013148 (2000)","DOI":"10.1145\/357474.355064"},{"issue":"1","key":"10_CR20","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1016\/j.tcs.2006.07.005","volume":"366","author":"R. Bruni","year":"2006","unstructured":"Bruni, R., Lanese, I., Montanari, U.: A basic algebra of stateless connectors. Theoretical Computer Science\u00a0366(1), 98\u2013120 (2006)","journal-title":"Theoretical Computer Science"},{"key":"10_CR21","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall International Series in Computer Science. Prentice Hall (April 1985)"},{"key":"10_CR22","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall International Series in Computer Science. Prentice Hall (1989)"},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"Liu, I., Reineke, J., Lee, E.A.: A PRET architecture supporting concurrent programs with composable timing properties. In: 2010 Conference Record of the Forty Fourth Asilomar Conference on Signals, Systems and Computers (ASILOMAR), pp. 2111\u20132115 (2010)","DOI":"10.1109\/ACSSC.2010.5757922"},{"issue":"6","key":"10_CR24","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1145\/357474.355061","volume":"25","author":"J.D. Hay","year":"2000","unstructured":"Hay, J.D., Atlee, J.M.: Composing features and resolving interactions. SIGSOFT Softw. Eng. Notes\u00a025(6), 110\u2013119 (2000)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"10_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/11841760_32","volume-title":"Business Process Management","author":"G. Decker","year":"2006","unstructured":"Decker, G., Puhlmann, F., Weske, M.: Formalizing service interactions. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 414\u2013419. Springer, Heidelberg (2006)"},{"key":"10_CR26","doi-asserted-by":"crossref","unstructured":"Li, Z., Jin, Y., Han, J.: A runtime monitoring and validation framework for web service interactions. In: ASWEC, pp. 70\u201379 (2006)","DOI":"10.1109\/ASWEC.2006.6"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10431-7_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T09:35:43Z","timestamp":1558949743000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10431-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319104300","9783319104317"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10431-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}