{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T08:34:29Z","timestamp":1648715669837},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2020,5,18]],"date-time":"2020-05-18T00:00:00Z","timestamp":1589760000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,5,18]],"date-time":"2020-05-18T00:00:00Z","timestamp":1589760000000},"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":["Softw Syst Model"],"published-print":{"date-parts":[[2021,2]]},"DOI":"10.1007\/s10270-020-00796-4","type":"journal-article","created":{"date-parts":[[2020,5,18]],"date-time":"2020-05-18T02:02:30Z","timestamp":1589767350000},"page":"27-48","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Imperative versus declarative constraint specification languages: a controlled experiment"],"prefix":"10.1007","volume":"20","author":[{"given":"Azzam","family":"Maraee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arnon","family":"Sturm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,5,18]]},"reference":[{"issue":"1","key":"796_CR1","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1007\/s10270-016-0573-6","volume":"18","author":"A AbuHassan","year":"2019","unstructured":"AbuHassan, A., Alshayeb, M.: A metrics suite for UML model stability. Softw. Syst. Model. 18(1), 557\u2013583 (2019)","journal-title":"Softw. Syst. Model."},{"key":"796_CR2","doi-asserted-by":"crossref","unstructured":"Ali, S., Yue, T., Iqbal, M.Z., Panesar-Walawege, R.K.: Insights on the use of OCL in diverse industrial applications. In International Conference on System Analysis and Modeling, pp. 223\u2013238 (2014)","DOI":"10.1007\/978-3-319-11743-0_16"},{"issue":"10","key":"796_CR3","doi-asserted-by":"publisher","first-page":"1376","DOI":"10.1109\/TSE.2013.17","volume":"39","author":"S Ali","year":"2013","unstructured":"Ali, S., Zohaib, M.I., Arcuri, A., Briand, L.C.: Generating test data from OCL constraints with search techniques. IEEE Trans. Softw. Eng. 39(10), 1376\u20131402 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"796_CR4","unstructured":"Balaban, M., Bennett, P., Doan, K.H., Georg, G., Gogolla, M., Khitron, I., Kifer, M.: A comparison of textual modeling languages: OCL, Alloy, FOML. InOCL@ MoDELS, pp. 57\u201372 (2016)"},{"key":"796_CR5","doi-asserted-by":"crossref","unstructured":"Bao-Lin, L., Zhi-shu, L., Qing, L., Hong, C.Y.: Test case automate generation from UML sequence diagram and OCL expression. In: International Conference on Computational Intelligence and Security, pp. 1048\u20131052 (2007)","DOI":"10.1109\/CIS.2007.150"},{"key":"796_CR6","unstructured":"Briand, L.C., Labiche, Y., Yan, H.D., Penta, M.D.: A controlled experiment on the impact of the object constraint language in UML-based maintenance. In: The 20th IEEE International Conference on Software Maintenance, pp. 380\u2013389 (2004)"},{"issue":"5","key":"796_CR7","doi-asserted-by":"publisher","first-page":"722","DOI":"10.1109\/32.815329","volume":"25","author":"LC Briand","year":"1999","unstructured":"Briand, L.C., Morasca, S., Basili, V.R.: Defining and validating measures for object-based high-level design. IEEE Trans. Softw. Eng. 25(5), 722\u2013743 (1999)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"796_CR8","doi-asserted-by":"crossref","unstructured":"Briand, L.C., Wust, J., Ikonomovski, S.V., Lounis, H.: Investigating quality factors in object-oriented designs: an industrial case study. In: Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No. 99CB37002), pp. 345\u2013354. IEEE (1999)","DOI":"10.1145\/302405.302654"},{"issue":"1","key":"796_CR9","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1080\/08993408.2018.1462000","volume":"28","author":"L Burgue\u00f1o","year":"2018","unstructured":"Burgue\u00f1o, L., Vallecillo, A., Gogolla, M.: Teaching UML and OCL models and their validation to software engineering students: an experience report. Comput. Sci. Educ. 28(1), 23\u201341 (2018)","journal-title":"Comput. Sci. Educ."},{"key":"796_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jss.2014.03.023","volume":"93","author":"J Cabot","year":"2014","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: On the verification of UML\/OCL class diagrams using constraint programming. J. Syst. Softw. 93, 1\u201323 (2014)","journal-title":"J. Syst. Softw."},{"issue":"6","key":"796_CR11","doi-asserted-by":"publisher","first-page":"476","DOI":"10.1109\/32.295895","volume":"20","author":"SR Chidamber","year":"1994","unstructured":"Chidamber, S.R., Kemerer, C.F.: A metrics suite for object oriented design. IEEE Trans. Softw. Eng. 20(6), 476\u2013493 (1994)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"796_CR12","unstructured":"Chiorean, D., Bortes,M., Corutiu, D., Botiza, C., C\u00e2rcu, A.: Object constraint language environment (OCLE). http:\/\/lci.cs.ubbcluj.ro\/ocle\/. Accessed Sept 2019"},{"key":"796_CR13","doi-asserted-by":"crossref","unstructured":"Correa, A., Werner, C., Barros, M.: An empirical study of the impact of OCL smells and refactorings on the understandability of OCL specifications. In: Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems (MODELS\u201907). Springer-Verlag, Berlin, Heidelberg, pp. 76\u201390 (2007)","DOI":"10.1007\/978-3-540-75209-7_6"},{"issue":"11","key":"796_CR14","doi-asserted-by":"publisher","first-page":"2209","DOI":"10.1016\/j.ins.2010.01.026","volume":"180","author":"JA Cruz-Lemus","year":"2010","unstructured":"Cruz-Lemus, J.A., Maes, A., Genero, M., Poels, G., Piattini, M.: The impact of structural complexity on the understandability of UML statechart diagrams. Inf. Sci. 180(11), 2209\u20132220 (2010)","journal-title":"Inf. Sci."},{"key":"796_CR15","unstructured":"Eclipse IDE for Java Developers. https:\/\/www.eclipse.org\/downloads\/packages\/release\/kepler\/sr1\/eclipse-ide-java-developers"},{"key":"796_CR16","unstructured":"Eclipse, Eclipse OCL. https:\/\/projects.eclipse.org\/projects\/modeling.mdt.ocl. Accessed Sept 2019"},{"key":"796_CR17","doi-asserted-by":"crossref","unstructured":"Fahland, D., et al. (2009) Declarative versus Imperative Process Modeling Languages: The Issue of Understandability. In: Halpin, T., et al. (eds.) Enterprise, Business-Process and Information Systems Modeling. BPMDS 2009, EMMSAD 2009. Lecture Notes in Business Information Processing, vol 29. Springer, Berlin, Heidelberg (2009)","DOI":"10.1007\/978-3-642-01862-6_29"},{"issue":"9","key":"796_CR18","doi-asserted-by":"publisher","first-page":"59","DOI":"10.5381\/jot.2005.4.9.a1","volume":"4","author":"M Genero","year":"2005","unstructured":"Genero, M., Piattini, M., Calero, C.: A survey of metrics for UML class diagrams. J. Object Technol. 4(9), 59\u201392 (2005)","journal-title":"J. Object Technol."},{"issue":"3","key":"796_CR19","doi-asserted-by":"publisher","first-page":"534","DOI":"10.1016\/j.datak.2007.09.011","volume":"64","author":"M Genero","year":"2008","unstructured":"Genero, M., Poels, G., Piattini, M.: Defining and validating metrics for assessing the understandability of entity\u2013relationship diagrams. Data Knowl. Eng. 64(3), 534\u2013557 (2008)","journal-title":"Data Knowl. Eng."},{"issue":"1\u20133","key":"796_CR20","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.scico.2007.01.013","volume":"69","author":"M Gogolla","year":"2007","unstructured":"Gogolla, M., B\u00fcttner, F., Richters, R.: USE: a UML-based specification environment for validating UML and OCL. Sci. Comput. Program. 69(1\u20133), 27\u201334 (2007)","journal-title":"Sci. Comput. Program."},{"issue":"4","key":"796_CR21","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/s10270-005-0089-y","volume":"4","author":"M Gogolla","year":"2005","unstructured":"Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL models in USE by automatic snapshot generation. Softw. Syst. Model. 4(4), 386\u2013398 (2005)","journal-title":"Softw. Syst. Model."},{"key":"796_CR22","first-page":"443","volume-title":"People and Computers","author":"TRG Green","year":"1989","unstructured":"Green, T.R.G.: Cognitive dimensions of notations. In: Sutcliffe, A., Macaulay, L. (eds.) People and Computers, pp. 443\u2013460. Cambridge University Press, Cambridge (1989)"},{"key":"796_CR23","unstructured":"IntelliJ IDEA. https:\/\/www.jetbrains.com\/idea\/"},{"key":"796_CR24","doi-asserted-by":"crossref","unstructured":"Jamil H, Islam A.: The power of declarative languages: a comparative exposition of scientific workflow design using BioFlow and Taverna. In: Congress on Services, pp. 322\u2013329 (2009)","DOI":"10.1109\/SERVICES-I.2009.46"},{"issue":"8","key":"796_CR25","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1109\/TSE.2002.1027796","volume":"28","author":"BA Kitchenham","year":"2002","unstructured":"Kitchenham, B.A., Pfleeger, S.L., Pickard, L.M., Jones, P.W., Hoaglin, D.C., El Emam, K., Rosenberg, J.: Preliminary guidelines for empirical research in software engineering. IEEE Trans. Softw. Eng. 28(8), 721\u2013734 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"796_CR26","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/BF01587101","volume":"1","author":"J Krogstie","year":"1996","unstructured":"Krogstie, J., Sindre, G.: Utilizing deontic operators in information systems specifications. Requir. Eng. 1, 210\u2013237 (1996)","journal-title":"Requir. Eng."},{"key":"796_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-2936-3","volume-title":"Model-Based Development and Evolution of Information Systems\u2014A Quality Approach","author":"J Krogstie","year":"2012","unstructured":"Krogstie, J.: Model-Based Development and Evolution of Information Systems\u2014A Quality Approach. Springer, New York (2012)"},{"key":"796_CR28","doi-asserted-by":"crossref","unstructured":"Manso, M.E., Genero, M., Piattini, M.: No-redundant metrics for UML class diagram structural complexity. In International Conference on Advanced Information Systems Engineering, pp. 127\u2013142 (2003)","DOI":"10.1007\/3-540-45017-3_11"},{"key":"796_CR29","doi-asserted-by":"crossref","unstructured":"Maraee, A., Sturm, A.: The usage of constraint specification languages: a controlled experiment. BPMDS\/EMMSAD@CAiSE, pp. 329\u2013343 (2019)","DOI":"10.1007\/978-3-030-20618-5_22"},{"key":"796_CR30","doi-asserted-by":"publisher","first-page":"8782","DOI":"10.1109\/ACCESS.2018.2791344","volume":"6","author":"S Misra","year":"2018","unstructured":"Misra, S., Adewumi, A., Fernandez-Sanz, L., Damasevicius, R.: A suite of object oriented cognitive complexity metrics. IEEE Access 6, 8782\u20138796 (2018)","journal-title":"IEEE Access"},{"key":"796_CR31","unstructured":"Mussbacher, G., et al.: The relevance of model-driven engineering thirty years from now. In: Dingel, J., Schulte, W., Ramos, I., Abrah\u00e3o, S., Insfran, E. (eds.) Model-Driven Engineering Languages and Systems. MODELS 2014. Lecture Notes in Computer Science, vol. 8767, pp. 183\u2013200 (2014)"},{"key":"796_CR32","unstructured":"OCL Portal, OCL Tools. http:\/\/st.inf.tu-dresden.de\/oclportal\/index.php?option=com_content&view=category&id=8&Itemid=26. Accessed Sept 2019"},{"key":"796_CR33","unstructured":"OMG, Object-Constraint Language, version 2.4, https:\/\/www.omg.org\/spec\/OCL\/2.4. Accessed Sept 2019"},{"key":"796_CR34","unstructured":"Papyrus. https:\/\/www.eclipse.org\/papyrus\/"},{"key":"796_CR35","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1016\/j.is.2018.08.005","volume":"81","author":"B P\u00e9rez","year":"2019","unstructured":"P\u00e9rez, B., Porres, I.: Reasoning about UML\/OCL class diagrams using constraint logic programming and formula. Inf. Syst. 81, 152\u2013177 (2019)","journal-title":"Inf. Syst."},{"key":"796_CR36","doi-asserted-by":"crossref","unstructured":"Pichler, P., Weber, B., Zugal, S., Pinggera, J., Mendling, J., Reijers, H.A.: Imperative versus declarative process modeling languages: an empirical investigation. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) Business Process Management Workshops. Lecture Notes in Business Information Processing, vol. 99, pp. 383\u2013394 (2012)","DOI":"10.1007\/978-3-642-28108-2_37"},{"key":"796_CR37","volume-title":"Automated Validation and Verification of UML\/OCL Models Using Satisfiability Solvers","author":"N Przigoda","year":"2015","unstructured":"Przigoda, N., Wille, R., Przigoda, J., Drechsler, R.: Automated Validation and Verification of UML\/OCL Models Using Satisfiability Solvers. Springer, New York (2015)"},{"issue":"2","key":"796_CR38","doi-asserted-by":"publisher","first-page":"953","DOI":"10.1007\/s10270-013-0350-8","volume":"14","author":"G Rull","year":"2015","unstructured":"Rull, G., Farr\u00e9, C., Queralt, A., Teniente, E., Urp\u00ed, T.: AuRUS: explaining the validation of UML\/OCL conceptual schemas. Softw. Syst. Model. 14(2), 953\u2013980 (2015)","journal-title":"Softw. Syst. Model."},{"key":"796_CR39","doi-asserted-by":"crossref","unstructured":"Rychkova, I., Regev, G., Wegmann, A.: High-level design and analysis of business processes the advantages of declarative specifications. In: Second International Conference on Research Challenges in Information Science, pp. 99\u2013110 (2008)","DOI":"10.1109\/RCIS.2008.4632098"},{"issue":"5","key":"796_CR40","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/MS.2003.1231150","volume":"20","author":"S Sendall","year":"2003","unstructured":"Sendall, S., Kozaczynski, W.: Model transformation: the heart and soul of model-driven software development. IEEE Softw. 20(5), 42\u201345 (2003)","journal-title":"IEEE Softw."},{"key":"796_CR41","unstructured":"St\u00f6rrle, H.: Improving the usability of OCL as an ad-hoc model querying language. In: The 13th International Workshop on OCL, Model Constraint and Query Languages, pp. 83\u201392 (2013)"},{"key":"796_CR42","unstructured":"Subramaniam, V.: Functional programming in Java: harnessing the power of Java 8 Lambda expressions. Pragmatic Bookshelf (2014)"},{"key":"796_CR43","volume-title":"The Object Constraint Language: Getting Your Models Ready for MDA","author":"J Warmer","year":"2003","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA. Addison-Wesley, Boston (2003)"},{"key":"796_CR44","unstructured":"Wikipedia contributors, Integrated development environment, Wikipedia, The Free Encyclopedia. https:\/\/en.wikipedia.org\/w\/index.php?title=Integrated_development_environment&oldid=936168158. Accessed 30 Jan 2020"},{"key":"796_CR45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29044-2","volume-title":"Experimentation in Software Engineering","author":"C Wohlin","year":"2012","unstructured":"Wohlin, C., Runeson, P., H\u00f6st, M., Ohlsson, M.C., Regnell, B., Wessl\u00e9n, A.: Experimentation in Software Engineering. Springer, New York (2012)"},{"issue":"3","key":"796_CR46","doi-asserted-by":"publisher","first-page":"757","DOI":"10.1007\/s10270-014-0438-9","volume":"15","author":"T Yue","year":"2016","unstructured":"Yue, T., Ali, S.: Empirically evaluating OCL and Java for specifying constraints on UML models. Softw. Syst. Model. 15(3), 757\u2013781 (2016)","journal-title":"Softw. Syst. Model."},{"issue":"3","key":"796_CR47","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1002\/smr.554","volume":"24","author":"S Zugal","year":"2012","unstructured":"Zugal, S., Pinggera, J., Weber, B.: Toward enhanced life-cycle support for declarative processes. J. Softw. Evol. Process 24(3), 285\u2013302 (2012)","journal-title":"J. Softw. Evol. Process"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00796-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-020-00796-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00796-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,17]],"date-time":"2021-05-17T23:08:57Z","timestamp":1621292937000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-020-00796-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5,18]]},"references-count":47,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2021,2]]}},"alternative-id":["796"],"URL":"https:\/\/doi.org\/10.1007\/s10270-020-00796-4","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,5,18]]},"assertion":[{"value":"30 September 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 February 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 March 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 May 2020","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}