{"id":"https://openalex.org/W2041994878","doi":"https://doi.org/10.1109/icdim.2012.6360116","title":"An automatic generation approach of B Specifications From UML Diagrams","display_name":"An automatic generation approach of B Specifications From UML Diagrams","publication_year":2012,"publication_date":"2012-08-01","ids":{"openalex":"https://openalex.org/W2041994878","doi":"https://doi.org/10.1109/icdim.2012.6360116","mag":"2041994878"},"language":"en","primary_location":{"id":"doi:10.1109/icdim.2012.6360116","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icdim.2012.6360116","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Seventh International Conference on Digital Information Management (ICDIM 2012)","raw_type":"proceedings-article"},"type":"article","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/A5027920299","display_name":"Seidali Rehab","orcid":"https://orcid.org/0000-0002-2570-9361"},"institutions":[{"id":"https://openalex.org/I125485651","display_name":"Constantine 1 University","ror":"https://ror.org/017wv6808","country_code":"DZ","type":"education","lineage":["https://openalex.org/I125485651"]}],"countries":["DZ"],"is_corresponding":true,"raw_author_name":"Seidali Rehab","raw_affiliation_strings":["MISC Laboratory, Department of Computer Science, Faculty of Engineering, University of Mentouri Constantine, Constantine, Algeria","MISC Laboratory, Department of Computer Science, Faculty of Engineering, University Mentouri of Constantine, Algeria"],"affiliations":[{"raw_affiliation_string":"MISC Laboratory, Department of Computer Science, Faculty of Engineering, University of Mentouri Constantine, Constantine, Algeria","institution_ids":["https://openalex.org/I125485651"]},{"raw_affiliation_string":"MISC Laboratory, Department of Computer Science, Faculty of Engineering, University Mentouri of Constantine, Algeria","institution_ids":["https://openalex.org/I125485651"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081176546","display_name":"Elhillali Kerkouche","orcid":"https://orcid.org/0000-0002-7635-7458"},"institutions":[{"id":"https://openalex.org/I125485651","display_name":"Constantine 1 University","ror":"https://ror.org/017wv6808","country_code":"DZ","type":"education","lineage":["https://openalex.org/I125485651"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Elhillali Kerkouche","raw_affiliation_strings":["MISC Laboratory, Department of Computer Science, Faculty of Engineering, University of Mentouri Constantine, Constantine, Algeria","MISC Laboratory, Department of Computer Science, Faculty of Engineering, University Mentouri of Constantine, Algeria"],"affiliations":[{"raw_affiliation_string":"MISC Laboratory, Department of Computer Science, Faculty of Engineering, University of Mentouri Constantine, Constantine, Algeria","institution_ids":["https://openalex.org/I125485651"]},{"raw_affiliation_string":"MISC Laboratory, Department of Computer Science, Faculty of Engineering, University Mentouri of Constantine, Algeria","institution_ids":["https://openalex.org/I125485651"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082473579","display_name":"Allaoua Chaoui","orcid":"https://orcid.org/0000-0003-3751-8084"},"institutions":[{"id":"https://openalex.org/I125485651","display_name":"Constantine 1 University","ror":"https://ror.org/017wv6808","country_code":"DZ","type":"education","lineage":["https://openalex.org/I125485651"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Allaoua Chaoui","raw_affiliation_strings":["MISC Laboratory, Department of Computer Science, Faculty of Engineering, University of Mentouri Constantine, Constantine, Algeria","MISC Laboratory, Department of Computer Science, Faculty of Engineering, University Mentouri of Constantine, Algeria"],"affiliations":[{"raw_affiliation_string":"MISC Laboratory, Department of Computer Science, Faculty of Engineering, University of Mentouri Constantine, Constantine, Algeria","institution_ids":["https://openalex.org/I125485651"]},{"raw_affiliation_string":"MISC Laboratory, Department of Computer Science, Faculty of Engineering, University Mentouri of Constantine, Algeria","institution_ids":["https://openalex.org/I125485651"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5027920299"],"corresponding_institution_ids":["https://openalex.org/I125485651"],"apc_list":null,"apc_paid":null,"fwci":0.7837,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.75029308,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"2306","issue":null,"first_page":"73","last_page":"78"},"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.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/T11450","display_name":"Model-Driven Software Engineering 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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9993000030517578,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9976999759674072,"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/unified-modeling-language","display_name":"Unified Modeling Language","score":0.7678823471069336},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7480096220970154},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6979982256889343},{"id":"https://openalex.org/keywords/graph-rewriting","display_name":"Graph rewriting","score":0.5856156945228577},{"id":"https://openalex.org/keywords/uml-tool","display_name":"UML tool","score":0.5705960988998413},{"id":"https://openalex.org/keywords/applications-of-uml","display_name":"Applications of UML","score":0.566852331161499},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.4770457148551941},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4716079831123352},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4517516493797302},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3628970980644226},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3559519648551941},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2444412112236023}],"concepts":[{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.7678823471069336},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7480096220970154},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6979982256889343},{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.5856156945228577},{"id":"https://openalex.org/C146939238","wikidata":"https://www.wikidata.org/wiki/Q2467310","display_name":"UML tool","level":4,"score":0.5705960988998413},{"id":"https://openalex.org/C41298492","wikidata":"https://www.wikidata.org/wiki/Q4781506","display_name":"Applications of UML","level":4,"score":0.566852331161499},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.4770457148551941},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4716079831123352},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4517516493797302},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3628970980644226},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3559519648551941},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2444412112236023},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icdim.2012.6360116","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icdim.2012.6360116","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Seventh International Conference on Digital Information Management (ICDIM 2012)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.5600000023841858}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W190356767","https://openalex.org/W1516988188","https://openalex.org/W1540492331","https://openalex.org/W1555243068","https://openalex.org/W1559870885","https://openalex.org/W1577544661","https://openalex.org/W1801460737","https://openalex.org/W2009334408","https://openalex.org/W2087327214","https://openalex.org/W2121713575","https://openalex.org/W2128071401","https://openalex.org/W2136805860","https://openalex.org/W2140207680","https://openalex.org/W2146033518","https://openalex.org/W2159765281","https://openalex.org/W2537339663","https://openalex.org/W2623877185","https://openalex.org/W4254354208","https://openalex.org/W6631028177"],"related_works":["https://openalex.org/W2387087283","https://openalex.org/W2359043774","https://openalex.org/W2103939680","https://openalex.org/W2101953902","https://openalex.org/W2489425329","https://openalex.org/W2020544977","https://openalex.org/W2374395319","https://openalex.org/W207211690","https://openalex.org/W1553991707","https://openalex.org/W2368891820"],"abstract_inverted_index":{"The":[0,97],"Transformation":[1],"of":[2,22,35,51,68],"UML":[3,52,86],"models":[4,53],"to":[5,56,84,90,106,115],"B":[6,74,91],"allows":[7,48],"in":[8,18,54],"one":[9],"hand,":[10,46],"automatically":[11],"fusing":[12],"both":[13],"methods":[14],"and":[15,25,58,63],"use":[16],"them":[17],"an":[19],"integrated":[20],"approach":[21,30],"rigorous,":[23],"unified":[24],"practical":[26],"software":[27],"development.":[28],"This":[29,79],"starts":[31],"from":[32],"the":[33,41,44,66,69,73,85,94],"expression":[34],"needs":[36],"until":[37],"programming":[38],"passing":[39],"through":[40],"design.":[42],"On":[43],"other":[45],"it":[47],"formal":[49],"analysis":[50],"order":[55],"identify":[57],"correct":[59],"errors,":[60],"ambiguities,":[61],"omissions":[62],"inconsistencies":[64],"at":[65],"beginning":[67],"development":[70],"process":[71],"via":[72],"tools":[75],"such":[76],"as":[77],"AtelierB.":[78],"paper":[80],"proposes":[81],"a":[82],"solution":[83],"graph":[87,95],"transformation":[88],"problem":[89],"based":[92],"on":[93],"grammar.":[96],"meta-modeling":[98],"tool":[99],"AToM":[100],"<sup":[101],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[102],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">3</sup>":[103],"is":[104,113],"used":[105],"automate":[107],"this":[108],"process.":[109],"A":[110],"case":[111],"study":[112],"presented":[114],"illustrate":[116],"our":[117],"approach.":[118]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}