{"id":"https://openalex.org/W2961231271","doi":"https://doi.org/10.4018/ijcssa.2018070103","title":"Embedded System Verification Using Formal Model an Approach Based on the Combined Use of UML and Maude Language","display_name":"Embedded System Verification Using Formal Model an Approach Based on the Combined Use of UML and Maude Language","publication_year":2018,"publication_date":"2018-07-01","ids":{"openalex":"https://openalex.org/W2961231271","doi":"https://doi.org/10.4018/ijcssa.2018070103","mag":"2961231271"},"language":"en","primary_location":{"id":"doi:10.4018/ijcssa.2018070103","is_oa":false,"landing_page_url":"https://doi.org/10.4018/ijcssa.2018070103","pdf_url":null,"source":{"id":"https://openalex.org/S4210192029","display_name":"International Journal of Conceptual Structures and Smart Applications","issn_l":"2166-7292","issn":["2166-7292","2166-7306"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320424","host_organization_name":"IGI Global","host_organization_lineage":["https://openalex.org/P4310320424"],"host_organization_lineage_names":["IGI Global"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Conceptual Structures and Smart Applications","raw_type":"journal-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/A5019095991","display_name":"Meliouh Amel","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Meliouh Amel","raw_affiliation_strings":["University of Msila, Msila, Algeria"],"affiliations":[{"raw_affiliation_string":"University of Msila, Msila, Algeria","institution_ids":[]}]},{"author_position":"last","author":{"id":null,"display_name":"Chaoui Allaoua","orcid":null},"institutions":[{"id":"https://openalex.org/I125485651","display_name":"University Fr\u00e8res Mentouri Constantine 1","ror":"https://ror.org/017wv6808","country_code":"DZ","type":"education","lineage":["https://openalex.org/I125485651"]},{"id":"https://openalex.org/I4391767747","display_name":"University of Constantine 3","ror":"https://ror.org/04wk25q62","country_code":"DZ","type":"education","lineage":["https://openalex.org/I4391767747"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Chaoui Allaoua","raw_affiliation_strings":["University of Constantine 2, Constantine, Algeria"],"affiliations":[{"raw_affiliation_string":"University of Constantine 2, Constantine, Algeria","institution_ids":["https://openalex.org/I125485651","https://openalex.org/I4391767747"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5019095991"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.25900977,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"6","issue":"2","first_page":"42","last_page":"58"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9998000264167786,"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.9994000196456909,"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.8065158128738403},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7107623815536499},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.7015537619590759},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6124477386474609},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.5245105028152466},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4860866367816925},{"id":"https://openalex.org/keywords/applications-of-uml","display_name":"Applications of UML","score":0.48138144612312317},{"id":"https://openalex.org/keywords/uml-tool","display_name":"UML tool","score":0.48091742396354675},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.47444379329681396},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4446384906768799},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.42425939440727234},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.41516581177711487},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4124917984008789},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1084897518157959},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.07736244797706604}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8065158128738403},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7107623815536499},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.7015537619590759},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6124477386474609},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.5245105028152466},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4860866367816925},{"id":"https://openalex.org/C41298492","wikidata":"https://www.wikidata.org/wiki/Q4781506","display_name":"Applications of UML","level":4,"score":0.48138144612312317},{"id":"https://openalex.org/C146939238","wikidata":"https://www.wikidata.org/wiki/Q2467310","display_name":"UML tool","level":4,"score":0.48091742396354675},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.47444379329681396},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4446384906768799},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.42425939440727234},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.41516581177711487},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4124917984008789},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1084897518157959},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.07736244797706604},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.4018/ijcssa.2018070103","is_oa":false,"landing_page_url":"https://doi.org/10.4018/ijcssa.2018070103","pdf_url":null,"source":{"id":"https://openalex.org/S4210192029","display_name":"International Journal of Conceptual Structures and Smart Applications","issn_l":"2166-7292","issn":["2166-7292","2166-7306"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320424","host_organization_name":"IGI Global","host_organization_lineage":["https://openalex.org/P4310320424"],"host_organization_lineage_names":["IGI Global"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Conceptual Structures and Smart Applications","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals","score":0.4399999976158142}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1523059207","https://openalex.org/W1540492331","https://openalex.org/W1589034549","https://openalex.org/W1816012646","https://openalex.org/W1965917321","https://openalex.org/W1967473444","https://openalex.org/W2039995617","https://openalex.org/W2099529102","https://openalex.org/W2110642232","https://openalex.org/W2134658184","https://openalex.org/W2137729790","https://openalex.org/W2160030226","https://openalex.org/W2176266709","https://openalex.org/W2479415088","https://openalex.org/W2508564296","https://openalex.org/W2805446263","https://openalex.org/W2884526401","https://openalex.org/W2887487915"],"related_works":["https://openalex.org/W2363570575","https://openalex.org/W2116081797","https://openalex.org/W2377096798","https://openalex.org/W2223159144","https://openalex.org/W2131592813","https://openalex.org/W1489443666","https://openalex.org/W2072618230","https://openalex.org/W79095864","https://openalex.org/W188696436","https://openalex.org/W2332892937"],"abstract_inverted_index":{"The":[0,13,28,77,108],"approach":[1,78],"proposed":[2],"in":[3,103],"this":[4],"article":[5],"presents":[6],"a":[7,36],"formal":[8],"verification":[9],"of":[10,35,38,71,123],"embedded":[11],"systems.":[12],"method":[14],"relies":[15],"on":[16,24,81],"an":[17,68,92],"automated":[18],"modeling":[19,54,63],"and":[20,48,55],"code":[21,82],"generation":[22,70],"based":[23,80],"the":[25,32,56,121,124],"systems'":[26],"behavior.":[27],"key":[29],"concept":[30],"is":[31,75,79,85,88,112,117],"combined":[33],"use":[34,91],"subset":[37],"UML":[39,62],"behavior":[40],"diagrams":[41],"extended":[42],"with":[43],"timing":[44],"annotations":[45],"(Real-Time":[46],"Statechart":[47],"Real-Time":[49],"Collaboration":[50],"diagrams)":[51],"for":[52,59],"system":[53],"Maude":[57,73],"language":[58],"verification.":[60],"First,":[61],"tools":[64],"are":[65],"developed.":[66],"Then,":[67],"automatic":[69],"equivalent":[72],"specification":[74],"performed.":[76],"generation.":[83],"This":[84],"why":[86],"it":[87],"possible":[89],"to":[90,97,119],"available":[93],"model":[94],"checking":[95],"tool":[96,110],"verify":[98],"certain":[99],"timed":[100],"properties":[101],"represented":[102],"Linear":[104],"Temporal":[105],"Logic":[106],"(LTL).":[107],"meta-modeling":[109],"ATOM3":[111],"used.":[113],"A":[114],"case":[115],"study":[116],"presented":[118],"illustrate":[120],"feasibility":[122],"approach.":[125]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2026-04-16T08:26:57.006410","created_date":"2025-10-10T00:00:00"}