{"id":"https://openalex.org/W2037832816","doi":"https://doi.org/10.1155/2011/370198","title":"Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams","display_name":"Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams","publication_year":2011,"publication_date":"2011-09-27","ids":{"openalex":"https://openalex.org/W2037832816","doi":"https://doi.org/10.1155/2011/370198","mag":"2037832816"},"language":"en","primary_location":{"id":"doi:10.1155/2011/370198","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2011/370198","pdf_url":"https://downloads.hindawi.com/archive/2011/370198.pdf","source":{"id":"https://openalex.org/S78701549","display_name":"Advances in Software Engineering","issn_l":"1687-8655","issn":["1687-8655","1687-8663"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Advances in Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://downloads.hindawi.com/archive/2011/370198.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102912690","display_name":"Asadullah Shaikh","orcid":"https://orcid.org/0000-0003-4806-6159"},"institutions":[{"id":"https://openalex.org/I138847295","display_name":"Universitat Oberta de Catalunya","ror":"https://ror.org/01f5wp925","country_code":"ES","type":"education","lineage":["https://openalex.org/I138847295"]},{"id":"https://openalex.org/I177969490","display_name":"University of Southern Denmark","ror":"https://ror.org/03yrrjy16","country_code":"DK","type":"education","lineage":["https://openalex.org/I177969490"]},{"id":"https://openalex.org/I184886455","display_name":"Maersk (Denmark)","ror":"https://ror.org/046gbzb64","country_code":"DK","type":"company","lineage":["https://openalex.org/I184886455"]}],"countries":["DK","ES"],"is_corresponding":true,"raw_author_name":"Asadullah Shaikh","raw_affiliation_strings":["The Maersk Mc-Kinney Moller Institute, University of Southern Denmark, 5230 Odense, Denmark","Universitat Oberta de Catalunya, Barcelona 08018, Spain"],"raw_orcid":"https://orcid.org/0000-0003-4806-6159","affiliations":[{"raw_affiliation_string":"The Maersk Mc-Kinney Moller Institute, University of Southern Denmark, 5230 Odense, Denmark","institution_ids":["https://openalex.org/I184886455","https://openalex.org/I177969490"]},{"raw_affiliation_string":"Universitat Oberta de Catalunya, Barcelona 08018, Spain","institution_ids":["https://openalex.org/I138847295"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089302640","display_name":"Uffe Kock Wiil","orcid":"https://orcid.org/0000-0001-6898-4083"},"institutions":[{"id":"https://openalex.org/I177969490","display_name":"University of Southern Denmark","ror":"https://ror.org/03yrrjy16","country_code":"DK","type":"education","lineage":["https://openalex.org/I177969490"]},{"id":"https://openalex.org/I184886455","display_name":"Maersk (Denmark)","ror":"https://ror.org/046gbzb64","country_code":"DK","type":"company","lineage":["https://openalex.org/I184886455"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Uffe Kock Wiil","raw_affiliation_strings":["The Maersk Mc-Kinney Moller Institute, University of Southern Denmark, 5230 Odense, Denmark"],"raw_orcid":"https://orcid.org/0000-0001-6898-4083","affiliations":[{"raw_affiliation_string":"The Maersk Mc-Kinney Moller Institute, University of Southern Denmark, 5230 Odense, Denmark","institution_ids":["https://openalex.org/I184886455","https://openalex.org/I177969490"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041548828","display_name":"Nasrullah Memon","orcid":"https://orcid.org/0000-0001-9667-2490"},"institutions":[{"id":"https://openalex.org/I177969490","display_name":"University of Southern Denmark","ror":"https://ror.org/03yrrjy16","country_code":"DK","type":"education","lineage":["https://openalex.org/I177969490"]},{"id":"https://openalex.org/I180291457","display_name":"Mehran University of Engineering and Technology","ror":"https://ror.org/0575ttm03","country_code":"PK","type":"education","lineage":["https://openalex.org/I180291457"]},{"id":"https://openalex.org/I184886455","display_name":"Maersk (Denmark)","ror":"https://ror.org/046gbzb64","country_code":"DK","type":"company","lineage":["https://openalex.org/I184886455"]}],"countries":["DK","PK"],"is_corresponding":false,"raw_author_name":"Nasrullah Memon","raw_affiliation_strings":["Mehran University of Engineering & Technology, Jamshoro 76062, Pakistan","The Maersk Mc-Kinney Moller Institute, University of Southern Denmark, 5230 Odense, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mehran University of Engineering & Technology, Jamshoro 76062, Pakistan","institution_ids":["https://openalex.org/I180291457"]},{"raw_affiliation_string":"The Maersk Mc-Kinney Moller Institute, University of Southern Denmark, 5230 Odense, Denmark","institution_ids":["https://openalex.org/I184886455","https://openalex.org/I177969490"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5102912690"],"corresponding_institution_ids":["https://openalex.org/I138847295","https://openalex.org/I177969490","https://openalex.org/I184886455"],"apc_list":null,"apc_paid":null,"fwci":3.65,"has_fulltext":true,"cited_by_count":24,"citation_normalized_percentile":{"value":0.92760097,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"2011","issue":null,"first_page":"1","last_page":"18"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8116525411605835},{"id":"https://openalex.org/keywords/class-diagram","display_name":"Class diagram","score":0.793204665184021},{"id":"https://openalex.org/keywords/uml-tool","display_name":"UML tool","score":0.7921863198280334},{"id":"https://openalex.org/keywords/applications-of-uml","display_name":"Applications of UML","score":0.7669887542724609},{"id":"https://openalex.org/keywords/object-constraint-language","display_name":"Object Constraint Language","score":0.6974706649780273},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.6710380911827087},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5873262882232666},{"id":"https://openalex.org/keywords/communication-diagram","display_name":"Communication diagram","score":0.5152276158332825},{"id":"https://openalex.org/keywords/activity-diagram","display_name":"Activity diagram","score":0.48062795400619507},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4384238123893738},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3585495948791504},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3535286784172058},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08498990535736084}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8116525411605835},{"id":"https://openalex.org/C202446494","wikidata":"https://www.wikidata.org/wiki/Q664166","display_name":"Class diagram","level":4,"score":0.793204665184021},{"id":"https://openalex.org/C146939238","wikidata":"https://www.wikidata.org/wiki/Q2467310","display_name":"UML tool","level":4,"score":0.7921863198280334},{"id":"https://openalex.org/C41298492","wikidata":"https://www.wikidata.org/wiki/Q4781506","display_name":"Applications of UML","level":4,"score":0.7669887542724609},{"id":"https://openalex.org/C133264317","wikidata":"https://www.wikidata.org/wiki/Q1397689","display_name":"Object Constraint Language","level":5,"score":0.6974706649780273},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.6710380911827087},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5873262882232666},{"id":"https://openalex.org/C48419115","wikidata":"https://www.wikidata.org/wiki/Q950859","display_name":"Communication diagram","level":5,"score":0.5152276158332825},{"id":"https://openalex.org/C64219723","wikidata":"https://www.wikidata.org/wiki/Q423262","display_name":"Activity diagram","level":4,"score":0.48062795400619507},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4384238123893738},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3585495948791504},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3535286784172058},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08498990535736084}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1155/2011/370198","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2011/370198","pdf_url":"https://downloads.hindawi.com/archive/2011/370198.pdf","source":{"id":"https://openalex.org/S78701549","display_name":"Advances in Software Engineering","issn_l":"1687-8655","issn":["1687-8655","1687-8663"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Advances in Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:sdu.dk:publications/518ed6ce-8287-4355-80ce-1eec08bf13ba","is_oa":false,"landing_page_url":"https://portal.findresearcher.sdu.dk/da/publications/518ed6ce-8287-4355-80ce-1eec08bf13ba","pdf_url":null,"source":{"id":"https://openalex.org/S4306400423","display_name":"University of Southern Denmark Research Portal (University of Southern Denmark)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I177969490","host_organization_name":"University of Southern Denmark","host_organization_lineage":["https://openalex.org/I177969490"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Shaikh, A, Wiil, U K & Memon, N 2011, 'Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams', Advances in Software Engineering, vol. 2011, no. Article ID 370198. https://doi.org/10.1155/2011/370198","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1155/2011/370198","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2011/370198","pdf_url":"https://downloads.hindawi.com/archive/2011/370198.pdf","source":{"id":"https://openalex.org/S78701549","display_name":"Advances in Software Engineering","issn_l":"1687-8655","issn":["1687-8655","1687-8663"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Advances in Software Engineering","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2037832816.pdf","grobid_xml":"https://content.openalex.org/works/W2037832816.grobid-xml"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W118881","https://openalex.org/W111894459","https://openalex.org/W115264487","https://openalex.org/W138671001","https://openalex.org/W165540832","https://openalex.org/W1565345979","https://openalex.org/W1574831287","https://openalex.org/W1895387792","https://openalex.org/W1922085680","https://openalex.org/W1998400029","https://openalex.org/W2028294782","https://openalex.org/W2060440626","https://openalex.org/W2089381631","https://openalex.org/W2119284483","https://openalex.org/W2119512690","https://openalex.org/W2123256711","https://openalex.org/W2131566236","https://openalex.org/W2132210624","https://openalex.org/W2134287022","https://openalex.org/W2145486615","https://openalex.org/W2153048592","https://openalex.org/W2159436237","https://openalex.org/W2162573943","https://openalex.org/W2163019837","https://openalex.org/W2169424671","https://openalex.org/W2248951529","https://openalex.org/W2293624369","https://openalex.org/W2418938958","https://openalex.org/W2991905743"],"related_works":["https://openalex.org/W2169013090","https://openalex.org/W2387087283","https://openalex.org/W2391803179","https://openalex.org/W2139608660","https://openalex.org/W2382782442","https://openalex.org/W1481422796","https://openalex.org/W145682561","https://openalex.org/W2347413730","https://openalex.org/W4213430578","https://openalex.org/W1783255172"],"abstract_inverted_index":{"UML/OCL":[0,10,48,64,76,94,116],"class":[1,11,36,49,65,95,117,127],"diagrams":[2,12,37,50,96],"provide":[3],"high-level":[4],"descriptions":[5],"of":[6,29,34,47,86,93,100,111,125],"software":[7,30],"systems.":[8],"Currently,":[9],"are":[13],"highly":[14],"used":[15],"for":[16,75,89,103,115,122],"code":[17],"generation":[18],"through":[19],"several":[20],"transformations":[21],"in":[22,40],"order":[23,41],"to":[24,42],"save":[25],"time":[26],"and":[27,78,84,91,119],"effort":[28],"developers.":[31],"Therefore,":[32],"verification":[33,77,90,113,124],"these":[35],"is":[38,51,59],"essential":[39],"generate":[43],"accurate":[44],"transformations.":[45],"Verification":[46],"a":[52,62,73],"quite":[53],"challenging":[54],"task":[55],"when":[56],"the":[57,98,107,112],"input":[58],"large":[60],"(i.e.,":[61],"complex":[63,126],"diagram).":[66],"In":[67],"this":[68],"paper,":[69],"we":[70],"present":[71],"(1)":[72],"benchmark":[74],"validation":[79,92],"tools,":[80],"(2)":[81],"an":[82],"evaluation":[83],"analysis":[85],"tools":[87],"available":[88],"including":[97],"range":[99],"UML":[101],"support":[102],"each":[104],"tool,":[105],"(3)":[106],"problems":[108],"with":[109],"efficiency":[110],"process":[114],"diagrams,":[118],"(4)":[120],"solution":[121],"efficient":[123],"diagrams.":[128]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}