Matches in SemOpenAlex for { <https://semopenalex.org/work/W1978483614> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W1978483614 abstract "Although adaptivity based on reconfiguration has the potential to improve dependability of systems, the cost of a failed attempt at reconfiguration is prohibitive in precisely the applications where high dependability is required. Existing work on formal modeling and verification of architectural reconfigurations partly achieve the goal of ensuring correctness, however the formalisms used often lack tool support and the ensuing models have uncertain relation to a concrete implementation. Thus a practical way to ensure with formal certainty that specific architectural changes are correct remains a barrier to the uptake of reconfiguration techniques in industry. Using the Alloy language and associated tool, we propose a practical way to formally model and analyze runtime architectural change expressed as architectural scripts. Our evaluation shows the performance to be acceptable; our experience that the modelling language is convenient and expressive, and that our model accurately repesents the implementation it is used to reason about." @default.
- W1978483614 created "2016-06-24" @default.
- W1978483614 creator A5010576988 @default.
- W1978483614 creator A5057742567 @default.
- W1978483614 date "2010-03-22" @default.
- W1978483614 modified "2023-09-24" @default.
- W1978483614 title "Modeling and analyzing architectural change with alloy" @default.
- W1978483614 cites W1498154961 @default.
- W1978483614 cites W1985136467 @default.
- W1978483614 cites W2041413766 @default.
- W1978483614 cites W2045270096 @default.
- W1978483614 cites W2053316513 @default.
- W1978483614 cites W2060440626 @default.
- W1978483614 cites W2096937604 @default.
- W1978483614 cites W2096973649 @default.
- W1978483614 cites W2099650053 @default.
- W1978483614 cites W2118023438 @default.
- W1978483614 cites W2134196660 @default.
- W1978483614 cites W2134716336 @default.
- W1978483614 cites W2149679864 @default.
- W1978483614 cites W2169102536 @default.
- W1978483614 cites W2171516295 @default.
- W1978483614 cites W2172097227 @default.
- W1978483614 cites W2482678392 @default.
- W1978483614 cites W2568770498 @default.
- W1978483614 doi "https://doi.org/10.1145/1774088.1774560" @default.
- W1978483614 hasPublicationYear "2010" @default.
- W1978483614 type Work @default.
- W1978483614 sameAs 1978483614 @default.
- W1978483614 citedByCount "9" @default.
- W1978483614 countsByYear W19784836142012 @default.
- W1978483614 countsByYear W19784836142013 @default.
- W1978483614 countsByYear W19784836142014 @default.
- W1978483614 countsByYear W19784836142015 @default.
- W1978483614 countsByYear W19784836142020 @default.
- W1978483614 crossrefType "proceedings-article" @default.
- W1978483614 hasAuthorship W1978483614A5010576988 @default.
- W1978483614 hasAuthorship W1978483614A5057742567 @default.
- W1978483614 hasConcept C115903868 @default.
- W1978483614 hasConcept C41008148 @default.
- W1978483614 hasConceptScore W1978483614C115903868 @default.
- W1978483614 hasConceptScore W1978483614C41008148 @default.
- W1978483614 hasFunder F4320334962 @default.
- W1978483614 hasLocation W19784836141 @default.
- W1978483614 hasOpenAccess W1978483614 @default.
- W1978483614 hasPrimaryLocation W19784836141 @default.
- W1978483614 hasRelatedWork W1522116655 @default.
- W1978483614 hasRelatedWork W2093578348 @default.
- W1978483614 hasRelatedWork W2350741829 @default.
- W1978483614 hasRelatedWork W2358668433 @default.
- W1978483614 hasRelatedWork W2376932109 @default.
- W1978483614 hasRelatedWork W2382290278 @default.
- W1978483614 hasRelatedWork W2390279801 @default.
- W1978483614 hasRelatedWork W2748952813 @default.
- W1978483614 hasRelatedWork W2899084033 @default.
- W1978483614 hasRelatedWork W3004735627 @default.
- W1978483614 isParatext "false" @default.
- W1978483614 isRetracted "false" @default.
- W1978483614 magId "1978483614" @default.
- W1978483614 workType "article" @default.