FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4366450538> ?p ?o ?g. }

• W4366450538 endingPage "25" @default.
• W4366450538 startingPage "3" @default.
• W4366450538 abstract "Abstract System goals are the statements that, in the context of software requirements specification, capture how the software should behave. Many times, the understanding of stakeholders on what the system should do, as captured in the goals, can lead to different problems, from clearly contradicting goals, to more subtle situations in which the satisfaction of some goals inhibits the satisfaction of others. These latter issues, called goal divergences , are the subject of goal conflict analysis , which consists of identifying, assessing, and resolving divergences, as part of a more general activity known as goal refinement. While there exist techniques that, when requirements are expressed formally, can automatically identify and assess goal conflicts, there is currently no automated approach to support engineers in resolving identified divergences. In this paper, we present ACoRe , the first approach that automatically proposes potential resolutions to goal conflicts, in requirements specifications formally captured using linear-time temporal logic. ACoRe systematically explores syntactic modifications of the conflicting specifications, aiming at obtaining resolutions that disable previously identified conflicts, while preserving specification consistency. ACoRe integrates modern multi-objective search algorithms (in particular, NSGA-III, WBGA, and AMOSA) to produce resolutions that maintain coherence with the original conflicting specification, by searching for specifications that are either syntactically or semantically similar to the original specification. We assess ACoRe on 25 requirements specifications taken from the literature. We show that ACoRe can successfully produce various conflict resolutions for each of the analyzed case studies, including resolutions that resemble specification repairs manually provided as part of conflict analyses." @default.
• W4366450538 created "2023-04-22" @default.
• W4366450538 creator A5000695937 @default.
• W4366450538 creator A5016401353 @default.
• W4366450538 creator A5032855338 @default.
• W4366450538 creator A5040574362 @default.
• W4366450538 creator A5051795108 @default.
• W4366450538 creator A5067677578 @default.
• W4366450538 creator A5081145634 @default.
• W4366450538 date "2023-01-01" @default.
• W4366450538 modified "2023-10-09" @default.
• W4366450538 title "ACoRe: Automated Goal-Conflict Resolution" @default.
• W4366450538 cites W1499127572 @default.
• W4366450538 cites W1506588809 @default.
• W4366450538 cites W1526808427 @default.
• W4366450538 cites W153060849 @default.
• W4366450538 cites W1543520236 @default.
• W4366450538 cites W1561929444 @default.
• W4366450538 cites W1659842140 @default.
• W4366450538 cites W1787074469 @default.
• W4366450538 cites W1898619724 @default.
• W4366450538 cites W1925256650 @default.
• W4366450538 cites W1965335252 @default.
• W4366450538 cites W1972978214 @default.
• W4366450538 cites W1977321274 @default.
• W4366450538 cites W1993270618 @default.
• W4366450538 cites W2016206563 @default.
• W4366450538 cites W2017739343 @default.
• W4366450538 cites W2022485595 @default.
• W4366450538 cites W2024060531 @default.
• W4366450538 cites W2040127143 @default.
• W4366450538 cites W2041282815 @default.
• W4366450538 cites W2048355938 @default.
• W4366450538 cites W2049695835 @default.
• W4366450538 cites W2055849400 @default.
• W4366450538 cites W2076054478 @default.
• W4366450538 cites W2084477406 @default.
• W4366450538 cites W2098907614 @default.
• W4366450538 cites W2104492856 @default.
• W4366450538 cites W2117818414 @default.
• W4366450538 cites W2138428785 @default.
• W4366450538 cites W2143801440 @default.
• W4366450538 cites W2162339078 @default.
• W4366450538 cites W2164589933 @default.
• W4366450538 cites W2168915271 @default.
• W4366450538 cites W2171627300 @default.
• W4366450538 cites W2513840768 @default.
• W4366450538 cites W2518473846 @default.
• W4366450538 cites W2547497993 @default.
• W4366450538 cites W2554196169 @default.
• W4366450538 cites W2795192724 @default.
• W4366450538 cites W2888499192 @default.
• W4366450538 cites W2892537867 @default.
• W4366450538 cites W2921981915 @default.
• W4366450538 cites W2932401226 @default.
• W4366450538 cites W2954385116 @default.
• W4366450538 cites W2955699751 @default.
• W4366450538 cites W2962927158 @default.
• W4366450538 cites W3088049835 @default.
• W4366450538 cites W3089808309 @default.
• W4366450538 cites W4237946187 @default.
• W4366450538 cites W4240343303 @default.
• W4366450538 cites W4289978008 @default.
• W4366450538 doi "https://doi.org/10.1007/978-3-031-30826-0_1" @default.
• W4366450538 hasPublicationYear "2023" @default.
• W4366450538 type Work @default.
• W4366450538 citedByCount "0" @default.
• W4366450538 crossrefType "book-chapter" @default.
• W4366450538 hasAuthorship W4366450538A5000695937 @default.
• W4366450538 hasAuthorship W4366450538A5016401353 @default.
• W4366450538 hasAuthorship W4366450538A5032855338 @default.
• W4366450538 hasAuthorship W4366450538A5040574362 @default.
• W4366450538 hasAuthorship W4366450538A5051795108 @default.
• W4366450538 hasAuthorship W4366450538A5067677578 @default.
• W4366450538 hasAuthorship W4366450538A5081145634 @default.
• W4366450538 hasBestOaLocation W43664505381 @default.
• W4366450538 hasConcept C102780508 @default.
• W4366450538 hasConcept C115903868 @default.
• W4366450538 hasConcept C116253237 @default.
• W4366450538 hasConcept C151730666 @default.
• W4366450538 hasConcept C154945302 @default.
• W4366450538 hasConcept C17744445 @default.
• W4366450538 hasConcept C199360897 @default.
• W4366450538 hasConcept C199539241 @default.
• W4366450538 hasConcept C21711469 @default.
• W4366450538 hasConcept C2776436953 @default.
• W4366450538 hasConcept C2777904410 @default.
• W4366450538 hasConcept C2779343474 @default.
• W4366450538 hasConcept C41008148 @default.
• W4366450538 hasConcept C52913732 @default.
• W4366450538 hasConcept C529173508 @default.
• W4366450538 hasConcept C6604083 @default.
• W4366450538 hasConcept C84651959 @default.
• W4366450538 hasConcept C86803240 @default.
• W4366450538 hasConceptScore W4366450538C102780508 @default.
• W4366450538 hasConceptScore W4366450538C115903868 @default.
• W4366450538 hasConceptScore W4366450538C116253237 @default.
• W4366450538 hasConceptScore W4366450538C151730666 @default.

• next