{"id":"https://openalex.org/W4308623388","doi":"https://doi.org/10.1145/3550356.3552373","title":"The instance model-view update problem in AADL","display_name":"The instance model-view update problem in AADL","publication_year":2022,"publication_date":"2022-10-23","ids":{"openalex":"https://openalex.org/W4308623388","doi":"https://doi.org/10.1145/3550356.3552373"},"language":"en","primary_location":{"id":"doi:10.1145/3550356.3552373","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3550356.3552373","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","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/A5090167872","display_name":"Rakshit Mittal","orcid":"https://orcid.org/0000-0001-9871-800X"},"institutions":[{"id":"https://openalex.org/I12356871","display_name":"T\u00e9l\u00e9com Paris","ror":"https://ror.org/01naq7912","country_code":"FR","type":"education","lineage":["https://openalex.org/I12356871","https://openalex.org/I205703379","https://openalex.org/I4210145102"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Rakshit Mittal","raw_affiliation_strings":["Telecom Paris, Palaiseau, France"],"affiliations":[{"raw_affiliation_string":"Telecom Paris, Palaiseau, France","institution_ids":["https://openalex.org/I12356871"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5090167872"],"corresponding_institution_ids":["https://openalex.org/I12356871"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.11414288,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"221","last_page":"224"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998999834060669,"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.9998999834060669,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9994000196456909,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9993000030517578,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8587221503257751},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6906135082244873},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.5898273587226868},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5577043890953064},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5408940315246582},{"id":"https://openalex.org/keywords/modularity","display_name":"Modularity (biology)","score":0.46498721837997437},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.24292001128196716},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.10426944494247437}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8587221503257751},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6906135082244873},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.5898273587226868},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5577043890953064},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5408940315246582},{"id":"https://openalex.org/C2779478453","wikidata":"https://www.wikidata.org/wiki/Q6889748","display_name":"Modularity (biology)","level":2,"score":0.46498721837997437},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.24292001128196716},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.10426944494247437},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3550356.3552373","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3550356.3552373","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1966337472","https://openalex.org/W1996763308","https://openalex.org/W2073763472","https://openalex.org/W2113582770","https://openalex.org/W2580761662","https://openalex.org/W2798782508","https://openalex.org/W2908621597","https://openalex.org/W4213383493"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W4241418540","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W1875930651","https://openalex.org/W2966593744"],"abstract_inverted_index":{"The":[0],"Architecture":[1],"Analysis":[2],"and":[3,22,162],"Design":[4],"Language":[5],"(AADL)":[6],"is":[7,56,68,97,112,120],"a":[8,49,57,113,121,144,154],"rich":[9],"language":[10],"for":[11,39,83,138],"modeling":[12],"embedded":[13],"systems":[14],"through":[15],"several":[16],"constructs":[17],"such":[18],"as":[19],"component":[20,28],"extension":[21],"refinement":[23],"to":[24,78,87,105],"promote":[25],"modularity":[26],"of":[27,115,140,146,156,166],"declarations.":[29],"To":[30],"ease":[31],"processing":[32,160],"AADL":[33,141,158],"models,":[34],"OSATE,":[35],"the":[36,65,80,91,109,116,129,164],"reference":[37],"tool":[38],"AADL,":[40],"defines":[41],"another":[42],"model":[43,55,67,94,111,159],"(namely":[44],"'instance'":[45],"model)":[46],"computed":[47],"from":[48,64,103],"base":[50],"'declarative'":[51],"model/s.":[52],"An":[53],"instance":[54,104,110],"simple":[58],"object":[59],"tree":[60],"where":[61],"all":[62],"information":[63,77],"declarative":[66,93,106,117],"flattened":[69],"so":[70],"that":[71],"tools":[72,161],"can":[73],"easily":[74],"use":[75],"this":[76,119,125,147],"analyze":[79],"system.":[81],"However":[82],"modifications,":[84],"they":[85],"have":[86],"make":[88],"changes":[89],"in":[90],"complex":[92],"since":[95],"there":[96],"no":[98],"automated":[99],"backward":[100],"transformation":[101],"(de-instantiation)":[102],"models.":[107],"Since":[108],"'view'":[114],"model,":[118],"view-update":[122,148],"problem.":[123,149],"In":[124],"paper,":[126],"we":[127],"propose":[128],"OSATE":[130],"Declarative-Instance":[131],"Mapping":[132],"Tool":[133],"(OSATE-DIM),":[134],"an":[135],"Eclipse":[136],"plugin":[137],"de-instantiation":[139,168],"models":[142],"implementing":[143],"solution":[145],"We":[150],"evaluate":[151],"OSATE-DIM":[152],"with":[153],"benchmark":[155],"existing":[157],"verify":[163],"correctness":[165],"our":[167],"transformations.":[169]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}