{'fraction_non_alphanumeric': 0.01585014409221902, 'fraction_numerical': 0.002881844380403458, 'mean_word_length': 5.318181818181818, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Integrating AADL within a Multi-domain Modeling Framework

DUALLY is a framework that allows architectural languages interoperability through automated model transformationtechniques. Any transformation among ADLs isdefined in DUALLY by passing through A0 that is anextensible semantic core set of modeling elements. In this paper we describe the integration of AADL and the corresponding OSATE tool-set in DUALLY. Once AADL ishooked to A0, it is automatically integrated with the network of languages already integrated in DUALLY. In particular, we show how it is possible, in an easy way, to obtain a UML specification and to model check AADL and behavioral annex specifications through LTSA.