{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T00:17:02Z","timestamp":1767140222201,"version":"build-2238731810"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2019,6,15]],"date-time":"2019-06-15T00:00:00Z","timestamp":1560556800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,6,15]],"date-time":"2019-06-15T00:00:00Z","timestamp":1560556800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2020,12]]},"DOI":"10.1007\/s00236-019-00337-7","type":"journal-article","created":{"date-parts":[[2019,6,15]],"date-time":"2019-06-15T12:02:17Z","timestamp":1560600137000},"page":"761-800","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Expressiveness of component-based frameworks: a study of the expressiveness of BIP"],"prefix":"10.1007","volume":"57","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7357-705X","authenticated-orcid":false,"given":"Eduard","family":"Baranov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7900-5271","authenticated-orcid":false,"given":"Simon","family":"Bliudze","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,6,15]]},"reference":[{"key":"337_CR1","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-319-10431-7_10","volume-title":"12th International Conference on Software Engineering and Formal Methods (SEFM 2014), no. 8702 in LNCS","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.) 12th International Conference on Software Engineering and Formal Methods (SEFM 2014), no. 8702 in LNCS, pp. 128\u2013143. Springer, Cham (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-319-10431-7_10"},{"issue":"2","key":"337_CR2","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/s00165-015-0349-8","volume":"18","author":"P Attie","year":"2016","unstructured":"Attie, P., Baranov, E., Bliudze, S., Jaber, M., Sifakis, J.: A general framework for architecture composability. Form. Asp. Comput. 18(2), 207\u2013231 (2016). \nhttps:\/\/doi.org\/10.1007\/s00165-015-0349-8\n\n. (Open access)","journal-title":"Form. Asp. Comput."},{"key":"337_CR3","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.scico.2015.05.011","volume":"109","author":"E Baranov","year":"2015","unstructured":"Baranov, E., Bliudze, S.: Offer semantics: achieving compositionality, flattening and full expressiveness for the glue operators in BIP. Sci. Comput. Program. 109, 2\u201335 (2015). \nhttps:\/\/doi.org\/10.1016\/j.scico.2015.05.011\n\n. (Selected Papers of the 6th Interaction and Concurrency Experience (ICE 2013))","journal-title":"Sci. Comput. Program."},{"key":"337_CR4","doi-asserted-by":"publisher","unstructured":"Baranov, E., Bliudze, S.: A note on the expressiveness of BIP. In: Proceedings of the Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, EXPRESS\/SOS 2016, EPTCS, vol. 222, pp. 1\u201314 (2016). \nhttps:\/\/doi.org\/10.4204\/EPTCS.222.1","DOI":"10.4204\/EPTCS.222.1"},{"issue":"3","key":"337_CR5","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0020-0190(96)00034-8","volume":"58","author":"T Basten","year":"1996","unstructured":"Basten, T.: Branching bisimilarity is an equivalence indeed!. Inf. Process. Lett. 58(3), 141\u2013147 (1996)","journal-title":"Inf. Process. Lett."},{"issue":"3","key":"337_CR6","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., et al.: Rigorous component-based system design using the BIP framework. IEEE Softw. 28(3), 41\u201348 (2011). \nhttps:\/\/doi.org\/10.1109\/MS.2011.27","journal-title":"IEEE Softw."},{"key":"337_CR7","doi-asserted-by":"publisher","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 (SEFM06), pp. 3\u201312 (2006). \nhttps:\/\/doi.org\/10.1109\/SEFM.2006.27\n\n. Invited talk","DOI":"10.1109\/SEFM.2006.27"},{"issue":"11","key":"337_CR8","doi-asserted-by":"publisher","first-page":"1801","DOI":"10.1002\/spe.2495","volume":"47","author":"S Bliudze","year":"2017","unstructured":"Bliudze, S., Mavridou, A., Szymanek, R., Zolotukhina, A.: Exogenous coordination of concurrent software components with JavaBIP. Softw. Pract. Exp. 47(11), 1801\u20131836 (2017). \nhttps:\/\/doi.org\/10.1002\/spe.2495","journal-title":"Softw. Pract. Exp."},{"key":"337_CR9","doi-asserted-by":"publisher","unstructured":"Bliudze, S., Sifakis, J.: The algebra of connectors\u2014structuring interaction in BIP. In: Proceedings of the EMSOFT\u201907, pp. 11\u201320. ACM SigBED (2007). \nhttps:\/\/doi.org\/10.1145\/1289927.1289935","DOI":"10.1145\/1289927.1289935"},{"key":"337_CR10","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1007\/978-3-540-85361-9_39","volume-title":"CONCUR 2008, LNCS","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. 5201, pp. 508\u2013522. Springer, Cham (2008). \nhttps:\/\/doi.org\/10.1007\/978-3-540-85361-9_39"},{"issue":"2","key":"337_CR11","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. Form. Methods Syst. Des. 36(2), 167\u2013194 (2010). \nhttps:\/\/doi.org\/10.1007\/s10703-010-0091-z","journal-title":"Form. Methods Syst. Des."},{"key":"337_CR12","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-642-22045-6_4","volume-title":"10th International Conference on Software Composition, LNCS","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.) 10th International Conference on Software Composition, LNCS, vol. 6708, pp. 51\u201367. Springer, Cham (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-22045-6_4"},{"key":"337_CR13","doi-asserted-by":"publisher","unstructured":"Bliudze, S., Sifakis, J., Bozga, M.D., Jaber, M.: Architecture internalisation in BIP. In: Proceedings of the 17th International ACM Sigsoft Symposium on Component-Based Software Engineering, CBSE\u201914, pp. 169\u2013178. ACM, New York, NY, USA (2014). \nhttps:\/\/doi.org\/10.1145\/2602458.2602477","DOI":"10.1145\/2602458.2602477"},{"key":"337_CR14","unstructured":"Bloom, B.: Ready simulation, bisimulation, and the semantics of CCS-like languages. Ph.D. thesis, Massachusetts Institute of Technology (1989)"},{"key":"337_CR15","volume-title":"SCADE: Language and Applications","author":"JL Boulanger","year":"2015","unstructured":"Boulanger, J.L., et al.: SCADE: Language and Applications, 1st edn. Wiley-IEEE Press, New York (2015)","edition":"1"},{"issue":"1","key":"337_CR16","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. Theor. Comput. Sci. 366(1), 98\u2013120 (2006). \nhttps:\/\/doi.org\/10.1016\/j.tcs.2006.07.005","journal-title":"Theor. Comput. Sci."},{"key":"337_CR17","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-642-29709-0_2","volume-title":"Perspectives of Systems Informatics, Lecture Notes in Computer Science","author":"R Bruni","year":"2012","unstructured":"Bruni, R., Melgratti, H., Montanari, U.: Connector algebras, petri nets, and bip. In: Clarke, E., Virbitskaite, I., Voronkov, A. (eds.) Perspectives of Systems Informatics, Lecture Notes in Computer Science, vol. 7162, pp. 19\u201338. Springer Berlin Heidelberg, Berlin (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-29709-0_2"},{"key":"337_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-14458-5_1","volume-title":"Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, no. 6194 in Lecture Notes in Computer Science","author":"M Dezani-Ciancaglini","year":"2010","unstructured":"Dezani-Ciancaglini, M., de\u2019Liguoro, U.: Sessions and session types: an overview. In: Laneve, C., Su, J. (eds.) Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, no. 6194 in Lecture Notes in Computer Science, pp. 1\u201328. Springer Berlin Heidelberg, Berlin (2010). \nhttps:\/\/doi.org\/10.1007\/978-3-642-14458-5_1"},{"key":"337_CR19","doi-asserted-by":"publisher","unstructured":"Dokter, K., Jongmans, S.T.Q., Arbab, F., Bliudze, S.: Relating BIP and reo. In: Knight, S., Lanese, I., Lluch-Lafuente, A., Vieira, H.T. (eds.) Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015., EPTCS, vol. 189, pp. 3\u201320 (2015). \nhttps:\/\/doi.org\/10.4204\/EPTCS.189.3","DOI":"10.4204\/EPTCS.189.3"},{"issue":"1","key":"337_CR20","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. Proc. IEEE 91(1), 127\u2013144 (2003). \nhttps:\/\/doi.org\/10.1109\/JPROC.2002.805829","journal-title":"Proc. IEEE"},{"key":"337_CR21","doi-asserted-by":"publisher","unstructured":"Felleisen, M.: On the expressive power of programming languages. In: 3rd European Symposium on Programming (ESOP\u201990), LNCS, vol. 432, pp. 134\u2013151. Springer (1990). \nhttps:\/\/doi.org\/10.1007\/3-540-52592-0_60","DOI":"10.1007\/3-540-52592-0_60"},{"issue":"9","key":"337_CR22","doi-asserted-by":"publisher","first-page":"1031","DOI":"10.1016\/j.ic.2010.05.002","volume":"208","author":"D Gorla","year":"2010","unstructured":"Gorla, D.: Towards a unified approach to encodability and separation results for process calculi. Inf. Comput. 208(9), 1031\u20131053 (2010). \nhttps:\/\/doi.org\/10.1016\/j.ic.2010.05.002","journal-title":"Inf. Comput."},{"key":"337_CR23","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1007\/978-3-540-30101-1_15","volume-title":"Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4\u20137, 2003, Revised Lectures, Lecture Notes in Computer Science","author":"G G\u00f6\u00dfler","year":"2003","unstructured":"G\u00f6\u00dfler, G., Sifakis, J.: Priority systems. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.P. (eds.) Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4\u20137, 2003, Revised Lectures, Lecture Notes in Computer Science, vol. 3188, pp. 314\u2013329. Springer, Cham (2003). \nhttps:\/\/doi.org\/10.1007\/978-3-540-30101-1_15"},{"issue":"1\u20133","key":"337_CR24","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/j.scico.2004.05.014","volume":"55","author":"G G\u00f6ssler","year":"2005","unstructured":"G\u00f6ssler, G., Sifakis, J.: Composition for component-based modeling. Sci. Comput. Program. 55(1\u20133), 161\u2013183 (2005). \nhttps:\/\/doi.org\/10.1016\/j.scico.2004.05.014\n\n. (Formal Methods for Components and Objects: Pragmatic aspects and applications)","journal-title":"Sci. Comput. Program."},{"key":"337_CR25","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/BFb0053567","volume-title":"Programming Languages and Systems, LNCS","author":"K Honda","year":"1998","unstructured":"Honda, K., Vasconcelos, V.T., Kubo, M.: Language primitives and type discipline for structured communication-based programming. In: Hankin, C. (ed.) Programming Languages and Systems, LNCS, vol. 1381, pp. 122\u2013138. Springer Berlin Heidelberg, Berlin (1998). \nhttps:\/\/doi.org\/10.1007\/BFb0053567"},{"issue":"1","key":"337_CR26","doi-asserted-by":"publisher","first-page":"3:1","DOI":"10.1145\/2873052","volume":"49","author":"H H\u00fcttel","year":"2016","unstructured":"H\u00fcttel, H., Lanese, I., Vasconcelos, V.T., Caires, L., Carbone, M., Deni\u00e9lou, P.M., Mostrous, D., Padovani, L., Ravara, A., Tuosto, E., Vieira, H.T., Zavattaro, G.: Foundations of session types and behavioural contracts. ACM Comput. Surv. 49(1), 3:1\u20133:36 (2016). \nhttps:\/\/doi.org\/10.1145\/2873052","journal-title":"ACM Comput. Surv."},{"key":"337_CR27","doi-asserted-by":"publisher","unstructured":"Mavridou, A., Stachtiari, E., Bliudze, S., Ivanov, A., Katsaros, P., Sifakis, J.: Architecture-based design: A satellite on-board software case study. In: 13th International Conference on Formal Aspects of Component Software (FACS 2016), Lecture Notes in Computer Science, vol. 10231, pp. 260\u2013279 (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-57666-4_16","DOI":"10.1007\/978-3-319-57666-4_16"},{"key":"337_CR28","volume-title":"Communication and Concurrency. Prentice Hall International Series in Computer Science","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall International Series in Computer Science. Prentice Hall, Upper Saddle River (1989)"},{"key":"337_CR29","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/j.ic.2007.11.008","volume":"207","author":"M Mousavi","year":"2009","unstructured":"Mousavi, M., Phillips, I., Reniers, M.A., Ulidowski, I.: Semantics and expressiveness of ordered SOS. Inf. Comput. 207, 85\u2013119 (2009). \nhttps:\/\/doi.org\/10.1016\/j.ic.2007.11.008","journal-title":"Inf. Comput."},{"issue":"3","key":"337_CR30","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1016\/j.tcs.2006.12.019","volume":"373","author":"M Mousavi","year":"2007","unstructured":"Mousavi, M., Reniers, M.A., Groote, J.F.: SOS formats and meta-theory: 20 years after. Theor. Comput. Sci. 373(3), 238\u2013272 (2007). \nhttps:\/\/doi.org\/10.1016\/j.tcs.2006.12.019","journal-title":"Theor. Comput. Sci."},{"key":"337_CR31","doi-asserted-by":"publisher","unstructured":"Park, D.M.R.: Concurrency and automata on infinite sequences. In: Proceedings of the 5th GI-Conference on Theoretical Computer Science, pp. 167\u2013183 (1981). \nhttps:\/\/doi.org\/10.1007\/BFb0017309","DOI":"10.1007\/BFb0017309"},{"key":"337_CR32","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Tech. Rep. DAIMI FN-19, University of Aarhus (1981). \nhttp:\/\/citeseer.ist.psu.edu\/plotkin81structural.html"},{"issue":"1","key":"337_CR33","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"JJMM Rutten","year":"2000","unstructured":"Rutten, J.J.M.M.: Universal coalgebra: a theory of systems. Theor. Comput. Sci. 249(1), 3\u201380 (2000). \nhttps:\/\/doi.org\/10.1016\/S0304-3975(00)00056-6","journal-title":"Theor. Comput. Sci."},{"key":"337_CR34","doi-asserted-by":"publisher","unstructured":"Sifakis, J.: A framework for component-based construction. In: 3rd IEEE International Conference on Software Engineering and Formal Methods (SEFM05), pp. 293\u2013300 (2005). \nhttps:\/\/doi.org\/10.1109\/SEFM.2005.3\n\n. Keynote talk","DOI":"10.1109\/SEFM.2005.3"},{"key":"337_CR35","doi-asserted-by":"publisher","unstructured":"Sobocinski, P.: A non-interleaving process calculus for multi-party synchronisation. In: Bonchi, F., Grohmann, D., Spoletini, P., Tuosto, E. (eds.) ICE, EPTCS, vol.\u00a012, pp. 87\u201398 (2009). \nhttps:\/\/doi.org\/10.4204\/EPTCS.12.6","DOI":"10.4204\/EPTCS.12.6"},{"key":"337_CR36","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.jss.2018.07.053","volume":"145","author":"E Stachtiari","year":"2018","unstructured":"Stachtiari, E., Mavridou, A., Katsaros, P., Bliudze, S., Sifakis, J.: Early validation of system requirements and design through correctness-by-construction. J. Syst. Softw. 145, 52\u201378 (2018). \nhttps:\/\/doi.org\/10.1016\/j.jss.2018.07.053","journal-title":"J. Syst. Softw."},{"key":"337_CR37","doi-asserted-by":"publisher","unstructured":"van Glabbeek, R.J.: Musings on encodings and expressiveness. In: Luttik, B., Reniers, M.A. (eds.) Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, EXPRESS\/SOS 2012, Newcastle upon Tyne, UK, September 3, 2012., EPTCS, vol.\u00a089, pp. 81\u201398 (2012). \nhttps:\/\/doi.org\/10.4204\/EPTCS.89.7","DOI":"10.4204\/EPTCS.89.7"}],"updated-by":[{"DOI":"10.1007\/s00236-019-00343-9","type":"correction","label":"Correction","source":"publisher","updated":{"date-parts":[[2019,9,16]],"date-time":"2019-09-16T00:00:00Z","timestamp":1568592000000}}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-019-00337-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-019-00337-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-019-00337-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,13]],"date-time":"2020-10-13T10:15:56Z","timestamp":1602584156000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-019-00337-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,15]]},"references-count":37,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2020,12]]}},"alternative-id":["337"],"URL":"https:\/\/doi.org\/10.1007\/s00236-019-00337-7","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,6,15]]},"assertion":[{"value":"8 April 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 June 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 June 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 September 2019","order":4,"name":"change_date","label":"Change Date","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Correction","order":5,"name":"change_type","label":"Change Type","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The Original Article has been funded.","order":6,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}}]}}