{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:17:21Z","timestamp":1740107841622,"version":"3.37.3"},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"24","license":[{"start":{"date-parts":[[2020,7,3]],"date-time":"2020-07-03T00:00:00Z","timestamp":1593734400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,7,3]],"date-time":"2020-07-03T00:00:00Z","timestamp":1593734400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2020,12]]},"DOI":"10.1007\/s00500-020-05124-y","type":"journal-article","created":{"date-parts":[[2020,7,3]],"date-time":"2020-07-03T12:02:36Z","timestamp":1593777756000},"page":"18937-18952","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Fixing state change inconsistency with self regulating particle swarm optimization"],"prefix":"10.1007","volume":"24","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3276-2961","authenticated-orcid":false,"given":"Renu","family":"George","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philip","family":"Samuel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,7,3]]},"reference":[{"key":"5124_CR1","doi-asserted-by":"crossref","unstructured":"Agarwal K, Srivastava G (2010) Towards software test data generation using discrete quantum particle swarm optimization. In: Proceedings of the 3rd India software engineering conference. ACM, pp 65\u201368","DOI":"10.1145\/1730874.1730888"},{"key":"5124_CR2","doi-asserted-by":"crossref","unstructured":"Bansal JC, Singh PK, Saraswat M, Verma A, Jadon SS, Abraham A (2011) Inertia weight strategies in particle swarm optimization. In: Third World Congress on nature and biologically inspired computing (NaBIC). IEEE, pp 633\u2013640","DOI":"10.1109\/NaBIC.2011.6089659"},{"issue":"3","key":"5124_CR3","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/s11219-012-9183-x","volume":"21","author":"VK Bardsiri","year":"2013","unstructured":"Bardsiri VK, Jawawi DNA, Hashim SZM, Khatibi E (2013) A PSO-based model to increase the accuracy of software development effort estimation. Softw Qual J 21(3):501\u2013526","journal-title":"Softw Qual J"},{"key":"5124_CR4","unstructured":"Blondin J (2009) Particle swarm optimization: a tutorial. http:\/\/cs.armstrong.edu\/saad\/csci8100\/pso tutorial.pdf. Accessed 26 Apr 2018"},{"issue":"6","key":"5124_CR5","doi-asserted-by":"publisher","first-page":"817","DOI":"10.1109\/TSE.2010.70","volume":"36","author":"M Bowman","year":"2010","unstructured":"Bowman M, Briand LC, Labiche Y (2010) Solving the class responsibility assignment problem in object-oriented analysis with multi-objective genetic algorithms. IEEE Trans Softw Eng 36(6):817\u2013837","journal-title":"IEEE Trans Softw Eng"},{"key":"5124_CR6","unstructured":"Boyd J (2017) The Mt. Gox Bitcoin debacle: an update. https:\/\/spectrum.ieee.org\/tech-talk\/computing\/networks\/the-mt-gox-bitcoin-debacle-an-update. Accessed 07 Mar 2019"},{"key":"5124_CR7","unstructured":"Briski KA, Chitale P, Hamilton V, Pratt A (2008) Minimizing code defects to improve software quality and lower development costs. Development Solution White Paper IBM"},{"key":"5124_CR8","unstructured":"Charette RN (2014) Nissan recalls nearly 1 million cars for air bag software fix. https:\/\/spectrum.ieee.org\/riskfactor\/transportation\/safety\/nissan-recalls-nearly-1-million-cars-for-airbag-software-fix. Accessed 07 Mar 2019"},{"key":"5124_CR9","unstructured":"Charette RN (2018) The biggest IT failures of 2018. https:\/\/spectrum.ieee.org\/riskfactor\/computing\/it\/it-failures-2018-all-the-old-familiar-faces#qaTopicThree. Accessed 07 Mar 2019"},{"key":"5124_CR10","doi-asserted-by":"crossref","unstructured":"Ding R, Feng X, Li S, Dong H (2012) Automatic generation of software test data based on hybrid particle swarm genetic algorithm. In: 2012 IEEE Symposium on electrical and electronics engineering (EEESYM). IEEE, pp 670\u2013673","DOI":"10.1109\/EEESym.2012.6258748"},{"key":"5124_CR11","doi-asserted-by":"crossref","unstructured":"Diskin Z, Xiong Y, Czarnecki K (2010) Specifying overlaps of heterogeneous models for global consistency checking. In: Proceedings of the first international workshop on model-driven interoperability. ACM","DOI":"10.1145\/1866272.1866279"},{"key":"5124_CR12","unstructured":"Eberhart RC, Shi Y (2000) Comparing inertia weights and constriction factors in particle swarm optimization. In: Proceedings of the 2000 Congress on evolutionary computation, pp 84\u201388"},{"key":"5124_CR13","unstructured":"Eberhart RC, Shi Y (2001) Particle swarm optimization: developments, applications and resources. In: Evolutionary computation, proceedings of the 2001 Congress, vol 1, pp 81\u201386"},{"key":"5124_CR14","doi-asserted-by":"crossref","unstructured":"Egyed A (2006) Instant consistency checking for the UML. In: Proceedings of the 28th international conference on software engineering. ACM, pp 381\u2013390","DOI":"10.1145\/1134285.1134339"},{"issue":"2","key":"5124_CR15","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1109\/TSE.2010.38","volume":"37","author":"A Egyed","year":"2011","unstructured":"Egyed A (2011) Automatically detecting and tracking inconsistencies in software design models. IEEE Trans Softw Eng 37(2):188\u2013204","journal-title":"IEEE Trans Softw Eng"},{"key":"5124_CR16","unstructured":"Engels G, Hausmann JH, Heckel R, Sauer S (2002) Testing the consistency of dynamic UML diagrams. In: Proceedings of sixth international conference on integrated design and process technology (IDPT 2002), pp 1\u20139"},{"key":"5124_CR17","doi-asserted-by":"crossref","unstructured":"France R, Rumpe B (2007) Model-driven development of complex software: a research roadmap. In: Future of software engineering. IEEE Computer Society, pp 37\u201354","DOI":"10.1109\/FOSE.2007.14"},{"key":"5124_CR18","doi-asserted-by":"crossref","unstructured":"George R, Samuel P (2016) Particle swarm optimization method based consistency checking in UML class and activity diagrams. In: Innovations in bio-inspired computing and applications. Springer International Publishing, Cham, pp 117\u2013127","DOI":"10.1007\/978-3-319-28031-8_10"},{"key":"5124_CR19","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/j.infsof.2018.03.005","volume":"99","author":"R George","year":"2018","unstructured":"George R, Samuel P (2018) Fixing class design inconsistencies using self regulating particle swarm optimization. Inf Softw Technol 99:81\u201392","journal-title":"Inf Softw Technol"},{"issue":"4","key":"5124_CR20","first-page":"275","volume":"19","author":"G Glava\u0161","year":"2011","unstructured":"Glava\u0161 G, Fertalj K (2011) Solving the class responsibility assignment problem using metaheuristic approach. J Comput Inf Technol 19(4):275\u2013283","journal-title":"J Comput Inf Technol"},{"key":"5124_CR21","volume-title":"An integrated approach to software engineering","author":"P Jalote","year":"2012","unstructured":"Jalote P (2012) An integrated approach to software engineering. Springer, Berlin"},{"issue":"6","key":"5124_CR22","doi-asserted-by":"publisher","first-page":"1272","DOI":"10.1109\/TSMCB.2005.850530","volume":"35","author":"S Janson","year":"2005","unstructured":"Janson S, Middendorf MA (2005) A hierarchical particle swarm optimizer and its adaptive variant. IEEE Trans Syst Man Cybern Part B (Cybern) 35(6):1272\u20131282","journal-title":"IEEE Trans Syst Man Cybern Part B (Cybern)"},{"key":"5124_CR23","doi-asserted-by":"crossref","unstructured":"Jia YH, Chen WN, Hu XM (2014) A PSO approach for software project planning. In: Proceedings of the companion publication of the 2014 annual conference on genetic and evolutionary computation. ACM, pp 7\u20138","DOI":"10.1145\/2598394.2598422"},{"issue":"2","key":"5124_CR24","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/s10270-010-0175-7","volume":"11","author":"M Kessentini","year":"2012","unstructured":"Kessentini M, Sahraoui H, Boukadoum M et al (2012) Search-based model transformation by example. Softw Syst Model 11(2):209\u2013226","journal-title":"Softw Syst Model"},{"key":"5124_CR25","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/j.jvlc.2014.11.006","volume":"26","author":"AH Khan","year":"2015","unstructured":"Khan AH, Porres I (2015) Consistency of UML class, object and statechart diagrams using ontology reasoners. J Vis Lang Comput 26:42\u201365","journal-title":"J Vis Lang Comput"},{"key":"5124_CR26","doi-asserted-by":"crossref","unstructured":"Lam VSW, Padget J (2005) Consistency checking of sequence diagrams and statechart diagrams using the \u03c0-calculus. In: International conference on integrated formal methods. Springer, Berlin","DOI":"10.1007\/11589976_20"},{"issue":"2","key":"5124_CR27","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/MS.2006.50","volume":"23","author":"CFJ Lange","year":"2006","unstructured":"Lange CFJ, Chaudron MRV, Muskens J (2006) In practice: UML software architecture and design description. IEEE Softw 23(2):40\u201346","journal-title":"IEEE Softw"},{"key":"5124_CR28","doi-asserted-by":"crossref","unstructured":"Li A, Zhang Y (2009) Automatic generating all-path test data of a program based on PSO. In: 2009 WRI World Congress on software engineering, vol 4. IEEE, pp 189\u2013193","DOI":"10.1109\/WCSE.2009.98"},{"key":"5124_CR29","doi-asserted-by":"crossref","unstructured":"Nugroho A, Chaudron MRV (2008) Managing the quality of UML models in practice. In: Rech J, Bunse C (eds) Model-Driven software development: integrating quality assurance. Idea Group Inc., pp 1\u201336","DOI":"10.4018\/978-1-60566-006-6.ch001"},{"issue":"2","key":"5124_CR30","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0164-1212(01)00036-X","volume":"58","author":"B Nuseibeh","year":"2001","unstructured":"Nuseibeh B, Easterbrook S, Russo A (2001) Making inconsistency respectable in software development. J Syst Softw 58(2):171\u2013180","journal-title":"J Syst Softw"},{"key":"5124_CR31","volume-title":"Software engineering for embedded systems: methods, practical techniques, and applications","author":"R Oshana","year":"2013","unstructured":"Oshana R, Kraeling M (2013) Software engineering for embedded systems: methods, practical techniques, and applications. Newnes, London"},{"key":"5124_CR32","unstructured":"Paige RF, Ostroff JS, Brooke PJ (2003) A test-based agile approach to checking the consistency of class and collaboration diagrams. In: Proceedings of UK software testing research workshop"},{"issue":"3","key":"5124_CR33","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1007\/s00500-011-0754-8","volume":"16","author":"JA Parejo","year":"2012","unstructured":"Parejo JA, Ruiz-Cort\u00e9s A, Lozano S et al (2012) Metaheuristic optimization frameworks: a survey and benchmarking. Soft Comput 16(3):527\u2013561","journal-title":"Soft Comput"},{"key":"5124_CR34","doi-asserted-by":"crossref","unstructured":"Petre M (2013) UML in practice. In: Proceedings of the 2013 international conference on software engineering. IEEE Press, pp 722\u2013731","DOI":"10.1109\/ICSE.2013.6606618"},{"key":"5124_CR35","first-page":"1","volume":"2008","author":"R Poli","year":"2008","unstructured":"Poli R (2008) Analysis of the publications on the applications of particle swarm optimisation. J Artif Evol Appl 2008:1\u201310","journal-title":"J Artif Evol Appl"},{"issue":"03","key":"5124_CR36","doi-asserted-by":"publisher","first-page":"1640021-1","DOI":"10.1142\/S0218126616400211","volume":"25","author":"N Przigoda","year":"2016","unstructured":"Przigoda N, Wille R, Drechsler R (2016) Analyzing inconsistencies in UML\/OCL models. J Circuits Syst Comput 25(03):1640021-1\u20131640021-21","journal-title":"J Circuits Syst Comput"},{"issue":"12","key":"5124_CR37","first-page":"19","volume":"40","author":"DK Saini","year":"2012","unstructured":"Saini DK, Sharma Y (2012) Soft computing particle swarm optimization based approach for class responsibility assignment problem. Int J Comput Appl 40(12):19\u201324","journal-title":"Int J Comput Appl"},{"issue":"5","key":"5124_CR38","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/MS.2003.1231146","volume":"20","author":"B Selic","year":"2003","unstructured":"Selic B (2003) The pragmatics of model-driven development. IEEE Softw 20(5):19\u201325","journal-title":"IEEE Softw"},{"key":"5124_CR39","doi-asserted-by":"crossref","unstructured":"Shi Y, Eberhart RC (1999) Empirical study of particle swarm optimization. In: Proceedings of the 1999 Congress on evolutionary computation CEC 99. IEEE, pp 1945\u20131950","DOI":"10.1109\/CEC.1999.785511"},{"issue":"2\u20133","key":"5124_CR40","first-page":"231","volume":"10","author":"J Simmonds","year":"2004","unstructured":"Simmonds J, Van Der Straeten R, Jonckers V, Mens T (2004) Maintaining consistency between UML models using description logic. L\u2019OBJET 10(2\u20133):231\u2013244","journal-title":"L\u2019OBJET"},{"key":"5124_CR41","doi-asserted-by":"crossref","unstructured":"Spanoudakis G, Zisman A (2001) Inconsistency management in software engineering: Survey and open research issues. In: Handbook of software engineering and knowledge engineering, vol 1: Fundamentals, pp 329\u2013380","DOI":"10.1142\/9789812389718_0015"},{"key":"5124_CR42","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1016\/j.ins.2014.09.053","volume":"294","author":"MR Tanweer","year":"2015","unstructured":"Tanweer MR, Suresh S, Sundararajan N (2015) Self regulating particle swarm optimization algorithm. Inf Sci 294:182\u2013202","journal-title":"Inf Sci"},{"key":"5124_CR43","doi-asserted-by":"crossref","unstructured":"Van Der Straeten R, Mens T, Simmonds J, Jonckers V (2003) Using description logic to maintain consistency between UML models. In: Stevens P, Whittle J, Booch G (eds) UML 2003, LNCS, vol 2863. Springer, Heidelberg, pp 326\u2013340","DOI":"10.1007\/978-3-540-45221-8_28"},{"key":"5124_CR44","unstructured":"Wang H, Feng T, Zhang J, Zhang K (2005) Consistency check between behaviour models. In: IEEE International symposium on communications and information technology ISCIT 2005, vol 1. IEEE, pp 486\u2013489"},{"key":"5124_CR45","doi-asserted-by":"crossref","unstructured":"Windisch A, Wappler S, Wegener J (2007) Applying particle swarm optimization to software testing. In: Proceedings of the 9th annual conference on genetic and evolutionary computation. ACM, pp 1121\u20131128","DOI":"10.1145\/1276958.1277178"},{"key":"5124_CR46","doi-asserted-by":"crossref","unstructured":"Yao S, Shatz SM (2006) Consistency checking of UML dynamic models based on petri net techniques. In: 15th International conference on computing, CIC\u201906. IEEE, pp 289\u2013297","DOI":"10.1109\/CIC.2006.32"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-020-05124-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00500-020-05124-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-020-05124-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,2]],"date-time":"2021-07-02T23:59:34Z","timestamp":1625270374000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00500-020-05124-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,3]]},"references-count":46,"journal-issue":{"issue":"24","published-print":{"date-parts":[[2020,12]]}},"alternative-id":["5124"],"URL":"https:\/\/doi.org\/10.1007\/s00500-020-05124-y","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"type":"print","value":"1432-7643"},{"type":"electronic","value":"1433-7479"}],"subject":[],"published":{"date-parts":[[2020,7,3]]},"assertion":[{"value":"3 July 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with ethical standards"}},{"value":"The authors declare that they have no conflict of interest regarding the publication of this paper.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"This article does not contain any studies with human participants or animals performed by any of the authors.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}}]}}