{"id":"https://openalex.org/W4290823780","doi":null,"title":"TOWARDS A TRANSFORMATION APPROACH OF TIMED UML MARTE SPECIFICATIONSFOR OBSERVER-BASED FORMAL VERIFICATION","display_name":"TOWARDS A TRANSFORMATION APPROACH OF TIMED UML MARTE SPECIFICATIONSFOR OBSERVER-BASED FORMAL VERIFICATION","publication_year":2016,"publication_date":"2016-05-31","ids":{"openalex":"https://openalex.org/W4290823780"},"language":"en","primary_location":{"id":"pmh:oai:HAL:hal-01326351v1","doi":null,"is_oa":false,"landing_page_url":"https://hal.science/hal-01326351","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computing and Informatics, 2016, 35, pp.1001-1031","raw_type":"info:eu-repo/semantics/article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5026935826","display_name":"Nadia Menad","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I3124969661","display_name":"Universit\u00e9 des Sciences et de la Technologie d'Oran Mohamed Boudiaf","ror":"https://ror.org/02nbj1r55","country_code":"DZ","type":"education","lineage":["https://openalex.org/I3124969661"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Menad, Nadia","raw_affiliation_strings":["Lab-STICC_ENSTAB_CACS_COM (France)","P\u00f4le STIC_IDM (France)","USTO MB - Universit\u00e9 des sciences et de la Technologie d'Oran Mohamed Boudiaf [Oran] (El Mnaouar, BP 1505, Bir El Djir 31000 - Algeria)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Lab-STICC_ENSTAB_CACS_COM (France)","institution_ids":[]},{"raw_affiliation_string":"P\u00f4le STIC_IDM (France)","institution_ids":[]},{"raw_affiliation_string":"USTO MB - Universit\u00e9 des sciences et de la Technologie d'Oran Mohamed Boudiaf [Oran] (El Mnaouar, BP 1505, Bir El Djir 31000 - Algeria)","institution_ids":["https://openalex.org/I3124969661"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003925837","display_name":"Philippe Dhaussy","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dhaussy, Philippe","raw_affiliation_strings":["Lab-STICC_ENSTAB_CACS_COM (France)","P\u00f4le STIC_IDM (France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Lab-STICC_ENSTAB_CACS_COM (France)","institution_ids":[]},{"raw_affiliation_string":"P\u00f4le STIC_IDM (France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108456064","display_name":"Zo\u00e9 Drey","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Drey, Zo\u00e9","raw_affiliation_strings":["Lab-STICC_ENSTAB_CACS_COM (France)","P\u00f4le STIC_IDM (France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Lab-STICC_ENSTAB_CACS_COM (France)","institution_ids":[]},{"raw_affiliation_string":"P\u00f4le STIC_IDM (France)","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042403093","display_name":"Rachida Mekki","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I3124969661","display_name":"Universit\u00e9 des Sciences et de la Technologie d'Oran Mohamed Boudiaf","ror":"https://ror.org/02nbj1r55","country_code":"DZ","type":"education","lineage":["https://openalex.org/I3124969661"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Mekki, Rachida","raw_affiliation_strings":["USTO MB - Universit\u00e9 des sciences et de la Technologie d'Oran Mohamed Boudiaf [Oran] (El Mnaouar, BP 1505, Bir El Djir 31000 - Algeria)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"USTO MB - Universit\u00e9 des sciences et de la Technologie d'Oran Mohamed Boudiaf [Oran] (El Mnaouar, BP 1505, Bir El Djir 31000 - Algeria)","institution_ids":["https://openalex.org/I3124969661"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2758,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.48511764,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":"35","issue":null,"first_page":"1001","last_page":"1031"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9829000234603882,"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.9829000234603882,"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.013799999840557575,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.000699999975040555,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/uml-marte","display_name":"UML/MARTE","score":0.8339999914169312},{"id":"https://openalex.org/keywords/ccsl","display_name":"CCSL","score":0.7369999885559082},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.7450000047683716},{"id":"https://openalex.org/keywords/formal-transformation","display_name":"formal transformation","score":0.7910000085830688},{"id":"https://openalex.org/keywords/distributed-systems","display_name":"distributed systems","score":0.8330000042915344},{"id":"https://openalex.org/keywords/time-constraints","display_name":"time constraints","score":0.734000027179718},{"id":"https://openalex.org/keywords/model-translation","display_name":"model translation","score":0.5889999866485596},{"id":"https://openalex.org/keywords/tool-chain","display_name":"toolchain","score":0.6510000228881836}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7193959355354309},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.6425778865814209},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.4917316734790802},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37824755907058716},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3733013868331909},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.06978744268417358},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:HAL:hal-01326351v1","doi":null,"is_oa":false,"landing_page_url":"https://hal.science/hal-01326351","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computing and Informatics, 2016, 35, pp.1001-1031","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W580248071","https://openalex.org/W58706203","https://openalex.org/W3004025715","https://openalex.org/W2044856809","https://openalex.org/W2271800372","https://openalex.org/W2562198220","https://openalex.org/W7098906282","https://openalex.org/W2128110618","https://openalex.org/W2081260576","https://openalex.org/W4239820459"],"abstract_inverted_index":{"Modeling":[0],"timing":[1],"constraints":[2,161],"of":[3,29,32,60,71,143,166],"distributed":[4],"systems":[5,9],"and":[6,64,69,109,122,146],"multi-clock":[7],"elec-tronic":[8],"aims":[10],"to":[11,56,103],"describe":[12],"different":[13],"time":[14,28,37,148],"requirements":[15],"aspects":[16],"at":[17],"a":[18,39,113,120,141,152,179],"higher":[19],"ab-straction":[20],"level.":[21],"An":[22],"important":[23],"aspect":[24],"is":[25],"the":[26,30,36,58,67,75,79,85,123,167,172],"logical":[27],"behavior":[31],"thesesystems.":[33],"To":[34],"model":[35,169],"requirements,":[38],"specification":[40],"language":[41],"with":[42,140,178],"multipleclock":[43],"domains":[44],"called":[45],"Clock":[46],"Constraint":[47],"Specifiation":[48],"Language":[49],"(CCSL)":[50],"has":[51],"been":[52,77],"in-troduced,":[53],"in":[54,82],"order":[55],"enrich":[57],"formalisms":[59],"existing":[61],"modeling":[62],"tools":[63,144],"also":[65,164],"tofacilitate":[66],"description":[68],"analysis":[70],"temporal":[72],"constraints.":[73,149],"Once":[74],"softwarehas":[76],"modeled,":[78],"difficulty":[80],"lies":[81],"both":[83],"expressing":[84],"relevant":[86],"properties":[87],"andverifying":[88],"them":[89,111],"formally.":[90],"For":[91],"that":[92,156],"purpose":[93],"formal":[94,114],"transformation":[95],"techniques":[96],"mustbe":[97],"introduced.":[98],"However,":[99],"it":[100],"remains":[101],"difficult":[102],"exploit":[104],"initial":[105],"models":[106,131],"as":[107],"such,":[108],"tointegrate":[110],"into":[112],"verification":[115],"process.":[116],"This":[117],"paper":[118],"introduces":[119],"method-ology":[121],"original":[124],"tool":[125],"chain":[126],"for":[127],"exploiting":[128],"UML":[129],"MARTE":[130],"enriched":[132],"withCCSL":[133],"specification.":[134],"These":[135],"will":[136],"be":[137],"integrated":[138],"together":[139],"range":[142],"forexpressing":[145],"verifying":[147],"We":[150,175],"propose":[151],"more":[153],"general":[154],"translationapproach":[155],"verifies":[157],"not":[158],"only":[159],"CCSL":[160],"implementations":[162],"but":[163],"prop-erties":[165],"complete":[168],"including":[170],"all":[171],"functional":[173],"components.":[174],"evaluateour":[176],"approach":[177],"case":[180],"study.":[181]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2022-08-12T00:00:00"}