{"id":"https://openalex.org/W1983357064","doi":"https://doi.org/10.1145/1342211.1342248","title":"Formalization of UML diagrams and their consistency verification","display_name":"Formalization of UML diagrams and their consistency verification","publication_year":2008,"publication_date":"2008-02-19","ids":{"openalex":"https://openalex.org/W1983357064","doi":"https://doi.org/10.1145/1342211.1342248","mag":"1983357064"},"language":"en","primary_location":{"id":"doi:10.1145/1342211.1342248","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1342211.1342248","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1st India software engineering conference","raw_type":"proceedings-article"},"type":"conference-paper","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/A5103529375","display_name":"Sabnam Sengupta","orcid":null},"institutions":[{"id":"https://openalex.org/I170979836","display_name":"Jadavpur University","ror":"https://ror.org/02af4h012","country_code":"IN","type":"education","lineage":["https://openalex.org/I170979836"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Sabnam Sengupta","raw_affiliation_strings":["Jadavpur University, Kolkata, India","Jadavpur University, Kolkata. India#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Jadavpur University, Kolkata, India","institution_ids":["https://openalex.org/I170979836"]},{"raw_affiliation_string":"Jadavpur University, Kolkata. India#TAB#","institution_ids":["https://openalex.org/I170979836"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101661138","display_name":"Swapan Bhattacharya","orcid":"https://orcid.org/0000-0002-3902-6916"},"institutions":[{"id":"https://openalex.org/I155837530","display_name":"National Institute of Technology Durgapur","ror":"https://ror.org/04ds0jm32","country_code":"IN","type":"education","lineage":["https://openalex.org/I155837530"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Swapan Bhattacharya","raw_affiliation_strings":["National Institute of Technology, Durgapur, India","National institute of Technology, Durgapur, India#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Institute of Technology, Durgapur, India","institution_ids":["https://openalex.org/I155837530"]},{"raw_affiliation_string":"National institute of Technology, Durgapur, India#TAB#","institution_ids":["https://openalex.org/I155837530"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.9671,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.70898004,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"151","last_page":"152"},"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.992900013923645,"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.992900013923645,"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.9868999719619751,"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"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.975600004196167,"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.7519888877868652},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.6802775859832764},{"id":"https://openalex.org/keywords/applications-of-uml","display_name":"Applications of UML","score":0.6761681437492371},{"id":"https://openalex.org/keywords/uml-tool","display_name":"UML tool","score":0.666279673576355},{"id":"https://openalex.org/keywords/class-diagram","display_name":"Class diagram","score":0.6420748829841614},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6107026934623718},{"id":"https://openalex.org/keywords/systems-modeling-language","display_name":"Systems Modeling Language","score":0.5138900279998779},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.48344406485557556},{"id":"https://openalex.org/keywords/communication-diagram","display_name":"Communication diagram","score":0.47603705525398254},{"id":"https://openalex.org/keywords/object-constraint-language","display_name":"Object Constraint Language","score":0.4586484730243683},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4339306354522705},{"id":"https://openalex.org/keywords/activity-diagram","display_name":"Activity diagram","score":0.4193158745765686},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.22625598311424255},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1549677848815918}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7519888877868652},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.6802775859832764},{"id":"https://openalex.org/C41298492","wikidata":"https://www.wikidata.org/wiki/Q4781506","display_name":"Applications of UML","level":4,"score":0.6761681437492371},{"id":"https://openalex.org/C146939238","wikidata":"https://www.wikidata.org/wiki/Q2467310","display_name":"UML tool","level":4,"score":0.666279673576355},{"id":"https://openalex.org/C202446494","wikidata":"https://www.wikidata.org/wiki/Q664166","display_name":"Class diagram","level":4,"score":0.6420748829841614},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6107026934623718},{"id":"https://openalex.org/C21285288","wikidata":"https://www.wikidata.org/wiki/Q2117885","display_name":"Systems Modeling Language","level":4,"score":0.5138900279998779},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.48344406485557556},{"id":"https://openalex.org/C48419115","wikidata":"https://www.wikidata.org/wiki/Q950859","display_name":"Communication diagram","level":5,"score":0.47603705525398254},{"id":"https://openalex.org/C133264317","wikidata":"https://www.wikidata.org/wiki/Q1397689","display_name":"Object Constraint Language","level":5,"score":0.4586484730243683},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4339306354522705},{"id":"https://openalex.org/C64219723","wikidata":"https://www.wikidata.org/wiki/Q423262","display_name":"Activity diagram","level":4,"score":0.4193158745765686},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.22625598311424255},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1549677848815918}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1342211.1342248","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1342211.1342248","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1st India software engineering conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":2,"referenced_works":["https://openalex.org/W2144973245","https://openalex.org/W2159765281"],"related_works":["https://openalex.org/W2294019387","https://openalex.org/W2016512416","https://openalex.org/W2370569616","https://openalex.org/W3133056648","https://openalex.org/W2387087283","https://openalex.org/W3129945372","https://openalex.org/W2139608660","https://openalex.org/W2391803179","https://openalex.org/W2259842142","https://openalex.org/W2515305322"],"abstract_inverted_index":{"In":[0],"this":[1,77],"paper,":[2],"we":[3],"have":[4],"suggested":[5],"a":[6,56,64,73,81],"methodology":[7],"for":[8,67],"formalizing":[9],"some":[10],"of":[11,23,48,72,84],"the":[12,35,53,99],"commonly":[13],"used":[14,19],"UML":[15,60,86],"diagrams":[16,37,87,100],"that":[17,61],"are":[18],"in":[20,26],"different":[21],"phases":[22],"software":[24],"development":[25],"Z":[27],"notation,":[28],"establish":[29],"their":[30,40,89],"relationship":[31],"and":[32,59,88,95],"then":[33],"represent":[34],"\"formalized\"":[36],"along":[38],"with":[39],"inter-relationship":[41],"visually":[42],"using":[43],"an":[44],"Entity-Relationship":[45],"diagram.":[46],"Implementation":[47],"our":[49],"approach":[50,78],"would":[51],"bridge":[52],"gap":[54],"between":[55],"formal":[57],"language":[58],"has":[62],"become":[63],"de-facto":[65],"standard":[66],"modeling":[68],"object-oriented":[69],"systems.":[70],"Development":[71],"tool":[74],"based":[75],"on":[76],"will":[79],"produce":[80],"visual":[82],"representation":[83],"formalized":[85],"relationship,":[90],"from":[91],"which":[92],"automated":[93],"traceability":[94],"consistency":[96],"verification":[97],"among":[98],"can":[101],"be":[102],"achieved":[103]},"counts_by_year":[{"year":2018,"cited_by_count":2},{"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":4},{"year":2012,"cited_by_count":3}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}