Matches in SemOpenAlex for { <https://semopenalex.org/work/W1241911937> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1241911937 endingPage "237" @default.
- W1241911937 startingPage "218" @default.
- W1241911937 abstract "In a reconfigurable system, the response to contextual or internal change may trigger reconfiguration events which, on their turn, activate scripts that change the system׳s architecture at runtime. To be safe, however, such reconfigurations are expected to obey the fundamental principles originally specified by its architect. This paper introduces an approach to ensure that such principles are observed along reconfigurations by verifying them against concrete specifications in a suitable logic. Architectures, reconfiguration scripts, and principles are specified in Archery, an architectural description language with formal semantics. Principles are encoded as constraints, which become formulas of a two-layer graded hybrid logic, where the upper layer restricts reconfigurations, and the lower layer constrains the resulting configurations. Constraints are verified by translating them into logic formulas, which are interpreted over models derived from Archery specifications of architectures and reconfigurations. Suitable notions of bisimulation and refinement, to which the architect may resort to compare configurations, are given, and their relationship with modal validity is discussed." @default.
- W1241911937 created "2016-06-24" @default.
- W1241911937 creator A5031060439 @default.
- W1241911937 creator A5062334330 @default.
- W1241911937 creator A5090854917 @default.
- W1241911937 date "2015-12-01" @default.
- W1241911937 modified "2023-10-18" @default.
- W1241911937 title "On the verification of architectural reconfigurations" @default.
- W1241911937 cites W1710605610 @default.
- W1241911937 cites W1968044466 @default.
- W1241911937 cites W1996245121 @default.
- W1241911937 cites W2007122942 @default.
- W1241911937 cites W2007666160 @default.
- W1241911937 cites W2013658284 @default.
- W1241911937 cites W2026481470 @default.
- W1241911937 cites W2035639618 @default.
- W1241911937 cites W2045270096 @default.
- W1241911937 cites W2060440626 @default.
- W1241911937 cites W2068458083 @default.
- W1241911937 cites W2092431575 @default.
- W1241911937 cites W2096937604 @default.
- W1241911937 cites W2108235534 @default.
- W1241911937 cites W2134196660 @default.
- W1241911937 cites W2135670602 @default.
- W1241911937 cites W2155028447 @default.
- W1241911937 cites W2162366870 @default.
- W1241911937 cites W2171516295 @default.
- W1241911937 doi "https://doi.org/10.1016/j.cl.2015.07.001" @default.
- W1241911937 hasPublicationYear "2015" @default.
- W1241911937 type Work @default.
- W1241911937 sameAs 1241911937 @default.
- W1241911937 citedByCount "4" @default.
- W1241911937 countsByYear W12419119372016 @default.
- W1241911937 countsByYear W12419119372017 @default.
- W1241911937 countsByYear W12419119372019 @default.
- W1241911937 crossrefType "journal-article" @default.
- W1241911937 hasAuthorship W1241911937A5031060439 @default.
- W1241911937 hasAuthorship W1241911937A5062334330 @default.
- W1241911937 hasAuthorship W1241911937A5090854917 @default.
- W1241911937 hasBestOaLocation W12419119372 @default.
- W1241911937 hasConcept C119701452 @default.
- W1241911937 hasConcept C123657996 @default.
- W1241911937 hasConcept C135315306 @default.
- W1241911937 hasConcept C142362112 @default.
- W1241911937 hasConcept C149635348 @default.
- W1241911937 hasConcept C153349607 @default.
- W1241911937 hasConcept C178790620 @default.
- W1241911937 hasConcept C184337299 @default.
- W1241911937 hasConcept C185592680 @default.
- W1241911937 hasConcept C188027245 @default.
- W1241911937 hasConcept C199360897 @default.
- W1241911937 hasConcept C27508121 @default.
- W1241911937 hasConcept C2779227376 @default.
- W1241911937 hasConcept C41008148 @default.
- W1241911937 hasConcept C61423126 @default.
- W1241911937 hasConcept C71139939 @default.
- W1241911937 hasConcept C80444323 @default.
- W1241911937 hasConceptScore W1241911937C119701452 @default.
- W1241911937 hasConceptScore W1241911937C123657996 @default.
- W1241911937 hasConceptScore W1241911937C135315306 @default.
- W1241911937 hasConceptScore W1241911937C142362112 @default.
- W1241911937 hasConceptScore W1241911937C149635348 @default.
- W1241911937 hasConceptScore W1241911937C153349607 @default.
- W1241911937 hasConceptScore W1241911937C178790620 @default.
- W1241911937 hasConceptScore W1241911937C184337299 @default.
- W1241911937 hasConceptScore W1241911937C185592680 @default.
- W1241911937 hasConceptScore W1241911937C188027245 @default.
- W1241911937 hasConceptScore W1241911937C199360897 @default.
- W1241911937 hasConceptScore W1241911937C27508121 @default.
- W1241911937 hasConceptScore W1241911937C2779227376 @default.
- W1241911937 hasConceptScore W1241911937C41008148 @default.
- W1241911937 hasConceptScore W1241911937C61423126 @default.
- W1241911937 hasConceptScore W1241911937C71139939 @default.
- W1241911937 hasConceptScore W1241911937C80444323 @default.
- W1241911937 hasLocation W12419119371 @default.
- W1241911937 hasLocation W12419119372 @default.
- W1241911937 hasOpenAccess W1241911937 @default.
- W1241911937 hasPrimaryLocation W12419119371 @default.
- W1241911937 hasRelatedWork W1241911937 @default.
- W1241911937 hasRelatedWork W1515412030 @default.
- W1241911937 hasRelatedWork W1587224678 @default.
- W1241911937 hasRelatedWork W1968044466 @default.
- W1241911937 hasRelatedWork W2086733238 @default.
- W1241911937 hasRelatedWork W2810752651 @default.
- W1241911937 hasRelatedWork W3017187763 @default.
- W1241911937 hasRelatedWork W4235530921 @default.
- W1241911937 hasRelatedWork W4294810627 @default.
- W1241911937 hasRelatedWork W2138716118 @default.
- W1241911937 hasVolume "44" @default.
- W1241911937 isParatext "false" @default.
- W1241911937 isRetracted "false" @default.
- W1241911937 magId "1241911937" @default.
- W1241911937 workType "article" @default.