{"id":"https://openalex.org/W2294816209","doi":"https://doi.org/10.5220/0005523700640075","title":"Transformation from R-UML to R-TNCES: New Formal Solution for Verification of Flexible Control Systems","display_name":"Transformation from R-UML to R-TNCES: New Formal Solution for Verification of Flexible Control Systems","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W2294816209","doi":"https://doi.org/10.5220/0005523700640075","mag":"2294816209"},"language":"en","primary_location":{"id":"doi:10.5220/0005523700640075","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0005523700640075","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 10th International Conference on Software Paradigm Trends","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.5220/0005523700640075","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103209412","display_name":"Mohamed Salem","orcid":null},"institutions":[{"id":"https://openalex.org/I179097149","display_name":"University of Carthage","ror":"https://ror.org/057x6za15","country_code":"TN","type":"education","lineage":["https://openalex.org/I179097149"]}],"countries":["TN"],"is_corresponding":true,"raw_author_name":"Mohamed Oussama Ben Salem","raw_affiliation_strings":["University of Carthage, ICTICA and University of Carthage, Tunisia"],"affiliations":[{"raw_affiliation_string":"University of Carthage, ICTICA and University of Carthage, Tunisia","institution_ids":["https://openalex.org/I179097149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049696138","display_name":"Olfa Mosbahi","orcid":"https://orcid.org/0000-0002-0971-2368"},"institutions":[{"id":"https://openalex.org/I179097149","display_name":"University of Carthage","ror":"https://ror.org/057x6za15","country_code":"TN","type":"education","lineage":["https://openalex.org/I179097149"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Olfa Mosbahi","raw_affiliation_strings":["ICTICA and University of Carthage, Tunisia"],"affiliations":[{"raw_affiliation_string":"ICTICA and University of Carthage, Tunisia","institution_ids":["https://openalex.org/I179097149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102803559","display_name":"Mohamed Khalgui","orcid":"https://orcid.org/0000-0001-6311-3588"},"institutions":[{"id":"https://openalex.org/I179097149","display_name":"University of Carthage","ror":"https://ror.org/057x6za15","country_code":"TN","type":"education","lineage":["https://openalex.org/I179097149"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Mohamed Khalgui","raw_affiliation_strings":["ICTICA and University of Carthage, Tunisia"],"affiliations":[{"raw_affiliation_string":"ICTICA and University of Carthage, Tunisia","institution_ids":["https://openalex.org/I179097149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056060218","display_name":"Georg Frey","orcid":"https://orcid.org/0000-0001-8483-0295"},"institutions":[{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Georg Frey","raw_affiliation_strings":["Saarland University, Germany"],"affiliations":[{"raw_affiliation_string":"Saarland University, Germany","institution_ids":["https://openalex.org/I91712215"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5103209412"],"corresponding_institution_ids":["https://openalex.org/I179097149"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.10437383,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"64","last_page":"75"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"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"}},"topics":[{"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9991999864578247,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9983000159263611,"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/applications-of-uml","display_name":"Applications of UML","score":0.8420844078063965},{"id":"https://openalex.org/keywords/uml-tool","display_name":"UML tool","score":0.8119211196899414},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7527360916137695},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.7442401051521301},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5712014436721802},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.5639197826385498},{"id":"https://openalex.org/keywords/object-constraint-language","display_name":"Object Constraint Language","score":0.5005319118499756},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4056529104709625},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.19818857312202454}],"concepts":[{"id":"https://openalex.org/C41298492","wikidata":"https://www.wikidata.org/wiki/Q4781506","display_name":"Applications of UML","level":4,"score":0.8420844078063965},{"id":"https://openalex.org/C146939238","wikidata":"https://www.wikidata.org/wiki/Q2467310","display_name":"UML tool","level":4,"score":0.8119211196899414},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7527360916137695},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.7442401051521301},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5712014436721802},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.5639197826385498},{"id":"https://openalex.org/C133264317","wikidata":"https://www.wikidata.org/wiki/Q1397689","display_name":"Object Constraint Language","level":5,"score":0.5005319118499756},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4056529104709625},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.19818857312202454}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5220/0005523700640075","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0005523700640075","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 10th International Conference on Software Paradigm Trends","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.5220/0005523700640075","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0005523700640075","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 10th International Conference on Software Paradigm Trends","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Decent work and economic growth","id":"https://metadata.un.org/sdg/8","score":0.41999998688697815}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W58594065","https://openalex.org/W1524759280","https://openalex.org/W1951071653","https://openalex.org/W1964925931","https://openalex.org/W2023542514","https://openalex.org/W2086196340","https://openalex.org/W2100054110","https://openalex.org/W2100500368","https://openalex.org/W2101728371","https://openalex.org/W2102706400","https://openalex.org/W2121315960","https://openalex.org/W2147740041","https://openalex.org/W2322012368","https://openalex.org/W2396521494"],"related_works":["https://openalex.org/W2103939680","https://openalex.org/W1511392673","https://openalex.org/W2101953902","https://openalex.org/W2374264231","https://openalex.org/W2374395319","https://openalex.org/W2020544977","https://openalex.org/W2159765281","https://openalex.org/W3119629122","https://openalex.org/W207211690","https://openalex.org/W2489425329"],"abstract_inverted_index":{"Unified":[0],"Modeling":[1],"Language":[2],"(UML)":[3],"is":[4,37,86],"currently":[5],"accepted":[6],"as":[7],"the":[8,25,93],"standard":[9],"for":[10,92],"modeling":[11],"software":[12],"and":[13],"control":[14,60],"systems":[15,61],"since":[16],"it":[17,36],"allows":[18],"to":[19,40,48,57,79,113],"concentrate":[20],"on":[21,45],"different":[22],"aspects":[23],"of":[24,95,105],"system":[26],"under":[27],"design.":[28],"However,":[29],"UML":[30,46,51,73],"lacks":[31],"formal":[32],"semantics":[33,56],"and,":[34],"hence,":[35],"not":[38,53],"possible":[39],"apply,":[41],"directly,":[42],"mathematical":[43],"techniques":[44],"models":[47],"verify":[49],"them.":[50],"does":[52],"feature":[54],"explicit":[55],"model":[58,80,115],"flexible":[59],"sharing":[62],"adaptive":[63],"shared":[64],"resources":[65],"either.":[66],"Thus,":[67],"this":[68],"paper":[69,99],"proposes":[70],"a":[71,89,109],"new":[72],"profile,":[74],"baptized":[75],"R-UML":[76,106],"(Reconfigurable":[77],"UML),":[78],"such":[81],"reconfigurable":[82],"systems.":[83],"The":[84,98],"profile":[85],"enriched":[87],"with":[88],"PCP-based":[90],"solution":[91],"management":[94],"resource":[96],"sharing.":[97],"also":[100],"presents":[101],"an":[102],"automatic":[103],"translation":[104],"into":[107],"R-TNCES,":[108],"Petri":[110],"Net-based":[111],"formalism,":[112],"support":[114],"checking.":[116]},"counts_by_year":[{"year":2019,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}