View in EDS HTML Full Text PDF Full Text

Generating repairs for inconsistent models.

Saved in:
Bibliographic Details
Title: Generating repairs for inconsistent models.
Authors: Marchezan, Luciano1 (AUTHOR) luciano.marchezan_de_paula@jku.at, Kretschmer, Roland1,2 (AUTHOR), Assunção, Wesley K. G.1 (AUTHOR), Reder, Alexander3 (AUTHOR), Egyed, Alexander1 (AUTHOR)
Source: Software & Systems Modeling. Feb2023, Vol. 22 Issue 1, p297-329. 33p.
Subjects: Tree size, Repairing, Scalability
Geographic Terms: Java (Indonesia)
Abstract: There are many repair alternatives for resolving model inconsistencies, each involving one or more model changes. Enumerating them all could overwhelm the developer because the number of possible repairs can grow exponentially. To address this problem, this paper focuses on the immediate cause of an inconsistency. By focusing on the cause, we can generate a repair tree with a subset of repair actions focusing on fixing this cause. This strategy identifies model elements that must be repaired, as opposed to additional model elements that may or may not have to be repaired later. Furthermore, our approach can provide an ownership-based filter for filtering repairs that modify model elements not owned by a developer. This filtering can further reduce the repair possibilities, aiding the developer when choosing repairs to be performed. We evaluated our approach on 24 UML models and four Java systems, using 17 UML consistency rules and 14 Java consistency rules. The evaluation data contained 39,683 inconsistencies, showing our approach's usability as the repair trees sizes ranged from five to nine on average per model. Also, these repair trees were generated in 0.3 seconds on average, showing our approach's scalability. Based on the results, we discuss the correctness and minimalism with regard to the cause of the inconsistency. Lastly, we evaluated the filtering mechanism, showing that it is possible to further reduce the number of repairs generated by focusing on ownership. [ABSTRACT FROM AUTHOR]
Copyright of Software & Systems Modeling is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
Full text is not displayed to guests.
FullText Links:
  – Type: pdflink
Text:
  Availability: 1
Header DbId: egs
DbLabel: Engineering Source
An: 162033749
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Generating repairs for inconsistent models.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Marchezan%2C+Luciano%22">Marchezan, Luciano</searchLink><relatesTo>1</relatesTo> (AUTHOR)<i> luciano.marchezan_de_paula@jku.at</i><br /><searchLink fieldCode="AR" term="%22Kretschmer%2C+Roland%22">Kretschmer, Roland</searchLink><relatesTo>1,2</relatesTo> (AUTHOR)<br /><searchLink fieldCode="AR" term="%22Assunção%2C+Wesley+K%2E+G%2E%22">Assunção, Wesley K. G.</searchLink><relatesTo>1</relatesTo> (AUTHOR)<br /><searchLink fieldCode="AR" term="%22Reder%2C+Alexander%22">Reder, Alexander</searchLink><relatesTo>3</relatesTo> (AUTHOR)<br /><searchLink fieldCode="AR" term="%22Egyed%2C+Alexander%22">Egyed, Alexander</searchLink><relatesTo>1</relatesTo> (AUTHOR)
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Software+%26+Systems+Modeling%22">Software & Systems Modeling</searchLink>. Feb2023, Vol. 22 Issue 1, p297-329. 33p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Tree+size%22">Tree size</searchLink><br /><searchLink fieldCode="DE" term="%22Repairing%22">Repairing</searchLink><br /><searchLink fieldCode="DE" term="%22Scalability%22">Scalability</searchLink>
– Name: SubjectGeographic
  Label: Geographic Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Java+%28Indonesia%29%22">Java (Indonesia)</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: There are many repair alternatives for resolving model inconsistencies, each involving one or more model changes. Enumerating them all could overwhelm the developer because the number of possible repairs can grow exponentially. To address this problem, this paper focuses on the immediate cause of an inconsistency. By focusing on the cause, we can generate a repair tree with a subset of repair actions focusing on fixing this cause. This strategy identifies model elements that must be repaired, as opposed to additional model elements that may or may not have to be repaired later. Furthermore, our approach can provide an ownership-based filter for filtering repairs that modify model elements not owned by a developer. This filtering can further reduce the repair possibilities, aiding the developer when choosing repairs to be performed. We evaluated our approach on 24 UML models and four Java systems, using 17 UML consistency rules and 14 Java consistency rules. The evaluation data contained 39,683 inconsistencies, showing our approach's usability as the repair trees sizes ranged from five to nine on average per model. Also, these repair trees were generated in 0.3 seconds on average, showing our approach's scalability. Based on the results, we discuss the correctness and minimalism with regard to the cause of the inconsistency. Lastly, we evaluated the filtering mechanism, showing that it is possible to further reduce the number of repairs generated by focusing on ownership. [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of Software & Systems Modeling is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=162033749
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1007/s10270-022-00996-0
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 33
        StartPage: 297
    Subjects:
      – SubjectFull: Tree size
        Type: general
      – SubjectFull: Repairing
        Type: general
      – SubjectFull: Scalability
        Type: general
      – SubjectFull: Java (Indonesia)
        Type: general
    Titles:
      – TitleFull: Generating repairs for inconsistent models.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Marchezan, Luciano
      – PersonEntity:
          Name:
            NameFull: Kretschmer, Roland
      – PersonEntity:
          Name:
            NameFull: Assunção, Wesley K. G.
      – PersonEntity:
          Name:
            NameFull: Reder, Alexander
      – PersonEntity:
          Name:
            NameFull: Egyed, Alexander
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 02
              Text: Feb2023
              Type: published
              Y: 2023
          Identifiers:
            – Type: issn-print
              Value: 16191366
          Numbering:
            – Type: volume
              Value: 22
            – Type: issue
              Value: 1
          Titles:
            – TitleFull: Software & Systems Modeling
              Type: main
ResultId 1