Conference paper Open Access

Model-driven round-trip software dependability engineering

Tucci, Michele

MARC21 XML Export

<?xml version='1.0' encoding='UTF-8'?>
<record xmlns="">
  <datafield tag="540" ind1=" " ind2=" ">
    <subfield code="u"></subfield>
    <subfield code="a">Creative Commons Attribution 4.0 International</subfield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="c">2018-10-09</subfield>
  <controlfield tag="005">20200120171035.0</controlfield>
  <controlfield tag="001">3479213</controlfield>
  <datafield tag="909" ind1="C" ind2="O">
    <subfield code="p">openaire</subfield>
    <subfield code="o"></subfield>
  <datafield tag="520" ind1=" " ind2=" ">
    <subfield code="a">Supporting changes in software models is becoming increasingly important. Some of these changes are induced by non-functional analysis that is usually conducted on different models and tools. Therefore, it becomes crucial to develop methods that allow automated transformations between these two families of models throughout the development cycle. To this extent, in the last decade, a number of approaches have been introduced to generate non-functional analysis models from software models. However, when analysis models are modified to meet non-functional requirements, changes are not propagated to update the software model. Automating the identification and propagation of changes would better support a round-trip analysis process. In this PhD program, we aim at introducing automation in the model-driven assessment of dependability, and we propose to leverage bidirectional model transformations to: (i) generate dependability analysis models from software models, and (ii) automatically propagate changes, driven by dependability requirements satisfaction, from analysis models back to software models. In particular, we intend to extend JTL, that is a bidirectional model transformations framework designed for model synchronization and change propagation, to handle problems that may arise from the application of bidirectional transformations in the context of dependability assessment.</subfield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">684388</subfield>
    <subfield code="z">md5:4bdbf688bc53b20348b85048ba50eaea</subfield>
    <subfield code="u"></subfield>
  <datafield tag="542" ind1=" " ind2=" ">
    <subfield code="l">open</subfield>
  <datafield tag="980" ind1=" " ind2=" ">
    <subfield code="a">publication</subfield>
    <subfield code="b">conferencepaper</subfield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="u">University of L'Aquila</subfield>
    <subfield code="0">(orcid)0000-0002-0329-1101</subfield>
    <subfield code="a">Tucci, Michele</subfield>
  <datafield tag="041" ind1=" " ind2=" ">
    <subfield code="a">eng</subfield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">Software refactoring</subfield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">Depandability</subfield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">Change propagation</subfield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">Model-driven engineering</subfield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">Bidirectional model transformation</subfield>
  <datafield tag="024" ind1=" " ind2=" ">
    <subfield code="a">10.1145/3270112.3275337</subfield>
    <subfield code="2">doi</subfield>
  <datafield tag="245" ind1=" " ind2=" ">
    <subfield code="a">Model-driven round-trip software dependability engineering</subfield>
  <datafield tag="536" ind1=" " ind2=" ">
    <subfield code="c">737494</subfield>
    <subfield code="a">MegaModelling at Runtime - scalable model-based framework for continuous development andruntime validation of complex systems.</subfield>
  <datafield tag="650" ind1="1" ind2="7">
    <subfield code="a">cc-by</subfield>
    <subfield code="2"></subfield>
Views 57
Downloads 226
Data volume 154.7 MB
Unique views 53
Unique downloads 221


Cite as