{"id":"https://openalex.org/W2999080177","doi":"https://doi.org/10.1109/jsyst.2019.2960501","title":"An MDE-Based Tool for Early Analysis of UML2.0/PSM Atomic and Composite Components","display_name":"An MDE-Based Tool for Early Analysis of UML2.0/PSM Atomic and Composite Components","publication_year":2020,"publication_date":"2020-01-08","ids":{"openalex":"https://openalex.org/W2999080177","doi":"https://doi.org/10.1109/jsyst.2019.2960501","mag":"2999080177"},"language":"en","primary_location":{"id":"doi:10.1109/jsyst.2019.2960501","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jsyst.2019.2960501","pdf_url":null,"source":{"id":"https://openalex.org/S95999327","display_name":"IEEE Systems Journal","issn_l":"1932-8184","issn":["1932-8184","1937-9234","2373-7816"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["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 Systems Journal","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/A5066390224","display_name":"Taoufik Sakka Rouis","orcid":"https://orcid.org/0000-0003-3950-4380"},"institutions":[{"id":"https://openalex.org/I108714496","display_name":"Tunis University","ror":"https://ror.org/02q1spa57","country_code":"TN","type":"education","lineage":["https://openalex.org/I108714496"]},{"id":"https://openalex.org/I63596082","display_name":"Tunis El Manar University","ror":"https://ror.org/029cgt552","country_code":"TN","type":"education","lineage":["https://openalex.org/I63596082"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Taoufik Sakka Rouis","raw_affiliation_strings":["LIPAH Laboratory, University of Tunis El-Manar, Tunis, Tunisia","University of Tunis El Manar (Universit\u00e9 de Tunis El Manar : Campus Universitaire Farhat Hached B.P. n\u00b0 94 - ROMMANA 1068 Tunis, Tunisie - Tunisia)"],"raw_orcid":"https://orcid.org/0000-0003-3950-4380","affiliations":[{"raw_affiliation_string":"LIPAH Laboratory, University of Tunis El-Manar, Tunis, Tunisia","institution_ids":["https://openalex.org/I63596082"]},{"raw_affiliation_string":"University of Tunis El Manar (Universit\u00e9 de Tunis El Manar : Campus Universitaire Farhat Hached B.P. n\u00b0 94 - ROMMANA 1068 Tunis, Tunisie - Tunisia)","institution_ids":["https://openalex.org/I108714496","https://openalex.org/I63596082"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039291607","display_name":"Mohamed Tahar Bhiri","orcid":null},"institutions":[{"id":"https://openalex.org/I142899784","display_name":"University of Sfax","ror":"https://ror.org/04d4sd432","country_code":"TN","type":"education","lineage":["https://openalex.org/I142899784"]},{"id":"https://openalex.org/I4210119561","display_name":"Digital Research Centre of Sfax","ror":"https://ror.org/02s48dm85","country_code":"TN","type":"facility","lineage":["https://openalex.org/I4210119561"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Mohamed Tahar Bhiri","raw_affiliation_strings":["MIRACL Laboratory, University of Sfax, Sakit Ezzit Sfax, Tunisia","MIRACL - Multimedia, InfoRmation systems and Advanced Computing Laboratory (Route de Tunis, km 10, BP 242, Sakiet Ezziet, 3021 SFAX - Tunisia)","Universit\u00e9 de Sfax (Route de l'A\u00e9roport Km 0.5, BP 1169, 3029 Sfax - Tunisia)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MIRACL Laboratory, University of Sfax, Sakit Ezzit Sfax, Tunisia","institution_ids":["https://openalex.org/I142899784"]},{"raw_affiliation_string":"MIRACL - Multimedia, InfoRmation systems and Advanced Computing Laboratory (Route de Tunis, km 10, BP 242, Sakiet Ezziet, 3021 SFAX - Tunisia)","institution_ids":["https://openalex.org/I4210119561"]},{"raw_affiliation_string":"Universit\u00e9 de Sfax (Route de l'A\u00e9roport Km 0.5, BP 1169, 3029 Sfax - Tunisia)","institution_ids":["https://openalex.org/I142899784"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053514158","display_name":"Layth Sliman","orcid":"https://orcid.org/0000-0003-3369-7302"},"institutions":[{"id":"https://openalex.org/I2801479458","display_name":"Engineering School of Information and Digital Technologies","ror":"https://ror.org/01h7hvj14","country_code":"FR","type":"education","lineage":["https://openalex.org/I117841876","https://openalex.org/I2801479458"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Layth Sliman","raw_affiliation_strings":["Efrei - \u00c9cole d'Ing\u00e9nieur G\u00e9n\u00e9raliste en Informatique, Villejuif, France","Efrei Research Lab (France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Efrei - \u00c9cole d'Ing\u00e9nieur G\u00e9n\u00e9raliste en Informatique, Villejuif, France","institution_ids":["https://openalex.org/I2801479458"]},{"raw_affiliation_string":"Efrei Research Lab (France)","institution_ids":["https://openalex.org/I2801479458"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067006869","display_name":"Mourad Kmimech","orcid":null},"institutions":[{"id":"https://openalex.org/I108714496","display_name":"Tunis University","ror":"https://ror.org/02q1spa57","country_code":"TN","type":"education","lineage":["https://openalex.org/I108714496"]},{"id":"https://openalex.org/I63596082","display_name":"Tunis El Manar University","ror":"https://ror.org/029cgt552","country_code":"TN","type":"education","lineage":["https://openalex.org/I63596082"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Mourad Kmimech","raw_affiliation_strings":["UR-OASIS Laboratory, University of Tunis El-Manar, Tunis, Tunisia","OASIS - Optimisation des syst\u00e8mes industriels et de services [Tunis] (BP 37, 1002 Tunis Le Belv\u00e9d\u00e8re - Tunisia)","University of Tunis El Manar (Universit\u00e9 de Tunis El Manar : Campus Universitaire Farhat Hached B.P. n\u00b0 94 - ROMMANA 1068 Tunis, Tunisie - Tunisia)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UR-OASIS Laboratory, University of Tunis El-Manar, Tunis, Tunisia","institution_ids":["https://openalex.org/I63596082"]},{"raw_affiliation_string":"OASIS - Optimisation des syst\u00e8mes industriels et de services [Tunis] (BP 37, 1002 Tunis Le Belv\u00e9d\u00e8re - Tunisia)","institution_ids":[]},{"raw_affiliation_string":"University of Tunis El Manar (Universit\u00e9 de Tunis El Manar : Campus Universitaire Farhat Hached B.P. n\u00b0 94 - ROMMANA 1068 Tunis, Tunisie - Tunisia)","institution_ids":["https://openalex.org/I108714496","https://openalex.org/I63596082"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8239,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.75640088,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"14","issue":"2","first_page":"1647","last_page":"1657"},"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.9995999932289124,"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.9995999932289124,"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/T10260","display_name":"Software Engineering Research","score":0.9959999918937683,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7659227848052979},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.7078890800476074},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.705964982509613},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4994664192199707},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.43242499232292175},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.42736801505088806},{"id":"https://openalex.org/keywords/model-driven-architecture","display_name":"Model-driven architecture","score":0.41583722829818726},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.36708593368530273},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.17313426733016968}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7659227848052979},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.7078890800476074},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.705964982509613},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4994664192199707},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.43242499232292175},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.42736801505088806},{"id":"https://openalex.org/C509989072","wikidata":"https://www.wikidata.org/wiki/Q15188241","display_name":"Model-driven architecture","level":4,"score":0.41583722829818726},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.36708593368530273},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.17313426733016968},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/jsyst.2019.2960501","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jsyst.2019.2960501","pdf_url":null,"source":{"id":"https://openalex.org/S95999327","display_name":"IEEE Systems Journal","issn_l":"1932-8184","issn":["1932-8184","1937-9234","2373-7816"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["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 Systems Journal","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-03781271v1","is_oa":false,"landing_page_url":"https://hal.science/hal-03781271","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Systems Journal, 2020, 14 (2), pp.1647-1657. ⟨10.1109/JSYST.2019.2960501⟩","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:HAL:hal-03781281v1","is_oa":false,"landing_page_url":"https://hal.archives-ouvertes.fr/hal-03781281","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN: 1937-9234","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5699999928474426,"display_name":"Responsible consumption and production","id":"https://metadata.un.org/sdg/12"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":49,"referenced_works":["https://openalex.org/W61625740","https://openalex.org/W88553415","https://openalex.org/W177133773","https://openalex.org/W1481862033","https://openalex.org/W1579530005","https://openalex.org/W1901342657","https://openalex.org/W1965979806","https://openalex.org/W1986926875","https://openalex.org/W2020970202","https://openalex.org/W2057909732","https://openalex.org/W2070853968","https://openalex.org/W2073514926","https://openalex.org/W2078359804","https://openalex.org/W2113488668","https://openalex.org/W2113680476","https://openalex.org/W2117779697","https://openalex.org/W2132695268","https://openalex.org/W2136489849","https://openalex.org/W2168888458","https://openalex.org/W2169673105","https://openalex.org/W2185944610","https://openalex.org/W2188309792","https://openalex.org/W2212093233","https://openalex.org/W2336147195","https://openalex.org/W2406324447","https://openalex.org/W2603006553","https://openalex.org/W2622864882","https://openalex.org/W2751631539","https://openalex.org/W2756663668","https://openalex.org/W2760138490","https://openalex.org/W2769090014","https://openalex.org/W2789676917","https://openalex.org/W2791164210","https://openalex.org/W2802550057","https://openalex.org/W2803514829","https://openalex.org/W2804787059","https://openalex.org/W2914735184","https://openalex.org/W3098354393","https://openalex.org/W3140683236","https://openalex.org/W4231420003","https://openalex.org/W4231671651","https://openalex.org/W4236442829","https://openalex.org/W4285719527","https://openalex.org/W4386721303","https://openalex.org/W6602518331","https://openalex.org/W6634715200","https://openalex.org/W6665132440","https://openalex.org/W6687413328","https://openalex.org/W6713625570"],"related_works":["https://openalex.org/W2025588638","https://openalex.org/W2119875166","https://openalex.org/W2158621500","https://openalex.org/W2370799711","https://openalex.org/W2610507269","https://openalex.org/W4249926451","https://openalex.org/W1964871273","https://openalex.org/W2042074610","https://openalex.org/W1930158497","https://openalex.org/W2113185036"],"abstract_inverted_index":{"System":[0],"analysis":[1,32,81,95],"is":[2,40],"a":[3,44,57],"crucial":[4],"activity":[5],"throughout":[6],"component-based":[7,35],"architecture":[8],"design.":[9],"It":[10,51],"enables":[11,52,105],"detecting":[12],"and":[13,60,86],"correcting":[14],"errors":[15],"in":[16,33,68],"the":[17,21,53,71,74,102,106,109,115],"early":[18],"stage":[19],"of":[20,56,73,108,114],"system":[22,31],"development":[23],"life":[24],"cycle.":[25],"In":[26,88],"this":[27],"article,":[28],"we":[29],"consider":[30],"UML2.0":[34,58],"architectural":[36],"design":[37],"phase.":[38],"This":[39],"done":[41],"by":[42,90],"proposing":[43],"model-driven":[45],"engineering":[46],"(MDE)":[47],"tool":[48,96,104],"called":[49],"UML2Ada.":[50],"systematic":[54],"translation":[55],"atomic":[59],"composite":[61],"component":[62],"into":[63],"Ada":[64,79,93,116],"concurrent":[65,117],"language.":[66],"This,":[67],"turn,":[69],"supports":[70],"validation":[72],"source":[75],"description":[76],"using":[77,91],"an":[78,92],"dynamic":[80],"tools":[82],"such":[83,97],"as":[84,98],"GNATprove":[85],"ObjectAda.":[87],"addition,":[89],"static":[94],"FLAVERS":[99],"or":[100],"INCA,":[101],"proposed":[103],"detection":[107],"potential":[110],"behavioral":[111],"concurrency":[112],"properties":[113],"program.":[118]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}