{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T05:33:46Z","timestamp":1740548026486,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642160851"},{"type":"electronic","value":"9783642160868"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16086-8_9","type":"book-chapter","created":{"date-parts":[[2010,9,17]],"date-time":"2010-09-17T10:54:40Z","timestamp":1284720880000},"page":"321-374","source":"Crossref","is-referenced-by-count":5,"title":["A Graph-Based Aspect Interference Detection Approach for UML-Based Aspect-Oriented Models"],"prefix":"10.1007","author":[{"given":"Selim","family":"Ciraci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wilke","family":"Havinga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehmet","family":"Aksit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Bockisch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pim","family":"van den Broek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Gace: Graph-based adaptation, configuration and evolution modeling, http:\/\/trese.cs.utwente.nl\/willevolve\/"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/BFb0017540","volume-title":"Object-Based Distributed Processing","author":"M. Ak\u015fit","year":"1994","unstructured":"Ak\u015fit, M., Wakita, K., Bosch, J., Bergmans, L., Yonezawa, A.: Abstracting object interactions using composition filters. In: Guerraoui, R., Nierstrasz, O., Riveill, M. (eds.) ECOOP-WS 1993. LNCS, vol.\u00a0791, pp. 152\u2013184. Springer, Heidelberg (1994)"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/1509239.1509247","volume-title":"AOSD 2009: Proceedings of the 8th ACM International Conference on Aspect-Oriented Software Development","author":"M. Aksit","year":"2009","unstructured":"Aksit, M., Rensink, A., Staijen, T.: A Graph-Transformation-Based Simulation Approach for Analysing Aspect Interference on Shared Join Points. In: AOSD 2009: Proceedings of the 8th ACM International Conference on Aspect-Oriented Software Development, Charlottesville, Virginia, USA, pp. 39\u201350. ACM, New York (2009)"},{"issue":"3","key":"9_CR4","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. Science of Computer Programming\u00a063(3), 297\u2013320 (2006)","journal-title":"Science of Computer Programming"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1109\/ICRE.2004.1335664","volume-title":"Proc. 12th Int\u2019l Requirements Engineering Conference","author":"J. Ara\u00fajo","year":"2004","unstructured":"Ara\u00fajo, J., Whittle, J., Kim, D.-K.: Modeling and composing scenario-based requirements with aspects. In: Proc. 12th Int\u2019l Requirements Engineering Conference, pp. 53\u201362. IEEE, Los Alamitos (September 2004)"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1109\/ICSE.2004.1317438","volume-title":"Proceedings of the 26th International Conference on Software Engineering","author":"E. Baniassad","year":"2004","unstructured":"Baniassad, E., Clarke, S.: Theme: An approach for aspect-oriented analysis and design. In: Proceedings of the 26th International Conference on Software Engineering, pp. 158\u2013167. IEEE Computer Society, Washington (2004)"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/1218563.1218569","volume-title":"Proceedings of the 6th international conference on Aspect-oriented software development","author":"R. Chitchyan","year":"2007","unstructured":"Chitchyan, R., Rashid, A., Rayson, P., Waters, R.: Semantics-based composition for aspect-oriented requirements engineering. In: Proceedings of the 6th international conference on Aspect-oriented software development, pp. 36\u201348. ACM, New York (2007)"},{"key":"9_CR8","unstructured":"Chitchyan, R., Rashid, A., Sawyer, P., Garcia, A., Alarcon, M.P., Bakker, J., Tekinerdogan, B., Clarke, S., Jackson, A.: Survey of aspect-oriented analysis and design approaches. Technical Report AOSD-Europe-ULANC-9, AOSD-Europe (May 2005)"},{"key":"9_CR9","unstructured":"Ciraci, S.: Graph Based Verification of Software Evolution Requirements. PhD thesis, University of Twente (December 2009)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Ciraci, S., van den Broek, P., Aksit, M.: Framework for computer-aided evolution of object-oriented designs. In: COMPSAC, pp. 757\u2013764 (2008)","DOI":"10.1109\/COMPSAC.2008.46"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Clarke, S., Walker, R.J.: Composition patterns: An approach to designing reusable aspects. In: Proc. 23rd Int\u2019l Conf. Software Engineering (ICSE), May 2001, pp. 5\u201314 (2001)","DOI":"10.1109\/ICSE.2001.919076"},{"key":"9_CR12","first-page":"425","volume-title":"Aspect-Oriented Software Development","author":"S. Clarke","year":"2005","unstructured":"Clarke, S., Walker, R.J.: Generic aspect-oriented design with Theme\/UML. In: Filman, R.E., Elrad, T., Clarke, S., Ak\u015fit, M. (eds.) Aspect-Oriented Software Development, pp. 425\u2013458. Addison-Wesley, Boston (2005)"},{"key":"9_CR13","unstructured":"D\u00fcrr, P.E.A.: Resource-based Verification for Robust Composition of Aspects. PhD thesis, University of Twente, Enschede (June 2008)"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0025714","volume-title":"Graph-Grammars and Their Application to Computer Science and Biology","author":"H. Ehrig","year":"1979","unstructured":"Ehrig, H.: Introduction to the algebraic theory of graph grammars. In: Claus, V., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1978. LNCS, vol.\u00a073, pp. 1\u201369. Springer, Heidelberg (1979)"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Engels, G., Heckel, R., Sauer, S.: Dynamic Meta Modeling: A Graphical Approach to Operational Semantics of Behavioral Diagrams in UML (1999)","DOI":"10.1007\/3-540-40011-7_23"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-540-72952-5_5","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"G. Engels","year":"2007","unstructured":"Engels, G., Soltenborn, C., Wehrheim, H.: Analysis of UML Activities Using Dynamic Meta Modeling. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol.\u00a04468, pp. 76\u201390. Springer, Heidelberg (2007)"},{"issue":"4","key":"9_CR17","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1049\/ip-sen:20040920","volume":"151","author":"R. France","year":"2004","unstructured":"France, R., Ray, I., Georg, G., Ghosh, S.: Aspect-oriented approach to early design modelling. IEE Proceedings Software\u00a0151(4), 173\u2013185 (2004)","journal-title":"IEE Proceedings Software"},{"issue":"3-4","key":"9_CR18","doi-asserted-by":"crossref","first-page":"287","DOI":"10.3233\/FI-1996-263404","volume":"26","author":"A. Habel","year":"1996","unstructured":"Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundam. Inf.\u00a026(3-4), 287\u2013313 (1996)","journal-title":"Fundam. Inf."},{"key":"9_CR19","series-title":"ACM International Conference Proceedings Series","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1145\/1218563.1218574","volume-title":"Proceedings of International Conference on Aspect Oriented Software Development, AOSD 2007","author":"W.K. Havinga","year":"2007","unstructured":"Havinga, W.K., Nagy, I., Bergmans, L.M.J., Ak\u015fit, M.: A graph-based approach to modeling and detecting composition conflicts related to introductions. In: de Moor, O. (ed.) Proceedings of International Conference on Aspect Oriented Software Development, AOSD 2007, Vancouver, Canada, March 2007. ACM International Conference Proceedings Series, pp. 85\u201395. ACM Press, New York (2007)"},{"issue":"10","key":"9_CR20","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1145\/97946.97967","volume":"25","author":"R. Helm","year":"1990","unstructured":"Helm, R., Holland, I., Gangopadhyay, D.: Contracts: specifying behavioral compositions in object-oriented systems. ACM Sigplan Notices\u00a025(10), 169\u2013180 (1990)","journal-title":"ACM Sigplan Notices"},{"key":"9_CR21","first-page":"43","volume-title":"ICSE COMPANION 2007: Companion to the proceedings of the 29th International Conference on Software Engineering","author":"P.K. Jayaraman","year":"2007","unstructured":"Jayaraman, P.K., Whittle, J.: Ucsim: A tool for simulating use case scenarios. In: ICSE COMPANION 2007: Companion to the proceedings of the 29th International Conference on Software Engineering, Washington, DC, USA, 2007, pp. 43\u201344. IEEE Computer Society, Los Alamitos (2007)"},{"key":"9_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/11768869_15","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"H. Kastenberg","year":"2006","unstructured":"Kastenberg, H., Kleppe, A.G., Rensink, A.: Defining OO Execution Semantics Using Graph Transformations. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol.\u00a04037, pp. 186\u2013201. Springer, Heidelberg (2006)"},{"key":"9_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/11691617_19","volume-title":"Model Checking Software","author":"H. Kastenberg","year":"2006","unstructured":"Kastenberg, H., Rensink, A.: Model Checking Dynamic States in GROOVE. In: Valmari, A. (ed.) SPIN 2006. LNCS, vol.\u00a03925, pp. 299\u2013305. Springer, Heidelberg (2006)"},{"key":"9_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1007\/11526841_29","volume-title":"FM 2005: Formal Methods","author":"E. Katz","year":"2005","unstructured":"Katz, E., Katz, S.: Verifying scenario-based aspect specifications. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, p. 432. Springer, Heidelberg (2005)"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Katz, S., Rashid, A.: From aspectual requirements to proof obligations for aspect-oriented systems. In: Proceedings 12th IEEE International Requirements Engineering Conference, pp. 48\u201357 (2004)","DOI":"10.1109\/ICRE.2004.1335663"},{"key":"9_CR26","unstructured":"Kleppe, A., Rensink, A.: On a Graph-Based Semantics for UML Class and Object Diagrams. In: Proceedings of the 7th International Workshop on Graph Transformation and Visual Modeling Techniques. Electronic Communications of the EASST, vol.\u00a010, p. 16 (2008)"},{"issue":"2","key":"9_CR27","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1016\/j.jss.2008.06.030","volume":"82","author":"J. Kong","year":"2009","unstructured":"Kong, J., Zhang, K., Dong, J., Xu, D.: Specifying behavioral semantics of UML diagrams through graph transformations. J. Syst. Softw.\u00a082(2), 292\u2013306 (2009)","journal-title":"J. Syst. Softw."},{"key":"9_CR28","unstructured":"Koppen, C., St\u00f6rzer, M.: PCDiff: Attacking the fragile pointcut problem. In: Gybels, K., Hanenberg, S., Herrmann, S., Wloka, J. (eds.) European Interactive Workshop on Aspects in Software (EIWAS) (September 2004)"},{"key":"9_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/3-540-45441-1_19","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"S. Kuske","year":"2001","unstructured":"Kuske, S.: A Formal Semantics of UML State Machines Based on Structured Graph Transformation. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 241\u2013256. Springer, Heidelberg (2001)"},{"issue":"3","key":"9_CR30","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/s10270-006-0044-6","volume":"6","author":"T. Mens","year":"2007","unstructured":"Mens, T., Taentzer, G., Runge, O.: Analysing refactoring dependencies using graph transformation. Software and Systems Modeling\u00a06(3), 269\u2013285 (2007)","journal-title":"Software and Systems Modeling"},{"key":"9_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/11880240_15","volume-title":"Model Driven Engineering Languages and Systems","author":"T. Mens","year":"2006","unstructured":"Mens, T., van der Straeten, R., D\u2019Hondt, M.: Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 200\u2013214. Springer, Heidelberg (2006)"},{"key":"9_CR32","doi-asserted-by":"crossref","first-page":"137","DOI":"10.5381\/jot.2007.6.7.a6","volume":"6","author":"F. Mostefaoui","year":"2007","unstructured":"Mostefaoui, F., Vachon, J.: Design-level Detection of Interactions in Aspect-UML models using Alloy. Journal of Object Technology\u00a06, 137\u2013165 (2007)","journal-title":"Journal of Object Technology"},{"key":"9_CR33","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/1229375.1229382","volume-title":"Proceedings of the 10th international workshop on Aspect-oriented modeling","author":"F. Mostefaoui","year":"2007","unstructured":"Mostefaoui, F., Vachon, J.: Verification of Aspect-UML models using Alloy. In: Proceedings of the 10th international workshop on Aspect-oriented modeling, pp. 41\u201348. ACM, New York (2007)"},{"key":"9_CR34","unstructured":"Nagy, I., Bergmans, L., Havinga, W., Aksit, M.: Utilizing Design Information in Aspect-Oriented Programming. In: Robert Hirschfeld, A.P., Kowalczyk, R., Weske, M. (eds.) Proceedings of International Conference NetObjectDays, NODe 2005, Erfurt, Germany, September 2005. Lecture Notes in Informatics, vol.\u00a0P-69, Gesellschaft f\u00fcr Informatik, GI (2005)"},{"issue":"1","key":"9_CR35","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1109\/52.43053","volume":"7","author":"C. Rich","year":"1990","unstructured":"Rich, C., Wills, L.: Recognizing a program\u2019s design: a graph-parsing approach. IEEE Software\u00a07(1), 82\u201389 (1990)","journal-title":"IEEE Software"},{"key":"9_CR36","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1145\/1101908.1101967","volume-title":"Proceedings of the 20th IEEE\/ACM international Conference on Automated software engineering","author":"A. Sampaio","year":"2005","unstructured":"Sampaio, A., Chitchyan, R., Rashid, A., Rayson, P.: EA-Miner: a tool for automating aspect-oriented requirements identification. In: Proceedings of the 20th IEEE\/ACM international Conference on Automated software engineering, pp. 352\u2013355. ACM, New York (2005)"},{"key":"9_CR37","unstructured":"Schauerhuber, A., Schwinger, W., Kapsammer, E., Retschitzegger, W., Wimmer, M., Kappel, G.: A survey on aspect-oriented modeling approaches. Relatorio tecnico, Vienna University of Technology (2007)"},{"issue":"2","key":"9_CR38","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/A:1022920129859","volume":"10","author":"W. Visser","year":"2003","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S., Lerda, F.: Model checking programs. Automated Software Engineering\u00a010(2), 203\u2013232 (2003)","journal-title":"Automated Software Engineering"},{"key":"9_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-540-71289-3_15","volume-title":"Fundamental Approaches to Software Engineering","author":"J. Whittle","year":"2007","unstructured":"Whittle, J.: Precise specification of use case scenarios. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol.\u00a04422, pp. 170\u2013184. Springer, Heidelberg (2007)"},{"key":"9_CR40","first-page":"16","volume-title":"RE 2006","author":"J. Whittle","year":"2006","unstructured":"Whittle, J., Jayaraman, P.K.: Generating hierarchical state machines from use case charts. In: RE 2006, Washington, DC, USA, 2006, pp. 16\u201325. IEEE Computer Society, Los Alamitos (2006)"},{"issue":"4","key":"9_CR41","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1016\/j.jvlc.2007.07.004","volume":"18","author":"C. Zhao","year":"2007","unstructured":"Zhao, C., Kong, J., Dong, J., Zhang, K.: Pattern-based design evolution using graph transformation. J. Vis. Lang. Comput.\u00a018(4), 378\u2013398 (2007)","journal-title":"J. Vis. Lang. Comput."}],"container-title":["Lecture Notes in Computer Science","Transactions on Aspect-Oriented Software Development VII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16086-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T22:05:11Z","timestamp":1740521111000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16086-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642160851","9783642160868"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16086-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}