{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T15:10:05Z","timestamp":1746198605523,"version":"3.40.4"},"reference-count":70,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,4,24]],"date-time":"2014-04-24T00:00:00Z","timestamp":1398297600000},"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":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2014,9]]},"DOI":"10.1007\/s11334-014-0230-6","type":"journal-article","created":{"date-parts":[[2014,4,23]],"date-time":"2014-04-23T22:05:48Z","timestamp":1398290748000},"page":"181-202","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Formalizing the transition from requirements\u2019 change to design change using an evolutionary traceability model"],"prefix":"10.1007","volume":"10","author":[{"given":"Lian","family":"Wen","sequence":"first","affiliation":[]},{"given":"David","family":"Tuffley","sequence":"additional","affiliation":[]},{"given":"R. Geoff.","family":"Dromey","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,4,24]]},"reference":[{"key":"230_CR1","doi-asserted-by":"crossref","unstructured":"Abi-Antoun M, Aldrich J et al (2006) Differencing and merging of architectural views. In: Proceedings of the 21st IEEE\/ACM international conference on automated software engineering, pp 47\u201358","DOI":"10.1109\/ASE.2006.33"},{"key":"230_CR2","doi-asserted-by":"crossref","unstructured":"Alanen M, Porres I (2003) Difference and union of models. TUCS technical report no 527, Turku Centre for Computer Science","DOI":"10.1007\/978-3-540-45221-8_2"},{"key":"230_CR3","unstructured":"Bass L, Clements P, Kazman R (1998) Software architecture in practice. ISBN: 0201199300. Addison Wesley Longman, Inc., New York"},{"key":"230_CR4","unstructured":"Behavior engineering web site, Behavior Engineering. http:\/\/www.beworld.org"},{"key":"230_CR5","doi-asserted-by":"crossref","unstructured":"Bennett K, Rajlich V (2000) Software maintenance and evolution: a roadmap. In: Finkelstein A (ed) The future of software engineering. ACM Press, New York","DOI":"10.1145\/336512.336534"},{"key":"230_CR6","unstructured":"Bohner SA, Arnold RS (1996) Software change impact analysis. IEEE Computer society Press Los Alamitos. ISBN 0818673842"},{"key":"230_CR7","unstructured":"Bouquet F, Jaffuel E, Legeard B, Peureux F, Utting M (2005) Requirements traceability in automated test generation application to smart card software validation. In: Proceedings of the 1 $$^{st}$$ s t international workshop on advances in model-based testing, pp 1\u20137"},{"key":"230_CR8","doi-asserted-by":"crossref","unstructured":"Bratthall L, Johansson E, Regnell B (2000) Is a design rationale vital when predicting change impact? A controlled experiment on software architecture evolution. In: PROFES 2000\u2014second international conference on product focused software process improvement, Oulo, Finland, pp 126\u2013139","DOI":"10.1007\/978-3-540-45051-1_14"},{"key":"230_CR9","doi-asserted-by":"crossref","unstructured":"Chapin N, Hale JE, Khan KM, Ramil TW (2001) Types of software evolution and software maintenance. J Softw Maint Evol Res Pract 13:3\u201330","DOI":"10.1002\/smr.220"},{"key":"230_CR10","unstructured":"Colvin R, Hayes IJ (2007) A semantics for behavior trees. ACCS technical report, no. ACCS-TR-07-01, ARC Centre for complex systems"},{"key":"230_CR11","doi-asserted-by":"crossref","unstructured":"Conklin J (1987) Hypertext: an introduction and survey. Computer, 17\u201341","DOI":"10.1109\/MC.1987.1663693"},{"key":"230_CR12","doi-asserted-by":"crossref","unstructured":"Cooper L, Chung L (2005) Managing change in OTS-aware requirements engineering approach. ICSE-MPEC\u201905, pp 1\u20134","DOI":"10.1145\/1082948.1082955"},{"key":"230_CR13","unstructured":"Dromey RG (2003) From requirements to design: formalising the key steps (Invited Keynote Address). In: IEEE international conference on software engineering and formal methods, SEFM\u20192003, Brisbane, pp 2\u201311"},{"key":"230_CR14","unstructured":"Dromey RG, Powell D (2005) Early requirements defects detection. TickIT, International, 4Q05, pp 3\u201313"},{"key":"230_CR15","doi-asserted-by":"crossref","unstructured":"Dromey RG (2006) Formalizing the transition from requirements to design. In: Liu Z, He J (eds) Mathematical frameworks for component software, models for analysis and synthesis, Chap 6. World Scientific, Singapore, pp 173\u2013206. ISBN 981-270-017-X","DOI":"10.1142\/9789812772831_0006"},{"key":"230_CR16","unstructured":"Dromey RG (2006) Scaleable formalization of imperfect knowledge. In: 1st Asian working conference on verified software (AWCVS\u201906), Macau, pp 21\u201333"},{"key":"230_CR17","unstructured":"Dromey RG (2014) Engineering large-scale systems\u2014mitigating the pivotal risks. IEEE Softw (submitted)"},{"key":"230_CR18","unstructured":"F\u00f6rtsch S, Westfechtel B (2007) Differencing and merging of software diagrams - state of the art and challenges. In: Proc. second intl. conf. software and data technologies (ICSOFT 2007), vol SE, Barcelona, Spain, 22\u201325 July 2007. INSTICC Press, Barcelona"},{"issue":"8","key":"230_CR19","doi-asserted-by":"crossref","first-page":"751","DOI":"10.1109\/32.83912","volume":"V17","author":"KD Gallagher","year":"1991","unstructured":"Gallagher KD, Lyle JR (1991) Using program slicing in software maintenance. IEEE Trans Softw Eng V17(8):751\u2013761","journal-title":"IEEE Trans Softw Eng"},{"issue":"3","key":"230_CR20","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1109\/52.55233","volume":"7","author":"PK Garg","year":"1990","unstructured":"Garg PK, Scacchi W (1990) A hypertext system to manage software life-cycle documents. IEEE Softw 7(3):90\u201398","journal-title":"IEEE Softw"},{"key":"230_CR21","doi-asserted-by":"crossref","unstructured":"Gonzalez-Perez C, Henderson-Sellers B, Dromey G (2005) A metamodel for the behavior trees modelling technique. In: Third international conference on information technology and applications, ICITA 05:35\u201339","DOI":"10.1109\/ICITA.2005.23"},{"key":"230_CR22","doi-asserted-by":"crossref","unstructured":"Grunske L, Lindsay P, Yatapanage N, Winter K (2005) An automated failure mode and effect analysis based on high-level design specification with behavior trees. In: The fifth international conference on integrated formal, methods (IFM\u201905), pp 129\u2013149","DOI":"10.1007\/11589976_9"},{"key":"230_CR23","doi-asserted-by":"crossref","unstructured":"Grunske L, Geiger L, Lawley M (2005) A graphical specification of model transformations with triple graph grammars. In: First European conference model driven architecture - foundations and applications, ECMDA-FA 2005, Nuremberg, Germany, 7\u201310 November 2005. Lecture notes in computer science, vol 3748, pp 284\u2013298","DOI":"10.1007\/11581741_21"},{"key":"230_CR24","doi-asserted-by":"crossref","unstructured":"Grunske L, Winter K, Colvin R (2007) Timed behavior trees and their application to verifying real-time systems. In: Proc. of 18th Australian conference on software engineering (ASWEC 2007), pp 211\u2013222","DOI":"10.1109\/ASWEC.2007.49"},{"key":"230_CR25","unstructured":"Harjani DR, Queille JP (1992) A process model for the maintenance of large space systems software. In: Proceedings of conference on software maintenance. IEEE Computer Society Press, Los Alamitos, pp 127\u2013136"},{"key":"230_CR26","doi-asserted-by":"crossref","unstructured":"Horowitz E, Williamson RC (1986) SODOS: a software documentation support environment\u2014its definition. IEEE Trans Softw Eng SE-12(8):849\u2013859","DOI":"10.1109\/TSE.1986.6312987"},{"key":"230_CR27","unstructured":"IEEE (1998) IEEE standard for software maintenance (IEEE Std 1219\u20131998)"},{"key":"230_CR28","doi-asserted-by":"crossref","unstructured":"Kitchenham BA, Travassos GH, Mayrhauser Av, Niessink F, Schneidewind NF, Singer J, Takada S, Vehvilainen R, Yang H (1999) Toward an ontology of software maintenance. J Softw Maint 11(6):365\u2013389","DOI":"10.1002\/(SICI)1096-908X(199911\/12)11:6<365::AID-SMR200>3.0.CO;2-W"},{"key":"230_CR29","unstructured":"Knuth DE (1997) The art of computer programming, fundamental algorithms, vol 1, 3rd edn. Addison Wesley Longman, Reading. ISBN 0201896834"},{"key":"230_CR30","doi-asserted-by":"crossref","unstructured":"Kolovos DS, Ruscio DD, Pierantonio A, Paige RF (2009) Different models for model matching: an analysis of approaches to support model differencing. In: Proc. 2009 ICSE workshop on comparison and versioning of software models, May 17, 2009. Vancouver, IEEE, USA","DOI":"10.1109\/CVSM.2009.5071714"},{"key":"230_CR31","volume-title":"Developing with Ada: life cycle methods","author":"BE Krell","year":"1992","unstructured":"Krell BE (1992) Developing with Ada: life cycle methods. Bantam Books, New York"},{"key":"230_CR32","doi-asserted-by":"crossref","unstructured":"Lehman MM, Ramil J, Wernick P, Perry DE, Turski WM (1997) Metrics and laws of software evolution\u2014the nineties view. In: Proceedings 4th international symposium on software metrics, pp 20\u201332","DOI":"10.1109\/METRIC.1997.637156"},{"key":"230_CR33","doi-asserted-by":"crossref","unstructured":"Lin K, Chen D, Sun C, Dromey RG (2005) Maintaining constraints in collaborative graphic systems: the CoGSE approach. In: 9th European conference on CSCW, Paris, France, pp 185\u2013204","DOI":"10.1007\/1-4020-4023-7_10"},{"issue":"10","key":"230_CR34","doi-asserted-by":"crossref","first-page":"1161","DOI":"10.1002\/(SICI)1097-024X(199610)26:10<1161::AID-SPE58>3.0.CO;2-X","volume":"26","author":"M Lindvall","year":"1996","unstructured":"Lindvall M, Sandahl K (1996) Practical implications of traceability. Softw Pract Exp 26(10):1161\u20131180","journal-title":"Softw Pract Exp"},{"issue":"4","key":"230_CR35","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1109\/32.385971","volume":"21","author":"DC Luckham","year":"1995","unstructured":"Luckham DC, Kenney JJ, Ausgusin LM, Vera J, Bryan D, Mann W (1995) Specification and analysis of system architecture using rapide. IEEE Trans Softw Eng 21(4):336\u2013355","journal-title":"IEEE Trans Softw Eng"},{"key":"230_CR36","unstructured":"Mens T (1999) A formal foundation for object-oriented software evolution. PhD. dissertation, Vrije University"},{"key":"230_CR37","unstructured":"Mills HD (1971) Top-down programming in large systems. In: Debugging techniques in large systems. Prentice-Hall, Englewood Cliffs. ISBN 0138221227"},{"key":"230_CR38","unstructured":"Myers T et al (2008) Seamlessly integrating software & hardware modeling for large-scale systems. In: 2nd international workshop on equation-based object-oriented languages and tools. Paphos, Cyprus"},{"key":"230_CR39","doi-asserted-by":"crossref","unstructured":"Naumovich G, Avrunin GS, Clarke LA, Osterweil LJ (1997) Applying static analysis to software architecture. In: Proceedings of the 6th European, software engineering conference, pp 77\u2013 93","DOI":"10.1007\/3-540-63531-9_8"},{"key":"230_CR40","doi-asserted-by":"crossref","unstructured":"Nejati S, Sabetzadeh M et al (2007) Matching and merging of statecharts specifications. In: 29th international conference on software engineering, pp 54\u201364","DOI":"10.1109\/ICSE.2007.50"},{"key":"230_CR41","doi-asserted-by":"crossref","unstructured":"Nuseibeh B, Easterbrook S (2000) Requirement engineering: a roadmap. Finkelstein A (ed) The future of software engineering. ACM Press, New York, pp 1\u20134","DOI":"10.1145\/336512.336523"},{"key":"230_CR42","doi-asserted-by":"crossref","unstructured":"Potts C (1997) Requirements model in context. In: 3rd international symposium on requirements engineering (RE\u201997), pp 102\u2013104","DOI":"10.1109\/ISRE.1997.566847"},{"key":"230_CR43","first-page":"189","volume":"1725","author":"V Rajlich","year":"1999","unstructured":"Rajlich V (1999) Software change and evolution, SOFSEM\u201999. LNCS 1725:189\u2013202","journal-title":"LNCS"},{"key":"230_CR44","unstructured":"Royce W (1998) Software project management, a unified framework. Addison Wesley Longman, Inc., Reading. ISBN 0201309580"},{"key":"230_CR45","doi-asserted-by":"crossref","unstructured":"Saaltink M (1997) The Z\/EVES system. In: 19th International conference on the Z formal method (ZUM), vol 1212. LNCS, Reading, pp 72\u201388","DOI":"10.1007\/BFb0027284"},{"key":"230_CR46","doi-asserted-by":"crossref","unstructured":"Sabetzadeh M, Easterbrook S (2005) An algebraic framework for merging incomplete and inconsistent views. In: Proceedings of 13th IEEE international conference on requirements engineering, pp 306\u2013318","DOI":"10.1109\/RE.2005.8"},{"key":"230_CR47","unstructured":"Schneider S (2001) The B-method\u2014an introduction, Palgrave Editor. ISBN: 033379284X"},{"key":"230_CR48","unstructured":"Selonen P (2007) A review of UML model comparison techniques. In: Proc. 5th Nordic workshop on model driven engineering, 27\u201329 August 2007, Ronneby, Sweden, pp 37\u201351 (Research report, U. G\u00f6teborg)"},{"issue":"4","key":"230_CR49","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1109\/32.385970","volume":"21","author":"M Shaw","year":"1995","unstructured":"Shaw M, DeLine R et al (1995) Abstractions for software architecture and tools to support them. IEEE Trans Softw Eng 21(4):314\u2013335","journal-title":"IEEE Trans Softw Eng"},{"key":"230_CR50","unstructured":"Shlaer S, Mellor SJ (1985) Structured development for real-time systems, vol 1\u20133. Yourdon Press, UK"},{"key":"230_CR51","doi-asserted-by":"crossref","unstructured":"Smith C, Winter K, Hayes I, Dromey RG, Lindsay P, Carrington D (2004) An environment for building a system out of its requirements. In: Proceedings of the 19th IEEE international conference on automated software engineering, pp 398\u2013399","DOI":"10.1109\/ASE.2004.1342775"},{"key":"230_CR52","unstructured":"Software case study of the satellite system (original requirement). http:\/\/www.beworld.org\/BE\/resource\/casestudy\/satellite\/scsoreq.pdf"},{"key":"230_CR53","unstructured":"Software change case study site. http:\/\/www.beworld.org\/BE\/resource\/casestudy\/satellite\/"},{"key":"230_CR54","unstructured":"Sommerville I (2011) Software engineering, 9th edn. Addison Wesley, Reading. ISBN:0137053460"},{"key":"230_CR55","doi-asserted-by":"crossref","unstructured":"Swaina RK et al (2012) Test case design using slicing of UML interaction diagram. In: 2nd international conference on communication, computing & security, vol 6, pp 136\u2013144","DOI":"10.1016\/j.protcy.2012.10.017"},{"issue":"4","key":"230_CR56","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1142\/S021819400100061X","volume":"11","author":"JA Stafford","year":"2001","unstructured":"Stafford JA, Wolf A (2001) Architecture-level dependence analysis for software systems. Int J Softw Eng Knowl Eng 11(4):431\u2013453","journal-title":"Int J Softw Eng Knowl Eng"},{"key":"230_CR57","doi-asserted-by":"crossref","unstructured":"Sun C et al (1998) Achieving convergence, causality-preservation, and intention-preservation in real-time cooperative editing systems. ACM Trans Comput Hum Interact 5(1):63\u2013108","DOI":"10.1145\/274444.274447"},{"key":"230_CR58","doi-asserted-by":"crossref","unstructured":"Tracz W (July 1995) DSSA (domain-specific software architecture): pedagogical example. ACM SIGSOFT Softw Eng Notes 20(3):49\u201362","DOI":"10.1145\/219308.219318"},{"key":"230_CR59","unstructured":"Tuffley D, Rout T (2009) Applying behavior engineering to process modeling. In: Proceedings of the 1st improving systems and software engineering conference (ISSEC). National Convention Centre, Canberra, 10\u201312 August 2009"},{"key":"230_CR60","doi-asserted-by":"crossref","unstructured":"Yau SS, Colofello JS, MacGregor T (1978) Ripple effect analysis of software maintenance, COMPSAC, pp 60\u201365","DOI":"10.1109\/CMPSAC.1978.810308"},{"key":"230_CR61","doi-asserted-by":"crossref","unstructured":"Wen L, Dromey RG (2006) Architecture normalization for component-based systems. In: Electronic notes in theoretical computer science, vol 160. Elsevier BV, Radarweg 29, 1043 NX Amsterdam. Netherlands, pp 335\u2013348","DOI":"10.1016\/j.entcs.2006.05.032"},{"key":"230_CR62","unstructured":"Wen L, Dromey RG (2004) From requirements change to design change: a formal path. In: Proceedings of the 2nd IEEE international conference on software engineering and formal, methods, pp 104\u2013113"},{"key":"230_CR63","unstructured":"Wen L, Colvin R et al (2007) Integrare\u2019, a collaborative environment for behavior-oriented design. In: Proceedings of the 4th international conference on cooperative design, visualization and engineering (CDVE)"},{"key":"230_CR64","doi-asserted-by":"crossref","unstructured":"Wen L, Kirk D, Dromey G (2007) A tool to visualize behavior and design evolution. Foundations of software engineering. In: 9th international workshop on principles of software evolution: in conjunction with the 6th ESEC\/FSE joint meeting, pp 114\u2013115","DOI":"10.1145\/1294948.1294976"},{"key":"230_CR65","unstructured":"Wen L, Dromey RG (2009) A hierarchical architecture for modeling complex software intensive systems using behavior trees. In: Proceedings of the 9th Asia\u2013Pacific complex systems conference, pp 292\u2013299"},{"key":"230_CR66","unstructured":"Wieringa RJ (1996) Requirements engineering: frameworks for understand. Wiley, New York. ISBN: 0471958840"},{"key":"230_CR67","doi-asserted-by":"crossref","unstructured":"Winter K (2004) Formalising behavior trees with CSP. In: International conference on integrated formal, methods, IFM\u201904, pp 148\u2013167","DOI":"10.1007\/978-3-540-24756-2_9"},{"key":"230_CR68","doi-asserted-by":"crossref","unstructured":"Zafar S, Dromey RG (2005) Integrating safety and security requirements into design of an embedded system. Asia-Pacific, software engineering conference (APSEC\u201905), pp 629\u2013636","DOI":"10.1109\/APSEC.2005.75"},{"key":"230_CR69","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1002\/smr.258","volume":"14","author":"J Zhao","year":"2002","unstructured":"Zhao J, Yang H et al (2002) Change impact analysis to support architectural evolution. J Softw Maint Evol Res Pract 14:317\u2013333","journal-title":"J Softw Maint Evol Res Pract"},{"key":"230_CR70","doi-asserted-by":"crossref","unstructured":"Zhao J (2002) Change impact analysis for aspect-oriented software evolution. In: International workshop on principles of software, evolution, pp 108\u2013112","DOI":"10.1145\/512035.512060"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-014-0230-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-014-0230-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-014-0230-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T14:49:09Z","timestamp":1746197349000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-014-0230-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4,24]]},"references-count":70,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,9]]}},"alternative-id":["230"],"URL":"https:\/\/doi.org\/10.1007\/s11334-014-0230-6","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"type":"print","value":"1614-5046"},{"type":"electronic","value":"1614-5054"}],"subject":[],"published":{"date-parts":[[2014,4,24]]}}}