{"id":"https://openalex.org/W2139158240","doi":"https://doi.org/10.1109/iceccs.2005.28","title":"Consistency Checking of UML Requirements","display_name":"Consistency Checking of UML Requirements","publication_year":2005,"publication_date":"2005-07-27","ids":{"openalex":"https://openalex.org/W2139158240","doi":"https://doi.org/10.1109/iceccs.2005.28","mag":"2139158240"},"language":"en","primary_location":{"id":"doi:10.1109/iceccs.2005.28","doi":"https://doi.org/10.1109/iceccs.2005.28","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iceccs.2005.28","pdf_url":null,"source":{"id":"https://openalex.org/S7407088032","display_name":"IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05)","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101845203","display_name":"Xiaoshan Li","orcid":"https://orcid.org/0000-0003-4340-9220","observed_orcids":["https://orcid.org/0000-0003-4340-9220"]},"institutions":[{"id":"https://openalex.org/I204512498","display_name":"University of Macau","ror":"https://ror.org/01r4q9n85","country_code":"MO","type":"education","lineage":["https://openalex.org/I204512498"]}],"countries":["MO"],"is_corresponding":false,"raw_author_name":"Xiaoshan Li","raw_affiliation_strings":["Faculty of Science and Technology, University of Macau, Macao, China","[Fac. of Sci. & Technol., Macau Univ., Macau]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Science and Technology, University of Macau, Macao, China","institution_ids":["https://openalex.org/I204512498"]},{"raw_affiliation_string":"[Fac. of Sci. & Technol., Macau Univ., Macau]","institution_ids":["https://openalex.org/I204512498"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100405109","display_name":"Zhiming Liu","orcid":"https://orcid.org/0000-0001-9771-3071","observed_orcids":["https://orcid.org/0000-0001-9771-3071","https://orcid.org/0000-0003-1465-9247"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhiming Liu","raw_affiliation_strings":["International Institute for Software Technology, United Nations University, Macao, China","International Institute for Software Technology, United Nations University, Macao, China#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"International Institute for Software Technology, United Nations University, Macao, China","institution_ids":[]},{"raw_affiliation_string":"International Institute for Software Technology, United Nations University, Macao, China#TAB#","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5114251624","display_name":"Jifeng He","orcid":"https://orcid.org/0009-0007-8608-9948","observed_orcids":["https://orcid.org/0009-0007-8608-9948"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jifeng He","raw_affiliation_strings":["International Institute for Software Technology, United Nations University, Macao, China","International Institute for Software Technology, United Nations University, Macao, China#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"International Institute for Software Technology, United Nations University, Macao, China","institution_ids":[]},{"raw_affiliation_string":"International Institute for Software Technology, United Nations University, Macao, China#TAB#","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5431,"has_fulltext":false,"cited_by_count":27,"citation_normalized_percentile":{"value":0.64241698,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"411","last_page":"420"},"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.9800000190734863,"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.9800000190734863,"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.009200000204145908,"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/T10142","display_name":"Formal Methods in Verification","score":0.00279999990016222,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/requirements-consistency-checking","display_name":"requirements consistency checking","score":0.8500000238418579},{"id":"https://openalex.org/keywords/use-case-model","display_name":"use case model","score":0.8820000290870667},{"id":"https://openalex.org/keywords/system-constraints","display_name":"system constraints","score":0.9760000109672546},{"id":"https://openalex.org/keywords/preconditions-and-postconditions","display_name":"preconditions and postconditions","score":0.7059999704360962},{"id":"https://openalex.org/keywords/system-operation","display_name":"system operation","score":0.8799999952316284},{"id":"https://openalex.org/keywords/activity-diagrams","display_name":"activity diagrams","score":0.8600000143051147},{"id":"https://openalex.org/keywords/sequence-composition","display_name":"sequence composition","score":0.9359999895095825},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"formal semantics","score":0.8539999723434448},{"id":"https://openalex.org/keywords/library-systems","display_name":"library systems","score":0.5899999737739563}],"concepts":[{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.7808608412742615},{"id":"https://openalex.org/C153185123","wikidata":"https://www.wikidata.org/wiki/Q1391624","display_name":"Sequence diagram","level":4,"score":0.709496021270752},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.7077592611312866},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6675856709480286},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6182432770729065},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4696977138519287},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.4618349075317383},{"id":"https://openalex.org/C202446494","wikidata":"https://www.wikidata.org/wiki/Q664166","display_name":"Class diagram","level":4,"score":0.431199848651886},{"id":"https://openalex.org/C161756209","wikidata":"https://www.wikidata.org/wiki/Q613423","display_name":"Use Case Diagram","level":5,"score":0.4257992208003998},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.4253460168838501},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3802691102027893},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12599432468414307},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.11288592219352722},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iceccs.2005.28","doi":"https://doi.org/10.1109/iceccs.2005.28","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iceccs.2005.28","pdf_url":null,"source":{"id":"https://openalex.org/S7407088032","display_name":"IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1537202","https://openalex.org/W591335260","https://openalex.org/W1483189636","https://openalex.org/W1485658078","https://openalex.org/W1496309719","https://openalex.org/W1518695183","https://openalex.org/W1553078293","https://openalex.org/W1593874741","https://openalex.org/W1602958390","https://openalex.org/W1817810154","https://openalex.org/W1825588344","https://openalex.org/W1829476402","https://openalex.org/W2123130867","https://openalex.org/W2125708466","https://openalex.org/W2143801440","https://openalex.org/W2159765281","https://openalex.org/W2170188124","https://openalex.org/W2492660144","https://openalex.org/W3183224878"],"related_works":["https://openalex.org/W2332466466","https://openalex.org/W2498529160","https://openalex.org/W2358415881","https://openalex.org/W58502993","https://openalex.org/W2301664437","https://openalex.org/W604525935","https://openalex.org/W1258088647","https://openalex.org/W1570468954","https://openalex.org/W7028568616","https://openalex.org/W6990975459"],"abstract_inverted_index":{"This":[0],"paper":[1],"discusses":[2],"how":[3],"to":[4,151],"check":[5],"consistency":[6,33,41,132],"of":[7,13,55,67,110,122,155],"UML":[8],"requirements":[9,32],"model":[10,17,22],"which":[11],"consists":[12],"a":[14,19,28,65,83,108,127,148],"use":[15,43,74,85,101],"case":[16,75,86,102,149],"and":[18,37,45,59,69,82,112,119],"conceptual":[20],"class":[21],"with":[23],"system":[24,53,60,80,92,123,144],"constraints.":[25],"Based":[26],"on":[27,138],"given":[29],"semantics,":[30],"the":[31,117,139,153,156],"can":[34,103,133],"be":[35,88,105,134],"defined":[36,63,89],"checked":[38,136],"formally.":[39],"The":[40],"among":[42],"cases":[44],"constraints":[46],"are":[47],"classified":[48],"into":[49],"five":[50],"types.":[51],"A":[52,141],"operation":[54],"interaction":[56],"between":[57],"actor":[58],"is":[61,76,145],"formally":[62],"as":[64,78,90,107,147],"pair":[66,109],"pre":[68,111,118],"post":[70,113,120],"conditions.":[71],"An":[72],"atomic":[73],"described":[77,94],"one":[79],"operation,":[81],"composed":[84],"may":[87],"several":[91],"operations":[93,124],"by":[95,115,125],"an":[96],"activity":[97],"diagram.":[98],"Thus,":[99],"each":[100],"also":[104],"modelled":[106],"conditions":[114,121],"composing":[116],"introducing":[126],"sequence":[128],"composition":[129],"operation.":[130],"Requirement":[131],"logically":[135],"based":[137],"semantics.":[140],"simple":[142],"library":[143],"used":[146],"study":[150],"illustrate":[152],"feasibility":[154],"method.":[157]},"counts_by_year":[{"year":2021,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":7},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}