{"id":"https://openalex.org/W656578573","doi":"https://doi.org/10.1007/978-3-319-19584-1_10","title":"From AADL Model to LNT Specification","display_name":"From AADL Model to LNT Specification","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W656578573","doi":"https://doi.org/10.1007/978-3-319-19584-1_10","mag":"656578573"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-19584-1_10","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-19584-1_10","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5030486677","display_name":"Hana Mkaouar","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"]}],"countries":["TN"],"is_corresponding":true,"raw_author_name":"Hana Mkaouar","raw_affiliation_strings":["ReDCAD Laboratory, University of Sfax, National School of Engineers of Sfax, BP 1173, 3038, Sfax, Tunisia"],"affiliations":[{"raw_affiliation_string":"ReDCAD Laboratory, University of Sfax, National School of Engineers of Sfax, BP 1173, 3038, Sfax, Tunisia","institution_ids":["https://openalex.org/I142899784"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005670118","display_name":"Bechir Zalila","orcid":"https://orcid.org/0000-0002-2432-3520"},"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"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Bechir Zalila","raw_affiliation_strings":["ReDCAD Laboratory, University of Sfax, National School of Engineers of Sfax, BP 1173, 3038, Sfax, Tunisia"],"affiliations":[{"raw_affiliation_string":"ReDCAD Laboratory, University of Sfax, National School of Engineers of Sfax, BP 1173, 3038, Sfax, Tunisia","institution_ids":["https://openalex.org/I142899784"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003255921","display_name":"J\u00e9r\u00f4me Hugues","orcid":"https://orcid.org/0000-0003-0148-7175"},"institutions":[{"id":"https://openalex.org/I17866349","display_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","ror":"https://ror.org/004raaa70","country_code":"FR","type":"education","lineage":["https://openalex.org/I17866349"]},{"id":"https://openalex.org/I193033237","display_name":"Institut Superieur de l'Aeronautique et de l'Espace (ISAE-SUPAERO)","ror":"https://ror.org/04gyj6s21","country_code":"FR","type":"education","lineage":["https://openalex.org/I193033237","https://openalex.org/I4405258862"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"J\u00e9r\u00f4me Hugues","raw_affiliation_strings":["Institut Sup\u00e9rieur de L\u2019A\u00e9ronautique Et de L\u2019Espace, Universit\u00e9 de Toulouse, BP 54032, 31055, Toulouse Cedex 4, France","Institut Sup\u00e9rieur de L'A\u00e9ronautique Et de L'Espace, Universit\u00e9 de Toulouse, BP 54032, 31055, Toulouse Cedex 4, France"],"affiliations":[{"raw_affiliation_string":"Institut Sup\u00e9rieur de L\u2019A\u00e9ronautique Et de L\u2019Espace, Universit\u00e9 de Toulouse, BP 54032, 31055, Toulouse Cedex 4, France","institution_ids":["https://openalex.org/I193033237","https://openalex.org/I17866349"]},{"raw_affiliation_string":"Institut Sup\u00e9rieur de L'A\u00e9ronautique Et de L'Espace, Universit\u00e9 de Toulouse, BP 54032, 31055, Toulouse Cedex 4, France","institution_ids":["https://openalex.org/I193033237","https://openalex.org/I17866349"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047871549","display_name":"Mohamed Jma\u00efel","orcid":"https://orcid.org/0000-0002-2664-0204"},"institutions":[{"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"]},{"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"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Mohamed Jmaiel","raw_affiliation_strings":["ReDCAD Laboratory, University of Sfax, National School of Engineers of Sfax, BP 1173, 3038, Sfax, Tunisia","Research Center for Computer Science Multimedia and Digital Data Processing of Sfax, BP 275, 3021, Sakiet Ezzit, Sfax, Tunisia"],"affiliations":[{"raw_affiliation_string":"ReDCAD Laboratory, University of Sfax, National School of Engineers of Sfax, BP 1173, 3038, Sfax, Tunisia","institution_ids":["https://openalex.org/I142899784"]},{"raw_affiliation_string":"Research Center for Computer Science Multimedia and Digital Data Processing of Sfax, BP 275, 3021, Sakiet Ezzit, Sfax, Tunisia","institution_ids":["https://openalex.org/I4210119561"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5030486677"],"corresponding_institution_ids":["https://openalex.org/I142899784"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":3.702,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.9295525,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"146","last_page":"161"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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.9995999932289124,"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.9962000250816345,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9947999715805054,"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.8635193109512329},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5529619455337524}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8635193109512329},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5529619455337524}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-319-19584-1_10","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-19584-1_10","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W69221180","https://openalex.org/W1554303980","https://openalex.org/W1977409260","https://openalex.org/W1998429448","https://openalex.org/W2012419967","https://openalex.org/W2026591657","https://openalex.org/W2096203497","https://openalex.org/W2124069363","https://openalex.org/W2131687401","https://openalex.org/W2267232325","https://openalex.org/W2810491896"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}