{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T19:42:00Z","timestamp":1779392520801,"version":"3.53.1"},"reference-count":18,"publisher":"Wiley","license":[{"start":{"date-parts":[[2011,9,27]],"date-time":"2011-09-27T00:00:00Z","timestamp":1317081600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Advances in Software Engineering"],"published-print":{"date-parts":[[2011,9,27]]},"abstract":"<jats:p>UML\/OCL class diagrams provide high-level descriptions of\nsoftware systems. Currently, UML\/OCL class diagrams are highly used\nfor code generation through several transformations in order to save time\nand effort of software developers. Therefore, verification of these class diagrams is essential in order to generate accurate transformations. Verification of UML\/OCL class diagrams is a quite challenging task when the\ninput is large (i.e., a complex UML\/OCL class diagram). In this paper,\nwe present (1) a benchmark for UML\/OCL verification and validation\ntools, (2) an evaluation and analysis of tools available for verification\nand validation of UML\/OCL class diagrams including the range of UML\nsupport for each tool, (3) the problems with efficiency of the verification process for UML\/OCL class diagrams, and (4) solution for efficient verification of complex class diagrams.<\/jats:p>","DOI":"10.1155\/2011\/370198","type":"journal-article","created":{"date-parts":[[2011,9,28]],"date-time":"2011-09-28T03:06:50Z","timestamp":1317179210000},"page":"1-18","source":"Crossref","is-referenced-by-count":14,"title":["Evaluation of Tools and Slicing Techniques for Efficient Verification of UML\/OCL Class Diagrams"],"prefix":"10.1155","volume":"2011","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4806-6159","authenticated-orcid":true,"given":"Asadullah","family":"Shaikh","sequence":"first","affiliation":[{"name":"The Maersk Mc-Kinney Moller Institute, University of Southern Denmark, 5230 Odense, Denmark"},{"name":"Universitat Oberta de Catalunya, Barcelona 08018, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6898-4083","authenticated-orcid":true,"given":"Uffe Kock","family":"Wiil","sequence":"additional","affiliation":[{"name":"The Maersk Mc-Kinney Moller Institute, University of Southern Denmark, 5230 Odense, Denmark"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nasrullah","family":"Memon","sequence":"additional","affiliation":[{"name":"The Maersk Mc-Kinney Moller Institute, University of Southern Denmark, 5230 Odense, Denmark"},{"name":"Mehran University of Engineering & Technology, Jamshoro 76062, Pakistan"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"311","reference":[{"key":"18","series-title":"Lecture Notes in Informatics","volume-title":"Using alloy and uml\/ocl to specify run-time\nconfiguration management: a case study","year":"2001"},{"key":"10","series-title":"Workshop on Challenges in MDE","volume-title":"UML\/OCL verification in practice","year":"2008"},{"issue":"2","key":"22","first-page":"266","volume":"11","year":"2002","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2005.05.003"},{"key":"6","series-title":"CEUR Workshop Proceedings","volume-title":"A UML-based method for deciding finite satisfiability in description logics","volume":"353","year":"2008"},{"key":"34","series-title":"LNCS","volume-title":"Reasoning on UML class diagrams with OCL constraints","volume":"4215","year":"2006"},{"key":"29","series-title":"LNCS","volume-title":"Eficient reasoning about finite satisfiability of UML\nclass diagrams with constrained generalization sets","volume":"4530","year":"2007"},{"key":"23","year":"2006"},{"issue":"2","key":"1","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1016\/j.jss.2009.08.012","volume":"83","year":"2010","journal-title":"Journal of Systems and Software"},{"key":"36","volume-title":"Uost: Uml\/ocl aggressive slicing technique\nfor eficient verification of models","year":"2010"},{"key":"3","year":"2007"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-005-0089-y"},{"issue":"2","key":"14","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/S0304-3975(01)00359-0","volume":"285","year":"2002","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"28","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1109\/32.588543","volume":"23","year":"1997","journal-title":"IEEE Transactions on Software Engineering"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1007\/BF02943330"},{"issue":"4","key":"38","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"se-10","year":"1984","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5","volume-title":"Modularization of the UML metamodel using model slicing","year":"2008"},{"key":"27","volume-title":"Slicing UML architectural models","volume":"33","year":"2008"}],"container-title":["Advances in Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/downloads.hindawi.com\/archive\/2011\/370198.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/archive\/2011\/370198.xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/archive\/2011\/370198.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,8]],"date-time":"2020-12-08T22:13:21Z","timestamp":1607465601000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.hindawi.com\/journals\/ase\/2011\/370198\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,27]]},"references-count":18,"alternative-id":["370198","370198"],"URL":"https:\/\/doi.org\/10.1155\/2011\/370198","relation":{},"ISSN":["1687-8655","1687-8663"],"issn-type":[{"value":"1687-8655","type":"print"},{"value":"1687-8663","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,9,27]]}}}