{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:14Z","timestamp":1772164034664,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,10,22]],"date-time":"2011-10-22T00:00:00Z","timestamp":1319241600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,10,22]]},"DOI":"10.1145\/2047862.2047871","type":"proceedings-article","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T08:23:06Z","timestamp":1319530986000},"page":"43-52","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Static analysis of aspect interaction and composition in component models"],"prefix":"10.1145","author":[{"given":"Abdelhakim","family":"Hannousse","sequence":"first","affiliation":[{"name":"Ascola, INRIA, EMN, Aelos, LINA, Nantes, France"}]},{"given":"R\u00e9mi","family":"Douence","sequence":"additional","affiliation":[{"name":"INRIA, Ascola, LINA, Nantes, France"}]},{"given":"Gilles","family":"Ardourel","sequence":"additional","affiliation":[{"name":"Aelos, Universit\u00e9 de Nantes, LINA, Nantes, France"}]}],"member":"320","published-online":{"date-parts":[[2011,10,22]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"Szyperski C.","year":"2002","unstructured":"C. Szyperski , D. Gruntz , and S. Murer , Component Software: Beyond Object-Oriented Programming , 2 nd edition, ACM Press and Addison-Wesley , 2002 . C. Szyperski, D. Gruntz, and S. Murer, Component Software: Beyond Object-Oriented Programming, 2nd edition, ACM Press and Addison-Wesley, 2002.","edition":"2"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503260"},{"key":"e_1_3_2_1_3_1","first-page":"21","volume-title":"Views for aspectualizing component models,\" in ACP4IS","author":"Hannousse A.","year":"2010","unstructured":"A. Hannousse , G. Ardourel , and R. Douence , \" Views for aspectualizing component models,\" in ACP4IS , pp. 21 -- 25 , 2010 . A. Hannousse, G. Ardourel, and R. Douence, \"Views for aspectualizing component models,\" in ACP4IS, pp. 21--25, 2010."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.v36:11\/12"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2011.18"},{"key":"e_1_3_2_1_6_1","first-page":"200","volume-title":"LNCS","volume":"3185","author":"Behrmann G.","year":"2004","unstructured":"G. Behrmann , A. David , and K. G. Larsen , \" A tutorial on Uppaal,\" in SFM-RT , LNCS , vol. 3185 , pp. 200 -- 236 , Springer-Verlag , 2004 . G. Behrmann, A. David, and K. G. Larsen, \"A tutorial on Uppaal,\" in SFM-RT, LNCS, vol. 3185, pp. 200--236, Springer-Verlag, 2004."},{"key":"e_1_3_2_1_7_1","first-page":"189","volume-title":"LNCS","volume":"4608","author":"\u0160ery O.","year":"2007","unstructured":"O. \u0160ery and F. Pl\u00e1\u0161il , \" Slicing of component behavior specification with respect to their composition,\" in CBSE , LNCS , vol. 4608 , pp. 189 -- 202 , Springer , 2007 . O. \u0160ery and F. Pl\u00e1\u0161il, \"Slicing of component behavior specification with respect to their composition,\" in CBSE, LNCS, vol. 4608, pp. 189--202, Springer, 2007."},{"key":"e_1_3_2_1_8_1","first-page":"327","volume-title":"An overview of AspectJ,\" in ECOOP","author":"Kiczales G.","year":"2001","unstructured":"G. Kiczales , E. Hilsdale , J. Hugunin , M. Kersten , J. Palm , and W. G. Griswold , \" An overview of AspectJ,\" in ECOOP , pp. 327 -- 353 , Springer-Verlag , 2001 . G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold, \"An overview of AspectJ,\" in ECOOP, pp. 327--353, Springer-Verlag, 2001."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1045"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(02)00352-3"},{"key":"e_1_3_2_1_12_1","first-page":"23","volume-title":"Classifying and documenting aspect interactions,\" in ACP4IS","author":"Sanen F.","year":"2006","unstructured":"F. Sanen , E. Truyen , and W. Joosen , \" Classifying and documenting aspect interactions,\" in ACP4IS , pp. 23 -- 26 , 2006 . F. Sanen, E. Truyen, and W. Joosen, \"Classifying and documenting aspect interactions,\" in ACP4IS, pp. 23--26, 2006."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/643603.643606"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.03.009"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1002\/nem.710"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-010-0101-1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217295.1217296"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1394496.1394500"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1562860.1562863"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/976270.976288"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173718"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/SERA.2006.62"},{"key":"e_1_3_2_1_23_1","first-page":"201","volume-title":"LNCS","volume":"6491","author":"J\u00e9z\u00e9quel J.-M.","year":"2011","unstructured":"J.-M. J\u00e9z\u00e9quel , O. Barais , and F. Fleurey , \" Model driven language engineering with Kermeta,\" in GTTSE 3 , LNCS , vol. 6491 , pp 201 -- 221 . Springer Berlin\/Heidelberg , 2011 . J.-M. J\u00e9z\u00e9quel, O. Barais, and F. Fleurey, \"Model driven language engineering with Kermeta,\" in GTTSE 3, LNCS, vol. 6491, pp 201--221. Springer Berlin\/Heidelberg, 2011."},{"issue":"3","key":"e_1_3_2_1_24_1","first-page":"4","article-title":"Foundations of the B Method","volume":"22","author":"Cansell D.","year":"2003","unstructured":"D. Cansell , D. Mery , \" Foundations of the B Method ,\" Journal of Computing and Informatics , vol. 22 , no. 3 -- 4 , pp. 221--256, 2003 . D. Cansell, D. Mery, \"Foundations of the B Method,\" Journal of Computing and Informatics, vol. 22, no. 3--4, pp. 221--256, 2003.","journal-title":"Journal of Computing and Informatics"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985838"}],"event":{"name":"GPCE '11: Generative Programming and Component Engineering","location":"Portland Oregon USA","acronym":"GPCE '11","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 10th ACM international conference on Generative programming and component engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2047862.2047871","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2047862.2047871","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:31Z","timestamp":1750225711000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2047862.2047871"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,22]]},"references-count":25,"alternative-id":["10.1145\/2047862.2047871","10.1145\/2047862"],"URL":"https:\/\/doi.org\/10.1145\/2047862.2047871","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2189751.2047871","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,10,22]]},"assertion":[{"value":"2011-10-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}