{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T04:09:19Z","timestamp":1759205359428,"version":"3.40.5"},"reference-count":55,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,12,27]],"date-time":"2014-12-27T00:00:00Z","timestamp":1419638400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1007\/s10009-014-0364-8","type":"journal-article","created":{"date-parts":[[2014,12,26]],"date-time":"2014-12-26T06:55:35Z","timestamp":1419576935000},"page":"267-289","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Restoring security of evolving software models using graph transformation"],"prefix":"10.1007","volume":"17","author":[{"given":"Jens","family":"B\u00fcrger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"J\u00fcrjens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sven","family":"Wenzel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,12,27]]},"reference":[{"key":"364_CR1","doi-asserted-by":"crossref","unstructured":"Aksit, M., Rensink, A., Staijen, T.: A graph-transformation-based simulation approach for analysing aspect interference on shared join points. In: AOSD 2009, pp. 39\u201350. ACM, New York (2009)","DOI":"10.1145\/1509239.1509247"},{"key":"364_CR2","doi-asserted-by":"crossref","unstructured":"Amrani, M., Lucio, L., Selim, G.M.K., Combemale, B., Dingel, J., Vangheluwe, H., Traon, Y.L., Cordy, J.R.: A tridimensional approach for studying the formal verification of model transformations. In: ICST 2012, pp. 921\u2013928. IEEE (2012)","DOI":"10.1109\/ICST.2012.197"},{"key":"364_CR3","doi-asserted-by":"crossref","unstructured":"Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: advanced concepts and tools for in-place EMF model transformations. In: MoDELS 2010. LNCS, vol. 6394, pp. 121\u2013135. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16145-2_9"},{"key":"364_CR4","unstructured":"Awad, A.: BPMN-Q: A language to query business processes. In EMISA, pp. 115\u2013128 (2007)"},{"issue":"2","key":"364_CR5","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/j.jsc.2010.08.005","volume":"46","author":"Federico Banti","year":"2011","unstructured":"Banti, Federico, Pugliese, Rosario, Tiezzi, Francesco: An accessible verification environment for UML models of services. J. Symb. Comput. 46(2), 119\u2013149 (2011)","journal-title":"J. Symb. Comput."},{"key":"364_CR6","doi-asserted-by":"crossref","unstructured":"Bergmann, G., Horv\u00e1th, \u00c1., R\u00e1th, I., Varr\u00f3, D., Balogh, A., Balogh, Z., \u00d6kr\u00f6s, A.: Incremental evaluation of model queries over emf models. In: Model Driven Engineering Languages and Systems. Lecture Notes in Computer Science, vol. 6394, pp. 76\u201390. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16145-2_6"},{"key":"364_CR7","doi-asserted-by":"crossref","unstructured":"Bergmann, G., Massacci, F., Paci, F., Tun, T., Varr\u00f3, D., Yijun, Y.: A tool for managing evolving security requirements. In: Nurcan, S. (ed.) IS Olympics: Information Systems in a Diverse World. Lecture Notes in Business Information Processing, vol. 107, pp. 110\u2013125. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-29749-6_8"},{"key":"364_CR8","unstructured":"Biermann, E., Ermel, C., Taentzer, G.: Lifting parallel graph transformation concepts to model transformation based on the eclipse modeling framework. Electron. Commun. EASST 26, 1\u201319 (2010)"},{"key":"364_CR9","doi-asserted-by":"crossref","unstructured":"Bottoni, P., Koch, M., Parisi-Presicce, F., Taentzer, G.: Consistency checking and visualization of OCL constraints. In: UML. LNCS, vol. 1939, pp. 294\u2013308. Springer, Berlin (2000)","DOI":"10.1007\/3-540-40011-7_21"},{"key":"364_CR10","volume-title":"AntiPatterns: Refactoring Software, Architectures, and Projects in Crisis","author":"WJ Brown","year":"1998","unstructured":"Brown, W.J., Malveau, R.C., McCormick, H.W., Mowbray, T.J.: AntiPatterns: Refactoring Software, Architectures, and Projects in Crisis. Wiley, New York (1998)"},{"key":"364_CR11","unstructured":"Carisma tool homepage (2013). http:\/\/carisma.umlsec.de\/"},{"key":"364_CR12","unstructured":"CEA: Papyrus UML. http:\/\/www.papyrusuml.org"},{"key":"364_CR13","doi-asserted-by":"crossref","unstructured":"Cengarle, M.V., Knapp, A., Tarlecki, A., Wirsing, M.: A heterogeneous approach to UML semantics. In: Degano, P., de Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol. 5065, pp. 383\u2013402. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-68679-8_23"},{"key":"364_CR14","unstructured":"Cunningham, W., et al.: Portland pattern repository. http:\/\/c2.com\/cgi\/wiki?AntiPatternsCatalog"},{"key":"364_CR15","unstructured":"Eclipse Foundation: Eclipse. http:\/\/www.eclipse.org\/"},{"key":"364_CR16","unstructured":"Eclipse Foundation: Eclipse modeling framework project (EMF). http:\/\/eclipse.org\/modeling\/emf\/"},{"key":"364_CR17","unstructured":"Eclipse Foundation: EMF compare. http:\/\/www.eclipse.org\/emf\/compare\/"},{"key":"364_CR18","unstructured":"Eclipse Foundation: Henshin project. http:\/\/www.eclipse.org\/projects\/project.php?id=modeling.emft.henshin"},{"key":"364_CR19","unstructured":"Ehrig, H., Kreowski, H.J.: Parallel graph grammars. In: Automata, Languages, Development, pp. 425\u2013447. North Holland, Amsterdam (1976)"},{"key":"364_CR20","doi-asserted-by":"crossref","unstructured":"Engels, G., Heckel, R., K\u00fcster, J.M.: The consistency workbench: a tool for consistency management in UML-based development. In: UML 2003. LNCS, vol. 2863, pp. 356\u2013359. Springer, Berlin (2003)","DOI":"10.1007\/978-3-540-45221-8_30"},{"issue":"1","key":"364_CR21","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/s10270-009-0121-8","volume":"9","author":"J Greenyer","year":"2010","unstructured":"Greenyer, J., Kindler, E.: Comparing relational model transformation technologies: implementing query\/view\/transformation with triple graph grammars. Softw. Syst. Model. 9(1), 21\u201346 (2010)","journal-title":"Softw. Syst. Model."},{"key":"364_CR22","unstructured":"Greenyer, J., et al.: TGG-Interpreter http:\/\/www.cs.uni-paderborn.de\/fachgebiete\/fachgebiet-softwaretechnik\/forschung\/projekte\/tgg-interpreter.html"},{"issue":"3","key":"364_CR23","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1007\/s10270-011-0211-2","volume":"12","author":"E Guerra","year":"2013","unstructured":"Guerra, E., de Lara, J., Kolovos, D.S., Paige, R.F., dos Santos, O.M.: Engineering model transformations with transML. Softw. Syst. Model. 12(3), 555\u2013577 (2013)","journal-title":"Softw. Syst. Model."},{"key":"364_CR24","doi-asserted-by":"crossref","unstructured":"J\u00fcrjens, J.: Modelling audit security for smart-card payment schemes with UMLsec. In: Dupuy, M., Paradinas, P. (eds.) Trusted Information: The New Decade Challenge. IFIP TC11 Sixteenth Annual Working Conference on Information Security (IFIP\/Sec\u201901), June 11\u201313, 2001, Paris, France. IFIP Conference Proceedings, vol. 193, pp. 93\u2013108. Kluwer, Dordrecht (2001)","DOI":"10.1007\/0-306-46998-7_7"},{"key":"364_CR25","volume-title":"Secure Systems Development with UML","author":"J J\u00fcrjens","year":"2005","unstructured":"J\u00fcrjens, J.: Secure Systems Development with UML. Springer, Berlin (2005)"},{"key":"364_CR26","doi-asserted-by":"crossref","unstructured":"J\u00fcrjens, J., Wimmel, G.: Formally testing fail-safety of electronic purse protocols. In: 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26\u201329 November 2001, Coronado Island, San Diego, CA, USA, pp. 408\u2013411. IEEE Computer Society (2001)","DOI":"10.1109\/ASE.2001.989840"},{"key":"364_CR27","doi-asserted-by":"crossref","unstructured":"J\u00fcrjens, J., Wimmel, G.: Security modelling for electronic commerce: the common electronic purse specifications. In: Schmid B., Stanoevska-Slabeva, K., Tschammer, V. (eds.) Towards the E-Society: E-Commerce, E-Business, and E-Government. The First IFIP Conference on E-Commerce, E-Business, E-Government (I3E 2001), October 3\u20135, Z\u00fcrich, Switzerland. IFIP Conference Proceedings, vol. 202, pp. 489\u2013505. Kluwer, Dordrecht (2001)","DOI":"10.1007\/0-306-47009-8_36"},{"key":"364_CR28","doi-asserted-by":"crossref","unstructured":"Kehrer, T., Kelter, U., Ohrndorf, M., Sollbach, T.: Understanding model evolution through semantically lifting model differences with SiLift. In: 2012 28th IEEE International Conference on Software Maintenance (ICSM), pp. 638\u2013641 (2012)","DOI":"10.1109\/ICSM.2012.6405342"},{"key":"364_CR29","doi-asserted-by":"crossref","unstructured":"Kehrer, T., Kelter, U., Taentzer, G.: A rule-based approach to the semantic lifting of model differences in the context of model versioning. In: ASE, pp. 163\u2013172 (2011)","DOI":"10.1109\/ASE.2011.6100050"},{"key":"364_CR30","unstructured":"Kindler, E., Wagner, R.: Triple graph grammars: concepts, extensions, implementations, and application scenarios. Technical report, tr-ri-07-284, University of Paderborn (2007)"},{"key":"364_CR31","doi-asserted-by":"crossref","unstructured":"Knapp, A., Merz, S., Rauh, C.: Model checking timed UML state machines and collaborations. In: FTRTFT, pp. 395\u2013416 (2002)","DOI":"10.1007\/3-540-45739-9_23"},{"key":"364_CR32","doi-asserted-by":"crossref","unstructured":"Krause, C., Dyck, J., Giese, H.: Metamodel-specific coupled evolution based on dynamically typed graph transformations. In: ICMT 2013. LNCS, vol. 7909, pp. 76\u201391. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-38883-5_10"},{"issue":"6","key":"364_CR33","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1007\/s001659970003","volume":"11","author":"D Latella","year":"1999","unstructured":"Latella, D., Majzik, I., Massink, M.: Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker. Form. Asp. Comput. 11(6), 637\u2013664 (1999)","journal-title":"Form. Asp. Comput."},{"key":"364_CR34","unstructured":"LBC: Topcased, the open-source toolkit for critical systems. http:\/\/www.topcased.org\/"},{"key":"364_CR35","doi-asserted-by":"crossref","unstructured":"Llano, M.T., Pooley, R.: UML specification and correction of object-oriented anti-patterns. In: ICSEA \u201909, pp. 39\u201344. IEEE Computer Society (2009)","DOI":"10.1109\/ICSEA.2009.15"},{"key":"364_CR36","doi-asserted-by":"crossref","unstructured":"Lodderstedt, T., Basin, D.A., Doser, J.: SecureUML: a UML-based modeling language for model-driven security. In: Proceedings of the 5th International Conference on The Unified Modeling Language, UML \u201902, pp. 426\u2013441 (2002)","DOI":"10.1007\/3-540-45800-X_33"},{"key":"364_CR37","doi-asserted-by":"crossref","unstructured":"Massacci, F., Naliuka, K.: Towards practical security monitors of UML policies for mobile applications. In: POLICY, pp. 278 (2007)","DOI":"10.1109\/POLICY.2007.46"},{"key":"364_CR38","unstructured":"Mens, T., Taentzer, G., M\u00fcller, D.: Challenges in model refactoring. In: Proceedings of the 1st Workshop on Refactoring Tools. University of Berlin (2007)"},{"issue":"3","key":"364_CR39","doi-asserted-by":"crossref","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. Softw. Syst. Model. 6(3), 269\u2013285 (2007)","journal-title":"Softw. Syst. Model."},{"key":"364_CR40","doi-asserted-by":"crossref","unstructured":"Menzel, M., Thomas, I., Meinel, C.: Security requirements specification in service-oriented business process management. In: ARES, pp. 41\u201348 (2009)","DOI":"10.1109\/ARES.2009.90"},{"key":"364_CR41","unstructured":"Montrieux, L.: Implementation of access control using aspect-oriented programming. Master\u2019s thesis, Facults Universitaires Notre-Dame de la Paix, Namur (2009)"},{"key":"364_CR42","unstructured":"Object Management Group: Business Process Model and Notation (BPMN). http:\/\/www.omg.org\/spec\/BPMN\/2.0\/PDF"},{"key":"364_CR43","unstructured":"Pnueli, A., Siegel, M., Singerman, E.: Translation validation. In: Steffen, B. (ed.) Tools and Algorithms for Construction and Analysis of Systems. 4th International Conference, TACAS \u201998. Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS\u201998, Lisbon, Portugal, March 28\u2013April 4, 1998, Proceedings. Lecture Notes in Computer Science, vol. 1384, pp. 151\u2013166. Springer, Berlin (1998)"},{"key":"364_CR44","doi-asserted-by":"crossref","unstructured":"Reder, A., Egyed, A.: Computing repair trees for resolving inconsistencies in design models. In: Proceedings of the 27th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2012, pp. 220\u2013229. ACM, New York (2012)","DOI":"10.1145\/2351676.2351707"},{"issue":"4","key":"364_CR45","doi-asserted-by":"crossref","first-page":"745","DOI":"10.1093\/ietisy\/e90-d.4.745","volume":"90\u2013D","author":"A Rodr\u00edguez","year":"2007","unstructured":"Rodr\u00edguez, A., Fern\u00e1ndez-Medina, E., Piattini, M.: A BPMN extension for the modeling of security requirements in business processes. IEICE Trans. 90\u2013D(4), 745\u2013752 (2007)","journal-title":"IEICE Trans."},{"key":"364_CR46","unstructured":"Ruhroth, T., G\u00e4rtner, S., B\u00fcrger, J., J\u00fcrjens, J., Schneider, K.: Versioning and evolution requirements for model-based system development. In: International Workshop on Comparison and Versioning of Software Models (CVSM) (2014)"},{"key":"364_CR47","doi-asserted-by":"crossref","unstructured":"Salay, R., Chechik, M., Easterbrook, S.M., Diskin, Z., McCormick, P., Nejati, S., Sabetzadeh, M., Viriyakattiyaporn, P.: An eclipse-based tool framework for software model management. In: OOPSLA Workshop on Eclipse Technology Exchange (ETX 2007), pp. 55\u201359. ACM, New York (2007)","DOI":"10.1145\/1328279.1328291"},{"key":"364_CR48","doi-asserted-by":"crossref","unstructured":"Schmidt, \u00c1., Varr\u00f3, D.: CheckVML: a tool for model checking visual modeling languages. In: UML 2003. LNCS, vol. 2863, pp. 92\u201395. Springer, Berlin (2003)","DOI":"10.1007\/978-3-540-45221-8_8"},{"key":"364_CR49","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) Graph\u2013Theoretic Concepts in Computer Science. LNCS, vol. 903, pp. 151\u2013163. Springer, Heidelberg (1995)","DOI":"10.1007\/3-540-59071-4_45"},{"key":"364_CR50","doi-asserted-by":"crossref","unstructured":"Taentzer, G.: Parallel and distributed graph transformation: formal description and application to communication-based systems. PhD thesis, TU Berlin (1996)","DOI":"10.1007\/3-540-61228-9_95"},{"key":"364_CR51","doi-asserted-by":"crossref","unstructured":"Tun, T.T., Yu, Y., Haley, C.B., Nuseibeh, B.: Model-based argument analysis for evolving security requirements. In: SSIRI, pp. 88\u201397 (2010)","DOI":"10.1109\/SSIRI.2010.36"},{"key":"364_CR52","unstructured":"University of Siegen: SiDiff. http:\/\/www.sidiff.org"},{"key":"364_CR53","unstructured":"Wendehals, L.: Clich\u00e9-und Mustererkennung auf Basis von Generic Fuzzy Reasoning Nets. Master\u2019s thesis, in German, Universit\u00e4t Paderborn (2001)"},{"key":"364_CR54","unstructured":"Wolter, C., Menzel, M., Meinel, C.: Modelling security goals in business processes. In: K\u00fchne, T., Reisig, W., Steimann, F. (eds.) Modellierung 2008, Lecture Notes in Informatics, vol. 127, pp. 197\u2013212 (2008)"},{"key":"364_CR55","doi-asserted-by":"crossref","unstructured":"Wolter, C., Schaad, A.: Modeling of task-based authorization constraints in BPMN. In: 5th BPM, pp. 64\u201379 (2007)","DOI":"10.1007\/978-3-540-75183-0_5"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-014-0364-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-014-0364-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-014-0364-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,15]],"date-time":"2025-05-15T13:47:34Z","timestamp":1747316854000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-014-0364-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12,27]]},"references-count":55,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,6]]}},"alternative-id":["364"],"URL":"https:\/\/doi.org\/10.1007\/s10009-014-0364-8","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2014,12,27]]}}}