{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T08:16:48Z","timestamp":1742977008593,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319415901"},{"type":"electronic","value":"9783319415918"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-41591-8_25","type":"book-chapter","created":{"date-parts":[[2016,6,23]],"date-time":"2016-06-23T13:27:27Z","timestamp":1466688447000},"page":"367-385","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Modularizing Crosscutting Concerns in Component-Based Systems"],"prefix":"10.1007","author":[{"given":"Antoine","family":"El-Hokayem","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yli\u00e8s","family":"Falcone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamad","family":"Jaber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,23]]},"reference":[{"issue":"3","key":"25_CR1","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/j.scico.2005.12.001","volume":"63","author":"K Altisen","year":"2006","unstructured":"Altisen, K., Maraninchi, F., Stauch, D.: Aspect-oriented programming for reactive systems: larissa, a proposal in the synchronous framework. Sci. Comput. Program. 63(3), 297\u2013320 (2006)","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"25_CR2","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 Softw. 28(3), 41\u201348 (2011)","journal-title":"IEEE Softw."},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Bliudze, S., Sifakis, J.: A notion of glue expressiveness for component-based systems. In: Proceedings of the 19th International Conference on Concurrency Theory, pp. 508\u2013522 (2008)","DOI":"10.1007\/978-3-540-85361-9_39"},{"issue":"4","key":"25_CR4","doi-asserted-by":"publisher","first-page":"708","DOI":"10.1109\/TII.2010.2069102","volume":"6","author":"M Bozga","year":"2010","unstructured":"Bozga, M., Jaber, M., Sifakis, J.: Source-to-source architecture transformation for performance optimization in BIP. IEEE Trans. Ind. Inform. 6(4), 708\u2013718 (2010)","journal-title":"IEEE Trans. Ind. Inform."},{"key":"25_CR5","unstructured":"Czarnecki, K., Eisenecker, U.W., Steyaert, P.: Beyond objects: generative programming. In: The 23rd International Conference on Software Engineering, pp. 5\u201314 (1997)"},{"key":"25_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/11821946_6","volume-title":"Software Composition","author":"P-C David","year":"2006","unstructured":"David, P.-C., Ledoux, T.: An aspect-oriented approach for developing self-adaptive fractal components. In: L\u00f6we, W., S\u00fcdholt, M. (eds.) SC 2006. LNCS, vol. 4089, pp. 82\u201397. Springer, Heidelberg (2006)"},{"key":"25_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/978-3-319-25150-9_25","volume-title":"Theoretical Aspects of Computing - ICTAC 2015","author":"J Dihego","year":"2015","unstructured":"Dihego, J., Sampaio, A.: Aspect-oriented development of trustworthy component-based systems. In: Leucker, M., et al. (eds.) ICTAC 2015. LNCS, vol. 9399, pp. 425\u2013444. Springer, Heidelberg (2015). doi:\n                      10.1007\/978-3-319-25150-9_25"},{"issue":"3","key":"25_CR8","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1016\/j.scico.2011.10.010","volume":"77","author":"SD Djoko","year":"2012","unstructured":"Djoko, S.D., Douence, R., Fradet, P.: Aspects preserving properties. Sci. Comput. Program. 77(3), 393\u2013422 (2012)","journal-title":"Sci. Comput. Program."},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Duclos, F., Estublier, J., Morat, P.: Describing and using non functional aspects in component based applications. In: AOSD, pp. 65\u201375 (2002)","DOI":"10.1145\/508386.508394"},{"key":"25_CR10","unstructured":"El-Hokayem, A., Falcone, Y., Jaber, M.: \n                      http:\/\/ujf-aub.bitbucket.org\/aop-bip\/"},{"key":"25_CR11","unstructured":"Falcone, Y., Havelund, K., Reger, G.: A tutorial on runtime verification. In: Engineering Dependable Software Systems, vol. 34, pp. 141\u2013175. IOS Press (2013)"},{"issue":"1","key":"25_CR12","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/s10270-013-0323-y","volume":"14","author":"Y Falcone","year":"2015","unstructured":"Falcone, Y., Jaber, M., Nguyen, T., Bozga, M., Bensalem, S.: Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. Softw. Syst. Model. 14(1), 173\u2013199 (2015)","journal-title":"Softw. Syst. Model."},{"key":"25_CR13","doi-asserted-by":"publisher","unstructured":"Falcone, Y., Jaber, M.: Fully automated runtime enforcement of component-based systems with formal and sound recovery. Int. J. Softw. Tools. Technol. Transf. 1\u201325, (2016). doi:\n                      10.1007\/s10009-016-0413-6\n                      \n                    . ISSN:1433-2787","DOI":"10.1007\/s10009-016-0413-6"},{"key":"25_CR14","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"issue":"1\u20132","key":"25_CR15","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: a model transformation tool. Sci. Comput. Program. 72(1\u20132), 31\u201339 (2008)","journal-title":"Sci. Comput. Program."},{"key":"25_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/11687061_4","volume-title":"Transactions on Aspect-Oriented Software Development I","author":"S Katz","year":"2006","unstructured":"Katz, S.: Aspect categories and classes of temporal properties. In: Rashid, A., Ak\u015fit, M. (eds.) Transactions on Aspect-Oriented Software Development I. LNCS, vol. 3880, pp. 106\u2013134. Springer, Heidelberg (2006)"},{"issue":"1","key":"25_CR17","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/s10009-011-0191-0","volume":"14","author":"S Katz","year":"2012","unstructured":"Katz, S., Faitelson, D.: The common aspect proof environment. STTT 14(1), 41\u201352 (2012)","journal-title":"STTT"},{"issue":"3","key":"25_CR18","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1145\/66083.66089","volume":"24","author":"KJ Lieberherr","year":"1989","unstructured":"Lieberherr, K.J., Holland, I.M.: Formulations and benefits of the law of demeter. SIGPLAN Not. 24(3), 67\u201378 (1989)","journal-title":"SIGPLAN Not."},{"issue":"5","key":"25_CR19","doi-asserted-by":"publisher","first-page":"542","DOI":"10.1093\/comjnl\/46.5.542","volume":"46","author":"KJ Lieberherr","year":"2003","unstructured":"Lieberherr, K.J., Lorenz, D.H., Ovlinger, J.: Aspectual collaborations: combining modules and aspects. Comput. J. 46(5), 542\u2013565 (2003)","journal-title":"Comput. J."},{"key":"25_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1007\/978-3-319-15317-9_18","volume-title":"Formal Aspects of Component Software","author":"M Noureddine","year":"2015","unstructured":"Noureddine, M., Jaber, M., Bliudze, S., Zaraket, F.A.: Reduction and abstraction techniques for BIP. In: Lanese, I., Madelaine, E. (eds.) FACS 2014. LNCS, vol. 8997, pp. 288\u2013305. Springer, Heidelberg (2015)"},{"issue":"1\/2","key":"25_CR21","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1504\/IJCAT.2008.017722","volume":"31","author":"N Pessemier","year":"2008","unstructured":"Pessemier, N., Seinturier, L., Duchien, L., Coupaye, T.: A component-based and aspect-oriented model for software evolution. IJCAT 31(1\/2), 94\u2013105 (2008)","journal-title":"IJCAT"},{"key":"25_CR22","unstructured":"Tarr, P., Ossher, H.: Hyper\/J: multi-dimensional separation of concerns for Java. In: Proceedings of the 23rd International Conference on Software Engineering, pp. 729\u2013730 (2001)"},{"key":"25_CR23","unstructured":"Verimag: BIP Tools. \n                      http:\/\/www-verimag.imag.fr\/BIP-Tools,93.html"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-41591-8_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T00:55:17Z","timestamp":1558313717000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-41591-8_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319415901","9783319415918"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-41591-8_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"23 June 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}