{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T06:48:51Z","timestamp":1749019731336,"version":"3.37.3"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T00:00:00Z","timestamp":1556928000000},"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":["Empir Software Eng"],"published-print":{"date-parts":[[2019,8]]},"DOI":"10.1007\/s10664-019-09717-6","type":"journal-article","created":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T13:52:16Z","timestamp":1557150736000},"page":"2674-2724","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["AspectOCL: using aspects to ease maintenance of evolving constraint specification"],"prefix":"10.1007","volume":"24","author":[{"given":"Muhammad Uzair","family":"Khan","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5212-9787","authenticated-orcid":false,"given":"Hassan","family":"Sartaj","sequence":"additional","affiliation":[]},{"given":"Muhammad Zohaib","family":"Iqbal","sequence":"additional","affiliation":[]},{"given":"Muhammad","family":"Usman","sequence":"additional","affiliation":[]},{"given":"Numra","family":"Arshad","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,5,4]]},"reference":[{"key":"9717_CR1","unstructured":"Aldawud O, Elrad T, Bader A (2003) Uml profile for aspect-oriented software development. In: Proceedings of third international workshop on aspect-oriented modeling"},{"issue":"4","key":"9717_CR2","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1007\/s10270-011-0206-z","volume":"11","author":"S Ali","year":"2012","unstructured":"Ali S, Briand LC, Hemmati H (2012) Modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systems. Softw Syst Model 11(4):633\u2013670","journal-title":"Softw Syst Model"},{"issue":"10","key":"9717_CR3","doi-asserted-by":"publisher","first-page":"1376","DOI":"10.1109\/TSE.2013.17","volume":"39","author":"S Ali","year":"2013","unstructured":"Ali S, Iqbal MZ, Arcuri A, Briand LC (2013) Generating test data from ocl constraints with search techniques. IEEE Trans Softw Eng 39(10):1376\u20131402","journal-title":"IEEE Trans Softw Eng"},{"issue":"3","key":"9717_CR4","doi-asserted-by":"publisher","first-page":"1189","DOI":"10.1007\/s10270-012-0293-5","volume":"13","author":"S Ali","year":"2014","unstructured":"Ali S, Yue T, Briand LC (2014a) Does aspect-oriented modeling help improve the readability of uml state machines? Softw Syst Model 13(3):1189\u20131221","journal-title":"Softw Syst Model"},{"key":"9717_CR5","doi-asserted-by":"crossref","unstructured":"Ali S, Yue T, Iqbal MZ, Panesar-Walawege RK (2014b) Insights on the use of ocl in diverse industrial applications. In: International conference on system analysis and modeling. Springer, pp 223\u2013238","DOI":"10.1007\/978-3-319-11743-0_16"},{"issue":"6","key":"9717_CR6","doi-asserted-by":"publisher","first-page":"2459","DOI":"10.1007\/s10664-015-9392-6","volume":"21","author":"S Ali","year":"2016","unstructured":"Ali S, Iqbal MZ, Khalid M, Arcuri A (2016) Improving the performance of ocl constraint solving with novel heuristics for logical operations: a search-based approach. Empir Softw Eng 21(6):2459\u20132502","journal-title":"Empir Softw Eng"},{"issue":"1","key":"9717_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2200\/S00441ED1V01Y201208SWE001","volume":"1","author":"M Brambilla","year":"2012","unstructured":"Brambilla M, Cabot J, Wimmer M (2012) Model-driven software engineering in practice. Synthesis Lectures on Software Engineering 1(1):1\u2013182","journal-title":"Synthesis Lectures on Software Engineering"},{"key":"9717_CR8","doi-asserted-by":"crossref","unstructured":"Cabot J (2007) From declarative to imperative uml\/ocl operation specifications. In: International conference on conceptual modeling, Springer, pp 198\u2013213","DOI":"10.1007\/978-3-540-75563-0_15"},{"key":"9717_CR9","unstructured":"Cabot J (2014) Ocl repository. \n                              https:\/\/github.com\/jcabot\/ocl-repository"},{"key":"9717_CR10","doi-asserted-by":"crossref","unstructured":"Cabot J, Gogolla M (2012) Object constraint language (ocl): a definitive guide. In: Formal methods for model-driven engineering. Springer, pp 58\u201390","DOI":"10.1007\/978-3-642-30982-3_3"},{"issue":"3","key":"9717_CR11","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/j.scico.2007.05.001","volume":"68","author":"J Cabot","year":"2007","unstructured":"Cabot J, Teniente E (2007) Transformation techniques for ocl constraints. Sci Comput Program 68(3):179\u2013195","journal-title":"Sci Comput Program"},{"key":"9717_CR12","volume-title":"Aspect-oriented analysis and design","author":"S Clarke","year":"2005","unstructured":"Clarke S, Baniassad E (2005) Aspect-oriented analysis and design. Addison-Wesley Professional, Boston"},{"key":"9717_CR13","doi-asserted-by":"crossref","unstructured":"Correa A, Werner C (2004) Applying refactoring techniques to uml\/ocl models. In: International conference on the unified modeling language, Springer, pp 173\u2013187","DOI":"10.1007\/978-3-540-30187-5_13"},{"issue":"2","key":"9717_CR14","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/s10270-006-0023-y","volume":"6","author":"A Correa","year":"2007","unstructured":"Correa A, Werner C (2007) Refactoring object constraint language specifications. Softw Syst Model 6(2):113\u2013138","journal-title":"Softw Syst Model"},{"key":"9717_CR15","doi-asserted-by":"crossref","unstructured":"Correa A, Werner C, Barros M (2007) An empirical study of the impact of ocl smells and refactorings on the understandability of ocl specifications. In: International conference on model driven engineering languages and systems. Springer, pp 76\u201390","DOI":"10.1007\/978-3-540-75209-7_6"},{"issue":"2","key":"9717_CR16","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1049\/iet-sen.2008.0022","volume":"3","author":"A Correa","year":"2009","unstructured":"Correa A, Werner C, Barros M (2009) Refactoring to improve the understandability of specifications written in object constraint language. IET software 3(2):69\u201390","journal-title":"IET software"},{"issue":"4","key":"9717_CR17","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/s10270-007-0078-4","volume":"7","author":"D Costal","year":"2008","unstructured":"Costal D, G\u00f3mez C, Queralt A, Ravent\u00f3s R, Teniente E (2008) Improving the definition of general constraints in uml. Softw Syst Model 7(4):469\u2013486","journal-title":"Softw Syst Model"},{"key":"9717_CR18","doi-asserted-by":"crossref","unstructured":"Dou W, Bianculli D, Briand L (2014) Oclr: a more expressive, pattern-based temporal extension of ocl. In: European conference on modelling foundations and applications, Springer, pp 51\u201366","DOI":"10.1007\/978-3-319-09195-2_4"},{"issue":"10","key":"9717_CR19","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/383845.383853","volume":"44","author":"T Elrad","year":"2001","unstructured":"Elrad T, Filman RE, Bader A (2001) Aspect-oriented programming: introduction. Commun ACM 44(10):29\u201332","journal-title":"Commun ACM"},{"issue":"4","key":"9717_CR20","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 (2004) Aspect-oriented approach to early design modelling. IEE Product Softw 151(4):173\u2013185","journal-title":"IEE Product Softw"},{"key":"9717_CR21","unstructured":"Frias L, Queralt Calafat A, Oliv\u00e9 RA (2003) Eu-rent car rentals specification, \n                              http:\/\/hdl.handle.net\/2117\/97816"},{"key":"9717_CR22","unstructured":"Grant ES (2012) A meta-model approach to defining uml-based domain-specific modeling language. In: Proceedings of the international multiconference of engineers and computer scientists, vol 1"},{"issue":"10","key":"9717_CR23","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/383845.383864","volume":"44","author":"J Gray","year":"2001","unstructured":"Gray J, Bapty T, Neema S, Tuck J (2001) Handling crosscutting constraints in domain-specific modeling. Commun ACM 44(10):87\u201393","journal-title":"Commun ACM"},{"key":"9717_CR24","doi-asserted-by":"crossref","unstructured":"Hearnden D, Raymond K, Steel J (2003) Mql: a powerful extension to ocl for mof queries. In: 2003 Proceedings of the IEEE international enterprise distributed object computing conference. IEEE, pp 264\u2013276","DOI":"10.1109\/EDOC.2003.1233855"},{"issue":"2","key":"9717_CR25","first-page":"1","volume":"45","author":"L Hong","year":"2017","unstructured":"Hong L, Wang S, Yue T, Nygard JF, et al. (2017) Automated refactoring of ocl constraints with search. IEEE Trans Softw Eng 45(2):1\u20131","journal-title":"IEEE Trans Softw Eng"},{"issue":"3","key":"9717_CR26","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1023\/A:1026586415054","volume":"5","author":"M H\u00f6st","year":"2000","unstructured":"H\u00f6st M, Regnell B, Wohlin C (2000) Using students as subjects\u2014a comparative study of students and professionals in lead-time impact assessment. Empir Softw Eng 5(3):201\u2013214","journal-title":"Empir Softw Eng"},{"key":"9717_CR27","doi-asserted-by":"crossref","unstructured":"Khan MU, Iqbal MZ, Ali S (2014) A heuristic-based approach to refactor crosscutting behaviors in uml state machines. In: 2014 IEEE international conference on software maintenance and evolution (ICSME). IEEE, pp 557\u2013560","DOI":"10.1109\/ICSME.2014.94"},{"key":"9717_CR28","doi-asserted-by":"crossref","unstructured":"Khan MU, Arshad N, Iqbal MZ, Umar H (2015) Aspectocl: extending ocl for crosscutting constraints. In: European conference on modelling foundations and applications. Springer, pp 92\u2013107","DOI":"10.1007\/978-3-319-21151-0_7"},{"issue":"1","key":"9717_CR29","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/s00165-007-0062-3","volume":"20","author":"M Kuhlmann","year":"2008","unstructured":"Kuhlmann M, Gogolla M (2008) Modeling and validating mondex scenarios described in uml and ocl with use. Form Asp Comput 20(1):79\u2013100","journal-title":"Form Asp Comput"},{"key":"9717_CR30","volume-title":"AspectJ in action: practical aspect-oriented programming","author":"R Laddad","year":"2003","unstructured":"Laddad R (2003) AspectJ in action: practical aspect-oriented programming. Manning Publications Co., Shelter Island"},{"key":"9717_CR31","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/j.entcs.2005.10.020","volume":"152","author":"L Lengyel","year":"2006","unstructured":"Lengyel L, Levendovszky T, Mezei G, Forstner B, Charaf H (2006) Metamodel-based model transformation with aspect-oriented constraints. Electron Notes Theor Comput Sci 152:111\u2013123","journal-title":"Electron Notes Theor Comput Sci"},{"issue":"1","key":"9717_CR32","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s10270-007-0056-x","volume":"7","author":"S Markovi\u0107","year":"2008","unstructured":"Markovi\u0107 S, Baar T (2008) Refactoring ocl annotated uml class diagrams. Softw Syst Model 7(1):25\u201347","journal-title":"Softw Syst Model"},{"key":"9717_CR33","doi-asserted-by":"crossref","unstructured":"Mguni K, Ayalew Y (2013) An assessment of maintainability of an aspect-oriented system. ISRN Software Engineering 2013","DOI":"10.1155\/2013\/121692"},{"key":"9717_CR34","unstructured":"OMG (2008) Mof model to text transformation language v1.0. Object Management Group Inc. \n                              http:\/\/www.omg.org\/spec\/MOFM2T\/"},{"key":"9717_CR35","unstructured":"OMG (2017) Object constraint language specification v2.4. Object Management Group Inc. \n                              http:\/\/www.omg.org\/spec\/OCL\/2.4\/"},{"issue":"4","key":"9717_CR36","first-page":"1","volume":"32","author":"A Przyby\u0142ek","year":"2017","unstructured":"Przyby\u0142ek A (2017) An empirical study on the impact of aspectj on software evolvability. Empir Softw Eng 32(4):1\u201333","journal-title":"Empir Softw Eng"},{"key":"9717_CR37","unstructured":"Richters M, Gogolla M (2003) Aspect-oriented monitoring of uml and ocl constraints. In: AOSD modeling with UML workshop international conference on the unified modeling language, (UML), San Francisco, USA"},{"key":"9717_CR38","doi-asserted-by":"crossref","unstructured":"Rumpe B (2002) \u226a java \u226b ocl based on new presentation of the ocl-syntax. Object Modeling with the OCL","DOI":"10.1007\/3-540-45669-4_10"},{"key":"9717_CR39","doi-asserted-by":"crossref","unstructured":"Salman I, Misirli AT, Juristo N (2015) Are students representatives of professionals in software engineering experiments?. In: Proceedings of the international conference on software engineering, vol 1. IEEE Press, pp 666\u2013676","DOI":"10.1109\/ICSE.2015.82"},{"key":"9717_CR40","doi-asserted-by":"crossref","unstructured":"Sato Y, Chiba S, Tatsubori M (2003) A selective, just-in-time aspect weaver. In: International conference on generative programming and component engineering. Springer, pp 189\u2013208","DOI":"10.1007\/978-3-540-39815-8_12"},{"key":"9717_CR41","volume-title":"Model-driven software development: technology, engineering, management","author":"T Stahl","year":"2006","unstructured":"Stahl T, Volter M (2006) Model-driven software development: technology, engineering, management. Wiley, New York"},{"key":"9717_CR42","doi-asserted-by":"crossref","unstructured":"St\u00f6rrle H (2013) Mocql: a declarative language for ad-hoc model querying. In: European conference on modelling foundations and applications. Springer, pp 3\u201319","DOI":"10.1007\/978-3-642-39013-5_2"},{"key":"9717_CR43","unstructured":"Tairas R, Cabot J (2011) Cloning in dsls: experiments with ocl. In: SLE. Springer, pp 60\u201376"},{"key":"9717_CR44","doi-asserted-by":"crossref","unstructured":"Vain J, Truscan D, Iqbal J, Tsiopoulos L (2017) On the benefits of using aspect-orientation in uppaal timed automata. In: 2017 international conference on Infocom technologies and unmanned systems (trends and future directions)(ICTUS). IEEE, pp 84\u201391","DOI":"10.1109\/ICTUS.2017.8285981"},{"issue":"2","key":"9717_CR45","first-page":"101","volume":"25","author":"A Vargha","year":"2000","unstructured":"Vargha A, Delaney HD (2000) A critique and improvement of the cl common language effect size statistics of mcgraw and wong. J Educ Behav Stat 25(2):101\u2013132","journal-title":"J Educ Behav Stat"},{"issue":"2","key":"9717_CR46","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1109\/TSE.2015.2467378","volume":"42","author":"S Vegas","year":"2016","unstructured":"Vegas S, Apa C, Juristo N (2016) Crossover designs in software engineering experiments: Benefits and perils. IEEE Trans Softw Eng 42(2):120\u2013135","journal-title":"IEEE Trans Softw Eng"},{"key":"9717_CR47","unstructured":"Warmer JB, Kleppe AG (1998) The object constraint language: precise modeling with uml (addison-wesley object technology series)"},{"key":"9717_CR48","unstructured":"Warmer JB, Kleppe AG (2003) The object constraint language: getting your models ready for MDA, Addison-Wesley Professional, Boston"},{"key":"9717_CR49","doi-asserted-by":"crossref","unstructured":"Weber D, Szymanek J, Norrie MC (2016) Unifiedocl: achieving system-wide constraint representations. In: Conceptual modeling: international conference, ER 2016, Gifu, Japan, November 14\u201317, 2016, Proceedings 35. Springer, pp 221\u2013229","DOI":"10.1007\/978-3-319-46397-1_17"},{"issue":"4","key":"9717_CR50","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/1978802.1978807","volume":"43","author":"M Wimmer","year":"2011","unstructured":"Wimmer M, Schauerhuber A, Kappel G, Retschitzegger W, Schwinger W, Kapsammer E (2011) A survey on uml-based aspect-oriented design modeling. ACM Computing Surveys (CSUR) 43(4):28","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"9717_CR51","doi-asserted-by":"crossref","unstructured":"Wohlin C, Runeson P, H\u00f6st M, Ohlsson MC, Regnell B, Wessl\u00e9n A (2012) Experimentation in software engineering, Springer Science & Business Media, Berlin","DOI":"10.1007\/978-3-642-29044-2"}],"container-title":["Empirical Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-019-09717-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10664-019-09717-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-019-09717-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,2]],"date-time":"2020-05-02T23:15:50Z","timestamp":1588461350000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10664-019-09717-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5,4]]},"references-count":51,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2019,8]]}},"alternative-id":["9717"],"URL":"https:\/\/doi.org\/10.1007\/s10664-019-09717-6","relation":{},"ISSN":["1382-3256","1573-7616"],"issn-type":[{"type":"print","value":"1382-3256"},{"type":"electronic","value":"1573-7616"}],"subject":[],"published":{"date-parts":[[2019,5,4]]},"assertion":[{"value":"4 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}