Matches in SemOpenAlex for { <https://semopenalex.org/work/W42542003> ?p ?o ?g. }
- W42542003 abstract "In software development, customer requirements are the driver for the producedsystem. The requirements are ultimately translated by software engineers intoa solution. An architecture is created based on the requirements. The architecturedescribes the system at a high level of abstraction using one or more views.During and after the process of creating the solution, the customer needs oftenevolve resulting in changed requirements. The architecture has to be changedaccordingly to satisfy the changed requirements. Change impact analysis willhelp changing the architecture to support the satisfaction of the changed requirements.Currently, performing change impact analysis is hard, because both therequirements and the architecture are not formalized.We propose an approach on how to perform change impact analysis in softwarearchitectures. This approach is based on the validation of functional requirements.The functional requirements are transformed into a formal behaviordescription. This formal behavior description states the behavior which mustbe present, or absent, in the behavior of the architecture. If one or more of theformal behavior descriptions fail, we can identify which requirements are notsatisfied by the architecture. Based on traces between the requirements andarchitecture, and the requirements which are not satisfied by the architecture,we can identify the components of the architecture which are not satisfying therequirements.In order to validate requirements, we need to derive the behavior of the architecture.The behavior of the architecture is derived by building a simulatablemodel based on the architecture. AADL is used to record the architecture itself.The architecture is annotated with additional properties to specify the behaviorof individual components. The simulation of the architecture is performed usingthe modeling language Alloy. Using the simulation in Alloy, we derive the statespace which represents the behavior of the architecture. After simulation of thearchitecture, we can assert whether the architecture satisfies the requirements.Given the derived state space through simulation, satisfaction of functionalrequirements, and traces from functional requirements to architecture components,we perform change impact analysis. We provide several guidelines fordifferent activities of this process. To identify strengths and weaknesses of theapproach, the apporoach is evaluated by performing five change scenarios in anexisting project. The results of the change scenarios are discussed afterwards.From this research we can conclude that the proposed approach is promising.However, Alloy imposes limitation on the size of the architecture and length ofsimulation. Also, Alloy is slow when simulating architectures. Other directionsare given for future research." @default.
- W42542003 created "2016-06-24" @default.
- W42542003 creator A5026204508 @default.
- W42542003 date "2009-01-01" @default.
- W42542003 modified "2023-09-27" @default.
- W42542003 title "Impact Analysis of Changes in Functional Requirements in the Behavioral View of Software Architectures" @default.
- W42542003 cites W1569953369 @default.
- W42542003 cites W1598029876 @default.
- W42542003 cites W1873956753 @default.
- W42542003 cites W1919395891 @default.
- W42542003 cites W1970495662 @default.
- W42542003 cites W2008879986 @default.
- W42542003 cites W2072834565 @default.
- W42542003 cites W2103544170 @default.
- W42542003 cites W2104734478 @default.
- W42542003 cites W2134287022 @default.
- W42542003 cites W2138464849 @default.
- W42542003 cites W2165994683 @default.
- W42542003 cites W2984612939 @default.
- W42542003 cites W84082018 @default.
- W42542003 hasPublicationYear "2009" @default.
- W42542003 type Work @default.
- W42542003 sameAs 42542003 @default.
- W42542003 citedByCount "2" @default.
- W42542003 countsByYear W425420032016 @default.
- W42542003 crossrefType "dissertation" @default.
- W42542003 hasAuthorship W42542003A5026204508 @default.
- W42542003 hasConcept C102780508 @default.
- W42542003 hasConcept C111919701 @default.
- W42542003 hasConcept C115903868 @default.
- W42542003 hasConcept C123657996 @default.
- W42542003 hasConcept C126383566 @default.
- W42542003 hasConcept C142362112 @default.
- W42542003 hasConcept C149091818 @default.
- W42542003 hasConcept C153349607 @default.
- W42542003 hasConcept C154240960 @default.
- W42542003 hasConcept C174683762 @default.
- W42542003 hasConcept C186846655 @default.
- W42542003 hasConcept C199360897 @default.
- W42542003 hasConcept C199747065 @default.
- W42542003 hasConcept C26063835 @default.
- W42542003 hasConcept C27591593 @default.
- W42542003 hasConcept C2777904410 @default.
- W42542003 hasConcept C35869016 @default.
- W42542003 hasConcept C40398212 @default.
- W42542003 hasConcept C41008148 @default.
- W42542003 hasConcept C41065761 @default.
- W42542003 hasConcept C52913732 @default.
- W42542003 hasConcept C529173508 @default.
- W42542003 hasConcept C55356503 @default.
- W42542003 hasConcept C55627697 @default.
- W42542003 hasConcept C59488412 @default.
- W42542003 hasConcept C62235348 @default.
- W42542003 hasConcept C73219336 @default.
- W42542003 hasConcept C97382630 @default.
- W42542003 hasConceptScore W42542003C102780508 @default.
- W42542003 hasConceptScore W42542003C111919701 @default.
- W42542003 hasConceptScore W42542003C115903868 @default.
- W42542003 hasConceptScore W42542003C123657996 @default.
- W42542003 hasConceptScore W42542003C126383566 @default.
- W42542003 hasConceptScore W42542003C142362112 @default.
- W42542003 hasConceptScore W42542003C149091818 @default.
- W42542003 hasConceptScore W42542003C153349607 @default.
- W42542003 hasConceptScore W42542003C154240960 @default.
- W42542003 hasConceptScore W42542003C174683762 @default.
- W42542003 hasConceptScore W42542003C186846655 @default.
- W42542003 hasConceptScore W42542003C199360897 @default.
- W42542003 hasConceptScore W42542003C199747065 @default.
- W42542003 hasConceptScore W42542003C26063835 @default.
- W42542003 hasConceptScore W42542003C27591593 @default.
- W42542003 hasConceptScore W42542003C2777904410 @default.
- W42542003 hasConceptScore W42542003C35869016 @default.
- W42542003 hasConceptScore W42542003C40398212 @default.
- W42542003 hasConceptScore W42542003C41008148 @default.
- W42542003 hasConceptScore W42542003C41065761 @default.
- W42542003 hasConceptScore W42542003C52913732 @default.
- W42542003 hasConceptScore W42542003C529173508 @default.
- W42542003 hasConceptScore W42542003C55356503 @default.
- W42542003 hasConceptScore W42542003C55627697 @default.
- W42542003 hasConceptScore W42542003C59488412 @default.
- W42542003 hasConceptScore W42542003C62235348 @default.
- W42542003 hasConceptScore W42542003C73219336 @default.
- W42542003 hasConceptScore W42542003C97382630 @default.
- W42542003 hasLocation W425420031 @default.
- W42542003 hasOpenAccess W42542003 @default.
- W42542003 hasPrimaryLocation W425420031 @default.
- W42542003 hasRelatedWork W1489032686 @default.
- W42542003 hasRelatedWork W1523189553 @default.
- W42542003 hasRelatedWork W1562848779 @default.
- W42542003 hasRelatedWork W1590615150 @default.
- W42542003 hasRelatedWork W1976042736 @default.
- W42542003 hasRelatedWork W2023313657 @default.
- W42542003 hasRelatedWork W2031997644 @default.
- W42542003 hasRelatedWork W2043298776 @default.
- W42542003 hasRelatedWork W2103635041 @default.
- W42542003 hasRelatedWork W2146174615 @default.
- W42542003 hasRelatedWork W2159898039 @default.
- W42542003 hasRelatedWork W2468752038 @default.
- W42542003 hasRelatedWork W2492142294 @default.
- W42542003 hasRelatedWork W2767960519 @default.