{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:53:54Z","timestamp":1725533634397},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642025709"},{"type":"electronic","value":"9783642025716"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02571-6_3","type":"book-chapter","created":{"date-parts":[[2009,6,26]],"date-time":"2009-06-26T14:15:30Z","timestamp":1246025730000},"page":"18-36","source":"Crossref","is-referenced-by-count":1,"title":["CIF: A Framework for Managing Integrity in Aspect-Oriented Composition"],"prefix":"10.1007","author":[{"given":"Andrew","family":"Camilleri","sequence":"first","affiliation":[]},{"given":"Geoffrey","family":"Coulson","sequence":"additional","affiliation":[]},{"given":"Lynne","family":"Blair","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.M., Irwin, J.: Aspect-oriented programming, pp. 220\u2013242 (1997)","DOI":"10.1007\/BFb0053381"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Clark, D.D., Wilson, D.R.: A comparison of commercial and military computer security policies. SP, 184 (1987)","DOI":"10.1109\/SP.1987.10001"},{"key":"3_CR3","unstructured":"Filman, R.E., Friedman, D.P.: Aspect-oriented programming is quantification and obliviousness. Technical report (2000)"},{"key":"3_CR4","first-page":"26","volume-title":"AOSD 2004: Proceedings of the 3rd international conference on Aspect-oriented software development","author":"E. Hilsdale","year":"2004","unstructured":"Hilsdale, E., Hugunin, J.: Advice weaving in aspectj. In: AOSD 2004: Proceedings of the 3rd international conference on Aspect-oriented software development, pp. 26\u201335. ACM, New York (2004)"},{"key":"3_CR5","first-page":"192","volume-title":"AOSD 2005: Proceedings of the 4th international conference on Aspect-oriented software development","author":"N. McEachen","year":"2005","unstructured":"McEachen, N., Alexander, R.T.: Distributing classes with woven concerns: an exploration of potential fault scenarios. In: AOSD 2005: Proceedings of the 4th international conference on Aspect-oriented software development, pp. 192\u2013200. ACM Press, New York (2005)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Stoerzer, M., Graf, J.: Using pointcut delta analysis to support evolution of aspect-oriented software. ICSM, 653\u2013656 (2005)","DOI":"10.1109\/ICSM.2005.99"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"1278","DOI":"10.1109\/PROC.1975.9939","volume":"63","author":"J.H. Saltzer","year":"1975","unstructured":"Saltzer, J.H., Schroeder, M.D.: The protection of information in computer systems. Proceedings of the IEEE\u00a063, 1278\u20131308 (1975)","journal-title":"Proceedings of the IEEE"},{"key":"3_CR8","unstructured":"JBossAOP, http:\/\/www.jboss.org\/jbossaop"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Rajan, H., Sullivan, K.J.: Classpects: unifying aspect- and object-oriented language design. In: ICSE 2005: Proceedings of the 27th international conference on Software engineering, pp. 59\u201368. ACM, New York (2005)","DOI":"10.1145\/1062455.1062483"},{"key":"3_CR10","unstructured":"AspectJ, http:\/\/www.eclipse.org\/aspectj"},{"issue":"7","key":"3_CR11","doi-asserted-by":"publisher","first-page":"711","DOI":"10.1002\/spe.715","volume":"36","author":"S. Soares","year":"2006","unstructured":"Soares, S., Borba, P., Laureano, E.: Distribution and persistence as aspects. Softw. Pract. Exper.\u00a036(7), 711\u2013759 (2006)","journal-title":"Softw. Pract. Exper."},{"key":"3_CR12","first-page":"8","volume-title":"EARLYASPECTS 2007: Proceedings of the Early Aspects at ICSE","author":"P. Greenwood","year":"2007","unstructured":"Greenwood, P., Garcia, A., Rashid, A., Figueiredo, E., Sant\u2019Anna, C., Cacho, N., Sampaio, A., Soares, S., Borba, P., Dosea, M., Ramos, R., Kulesza, U., Bartolomei, T., Pinto, M., Fuentes, L., Gamez, N., Moreira, A., Araujo, J., Batista, T., Medeiros, A., Dantas, F., Fernandes, L., Wloka, J., Chavez, C., France, R., Brito, I.: On the Contributions of an End-to-End AOSD Testbed. In: EARLYASPECTS 2007: Proceedings of the Early Aspects at ICSE, Washington, DC, USA, p. 8. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"3_CR13","unstructured":"AspectBench, http:\/\/abc.comlab.ox.ac.uk"},{"key":"3_CR14","unstructured":"Dinkelaker, T., Haupt, M., Pawlak, R., Benavides, L.D., Gasiunas, V.: Inventory of aspect-oriented execution models. Technical report, AOSD-Europe (2006)"},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1145\/1167473.1167484","volume-title":"OOPSLA 2006: Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications","author":"C. Bockisch","year":"2006","unstructured":"Bockisch, C., Kanthak, S., Haupt, M., Arnold, M., Mezini, M.: Efficient control flow quantification. In: OOPSLA 2006: Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, pp. 125\u2013138. ACM, New York (2006)"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/11494881_11","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"R. Pawlak","year":"2005","unstructured":"Pawlak, R., Duchien, L., Seinturier, L.: CompAr: Ensuring Safe Around Advice Composition. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol.\u00a03535, pp. 163\u2013178. Springer, Heidelberg (2005)"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/978-3-540-73589-2_22","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","author":"C. Clifton","year":"2007","unstructured":"Clifton, C., Leavens, G.T., Noble, J.: MAO: Ownership and effects for more effective reasoning about aspects. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol.\u00a04609, pp. 451\u2013475. Springer, Heidelberg (2007)"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Kiczales, G., Mezini, M.: Aspect-oriented programming and modular reasoning. In: ICSE 2005: Proceedings of the 27th international conference on Software engineering, pp. 49\u201358. ACM, New York (2005)","DOI":"10.1145\/1062455.1062482"},{"key":"3_CR19","first-page":"144","volume-title":"Open modules: Modular reasoning about advice","author":"J. Aldrich","year":"2005","unstructured":"Aldrich, J.: Open modules: Modular reasoning about advice, pp. 144\u2013168. Springer, Heidelberg (2005)"},{"key":"3_CR20","unstructured":"Gudmundson, S., Kiczales, G.: Addressing Practical Software Development Issues in AspectJ with a Pointcut Interface. In: Advanced Separation of Concerns (2001)"},{"issue":"5","key":"3_CR21","doi-asserted-by":"publisher","first-page":"542","DOI":"10.1093\/comjnl\/46.5.542","volume":"46","author":"K. Lieberherr","year":"2003","unstructured":"Lieberherr, K., Lorenz, D.H.: Aspectual Collaborations: Combining Modules and Aspects. The Computer Journal\u00a046(5), 542\u2013565 (2003)","journal-title":"The Computer Journal"},{"issue":"5","key":"3_CR22","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1145\/1095430.1081734","volume":"30","author":"K. Sullivan","year":"2005","unstructured":"Sullivan, K., Griswold, W.G., Song, Y., Cai, Y., Shonle, M., Tewari, N., Rajan, H.: Information hiding interfaces for aspect-oriented design. SIGSOFT Softw. Eng. Notes\u00a030(5), 166\u2013175 (2005)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"3_CR23","unstructured":"Larochelle, D., Scheidt, K., Sullivan, K., Wei, Y., Winstead, J., Wood, A.: Join point encapsulation. In: AOSD 2003 Workshop on Software-engineering Properties of Languages for Aspect Technologies (2003)"},{"key":"3_CR24","unstructured":"Sanen, F., Truyen, E., De Win, B., Wouter, J., Loughran, N., Coulson, G., Rashid, A., Nedos, A., Jackson, A., Clarke, S.: Study on interaction issues. Technical report, AOSD-Europe (2006)"},{"key":"3_CR25","unstructured":"Katz, S., Katz, E., Havinga, W., Staijen, T., Taiani, F., Weston, N., Rashid, A., Sudholt, M., Ha Nguyen, D.: Detecting interference among aspects. Technical report, AOSD-Europe (2006)"},{"key":"3_CR26","unstructured":"Composition, reuse and interaction analysis of stateful aspects. In: AOSD 2004: Proceedings of the 3rd international conference on Aspect-oriented software development. ACM, New York (2004)"},{"key":"3_CR27","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/1137627.1137633","volume-title":"SESS 2006: Proceedings of the 2006 international workshop on Software engineering for secure systems","author":"B. Win De","year":"2006","unstructured":"De Win, B., Piessens, F., Wouter, J.: How secure is aop and what can we do about it? In: SESS 2006: Proceedings of the 2006 international workshop on Software engineering for secure systems, pp. 27\u201334. ACM, New York (2006)"},{"issue":"5","key":"3_CR28","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1093\/comjnl\/46.5.529","volume":"46","author":"M. Sihman","year":"2003","unstructured":"Sihman, M., Katz, S.: Superimpositions and aspect-oriented programming. The Computer Journal\u00a046(5), 529\u2013541 (2003)","journal-title":"The Computer Journal"},{"key":"3_CR29","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1145\/1111037.1111071","volume-title":"POPL 2006: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"D.S. Dantas","year":"2006","unstructured":"Dantas, D.S., Walker, D.: Harmless advice. In: POPL 2006: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 383\u2013396. ACM, New York (2006)"},{"issue":"6","key":"3_CR30","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1145\/1041685.1029917","volume":"29","author":"M. Rinard","year":"2004","unstructured":"Rinard, M., Salcianu, A., Bugrara, S.: A classification system and analysis for aspect-oriented programs. SIGSOFT Softw. Eng. Notes\u00a029(6), 147\u2013158 (2004)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"Munoz, F., Baudry, B., Barais, O.: Improving maintenance in aop through an interaction specification framework. In: IEEE International Conference on Software Maintenance, ICSM 2008, September 28-October 4, pp. 77\u201386 (2008)","DOI":"10.1109\/ICSM.2008.4658056"},{"key":"3_CR32","unstructured":"Zhang, D., Hendren, L.: Static Aspect Impact Analysis. Technical report, Aspect-Bench (2007)"},{"key":"3_CR33","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/1029894.1029916","volume-title":"SIGSOFT 2004\/FSE-12: Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering","author":"S. Krishnamurthi","year":"2004","unstructured":"Krishnamurthi, S., Fisler, K., Greenberg, M.: Verifying aspect advice modularly. In: SIGSOFT 2004\/FSE-12: Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, pp. 137\u2013146. ACM, New York (2004)"},{"key":"3_CR34","unstructured":"Clifton, C., Leavens, G.T.: Observers and assistants: A proposal for modular aspect-oriented reasoning. In: Foundations of Aspect Languages, pp. 33\u201344 (2002)"},{"key":"3_CR35","doi-asserted-by":"crossref","unstructured":"Lorenz, D.H., Skotiniotis, T.: Extending design by contract for aspect-oriented programming. CoRR abs\/cs\/0501070 (2005)","DOI":"10.1145\/1028664.1028747"},{"key":"3_CR36","unstructured":"Lagaisse, B., Joosen, W., De Win, B.: Managing semantic interference with aspect integration contracts. In: International Workshop on Software-Engineering Properties of Languages for Aspect Technologies (2004)"}],"container-title":["Lecture Notes in Business Information Processing","Objects, Components, Models and Patterns"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02571-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,25]],"date-time":"2023-05-25T20:22:22Z","timestamp":1685046142000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02571-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642025709","9783642025716"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02571-6_3","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2009]]}}}