{"id":"https://openalex.org/W2770102073","doi":"https://doi.org/10.1109/tse.2017.2777830","title":"Smart Bound Selection for the Verification of UML/OCL Class Diagrams","display_name":"Smart Bound Selection for the Verification of UML/OCL Class Diagrams","publication_year":2017,"publication_date":"2017-11-27","ids":{"openalex":"https://openalex.org/W2770102073","doi":"https://doi.org/10.1109/tse.2017.2777830","mag":"2770102073"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2017.2777830","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2017.2777830","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/10609/77126","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008576695","display_name":"Robert Claris\u00f3","orcid":"https://orcid.org/0000-0001-9639-0186"},"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"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Robert Clariso","raw_affiliation_strings":["IT, Multimedia and Telecommunication Department, Universitat Oberta de Catalunya, Barcelona, Spain"],"raw_orcid":"https://orcid.org/0000-0001-9639-0186","affiliations":[{"raw_affiliation_string":"IT, Multimedia and Telecommunication Department, Universitat Oberta de Catalunya, Barcelona, Spain","institution_ids":["https://openalex.org/I138847295"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103038792","display_name":"Carlos A. Gonz\u00e1lez","orcid":"https://orcid.org/0000-0003-1836-4876"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Carlos A. Gonzalez","raw_affiliation_strings":["SnT Centre for Security, Reliability and Trust, University of Luxembourg, Esch-sur-Alzette, Luxembourg"],"raw_orcid":"https://orcid.org/0000-0003-1836-4876","affiliations":[{"raw_affiliation_string":"SnT Centre for Security, Reliability and Trust, University of Luxembourg, Esch-sur-Alzette, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074872542","display_name":"Jordi Cabot","orcid":"https://orcid.org/0000-0003-2418-2489"},"institutions":[{"id":"https://openalex.org/I11932220","display_name":"Instituci\u00f3 Catalana de Recerca i Estudis Avan\u00e7ats","ror":"https://ror.org/0371hy230","country_code":"ES","type":"nonprofit","lineage":["https://openalex.org/I11932220"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Jordi Cabot","raw_affiliation_strings":["ICREA, Pg. Llu\u00eds Companys 23, Barcelona, Spain"],"raw_orcid":"https://orcid.org/0000-0003-2418-2489","affiliations":[{"raw_affiliation_string":"ICREA, Pg. Llu\u00eds Companys 23, Barcelona, Spain","institution_ids":["https://openalex.org/I11932220"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.3304,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.89783347,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":"45","issue":"4","first_page":"412","last_page":"426"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9994000196456909,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9994000196456909,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9972000122070312,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.996399998664856,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.8326430320739746},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7483506202697754},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.6827011704444885},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.5748167037963867},{"id":"https://openalex.org/keywords/class-diagram","display_name":"Class diagram","score":0.5395116209983826},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5221909880638123},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4953655004501343},{"id":"https://openalex.org/keywords/usability","display_name":"Usability","score":0.4940955936908722},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4938255250453949},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.49166733026504517},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4619264006614685},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.41184020042419434},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.3661646842956543},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1793878972530365},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10478860139846802}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8326430320739746},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7483506202697754},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.6827011704444885},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.5748167037963867},{"id":"https://openalex.org/C202446494","wikidata":"https://www.wikidata.org/wiki/Q664166","display_name":"Class diagram","level":4,"score":0.5395116209983826},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5221909880638123},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4953655004501343},{"id":"https://openalex.org/C170130773","wikidata":"https://www.wikidata.org/wiki/Q216378","display_name":"Usability","level":2,"score":0.4940955936908722},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4938255250453949},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.49166733026504517},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4619264006614685},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.41184020042419434},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3661646842956543},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1793878972530365},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10478860139846802},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/tse.2017.2777830","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2017.2777830","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:dnet:orepositorio::3f24457cf53a4945b9a9954b81163c2b","is_oa":true,"landing_page_url":"http://hdl.handle.net/10609/77126","pdf_url":null,"source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:orbilu.uni.lu:10993/33832","is_oa":true,"landing_page_url":"http://orbilu.uni.lu/handle/10993/33832","pdf_url":null,"source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Transactions on Software Engineering (2019)","raw_type":"http://purl.org/coar/resource_type/c_6501"}],"best_oa_location":{"id":"pmh:oai:dnet:orepositorio::3f24457cf53a4945b9a9954b81163c2b","is_oa":true,"landing_page_url":"http://hdl.handle.net/10609/77126","pdf_url":null,"source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":63,"referenced_works":["https://openalex.org/W31562250","https://openalex.org/W138671001","https://openalex.org/W157210729","https://openalex.org/W1481422796","https://openalex.org/W1490197784","https://openalex.org/W1515014937","https://openalex.org/W1518705996","https://openalex.org/W1519503479","https://openalex.org/W1598023088","https://openalex.org/W1606461502","https://openalex.org/W1639950690","https://openalex.org/W1687351869","https://openalex.org/W1692960825","https://openalex.org/W1733489975","https://openalex.org/W1838281294","https://openalex.org/W1885487684","https://openalex.org/W1895387792","https://openalex.org/W1898735785","https://openalex.org/W1920006546","https://openalex.org/W1922085680","https://openalex.org/W1978679823","https://openalex.org/W1994348879","https://openalex.org/W2001007953","https://openalex.org/W2009691504","https://openalex.org/W2015955111","https://openalex.org/W2016698151","https://openalex.org/W2025196861","https://openalex.org/W2027346590","https://openalex.org/W2044561940","https://openalex.org/W2045430061","https://openalex.org/W2050340005","https://openalex.org/W2055287943","https://openalex.org/W2061081083","https://openalex.org/W2067251265","https://openalex.org/W2073143859","https://openalex.org/W2090706755","https://openalex.org/W2091920469","https://openalex.org/W2094489875","https://openalex.org/W2103364805","https://openalex.org/W2107334983","https://openalex.org/W2112957923","https://openalex.org/W2117402063","https://openalex.org/W2127229029","https://openalex.org/W2131566236","https://openalex.org/W2132210624","https://openalex.org/W2142646357","https://openalex.org/W2143015677","https://openalex.org/W2145486615","https://openalex.org/W2262937054","https://openalex.org/W2406059451","https://openalex.org/W2547023109","https://openalex.org/W2615489195","https://openalex.org/W3140501928","https://openalex.org/W4213179597","https://openalex.org/W4243071263","https://openalex.org/W4243423174","https://openalex.org/W4244598732","https://openalex.org/W6636817875","https://openalex.org/W6638528129","https://openalex.org/W6640054263","https://openalex.org/W6640116265","https://openalex.org/W6693186985","https://openalex.org/W7057017981"],"related_works":["https://openalex.org/W3036403349","https://openalex.org/W2809618173","https://openalex.org/W2106507440","https://openalex.org/W2118572231","https://openalex.org/W2406499533","https://openalex.org/W2950360254","https://openalex.org/W3120172095","https://openalex.org/W75359960","https://openalex.org/W2108860137","https://openalex.org/W2006962382"],"abstract_inverted_index":{"Correctness":[0],"of":[1,35,113,135,144],"UML":[2],"class":[3],"diagrams":[4],"annotated":[5],"with":[6],"OCL":[7],"constraints":[8],"can":[9,98],"be":[10,99],"checked":[11],"using":[12],"bounded":[13,45,79,137],"verification":[14,24,62,80,105,138,146],"techniques,":[15],"e.g.,":[16],"SAT":[17],"or":[18],"constraint":[19],"programming":[20],"(CP)":[21],"solvers.":[22],"Bounded":[23],"detects":[25],"faults":[26,36],"efficiently":[27],"but,":[28],"on":[29],"the":[30,33,44,61,69,72,86,117,122,125,133,142,145],"other":[31],"hand,":[32],"absence":[34],"does":[37],"not":[38],"guarantee":[39],"a":[40,52,58,95,111],"correct":[41],"behavior":[42],"outside":[43],"domain.":[46],"Hence,":[47],"choosing":[48],"suitable":[49],"bounds":[50,106,114],"is":[51,57],"non-trivial":[53],"process":[54],"as":[55],"there":[56],"trade-off":[59],"between":[60],"time":[63],"(faster":[64],"for":[65,75],"smaller":[66],"domains)":[67],"and":[68,119,140],"confidence":[70],"in":[71,85,124],"result":[73],"(better":[74],"larger":[76],"domains).":[77],"Unfortunately,":[78],"tools":[81,139],"provide":[82],"little":[83],"support":[84],"bound":[87,126],"selection":[88,127],"process.":[89,128,147],"In":[90],"this":[91],"paper,":[92],"we":[93],"present":[94],"technique":[96],"that":[97],"used":[100],"to":[101],"(i)":[102],"automatically":[103],"infer":[104],"whenever":[107],"possible,":[108],"(ii)":[109],"tighten":[110],"set":[112],"proposed":[115],"by":[116],"user":[118,123],"(iii)":[120],"guide":[121],"This":[129],"approach":[130],"may":[131],"increase":[132],"usability":[134],"UML/OCL":[136],"improve":[141],"efficiency":[143]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":4},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":7}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2017-12-04T00:00:00"}