Matches in SemOpenAlex for { <https://semopenalex.org/work/W70752495> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W70752495 endingPage "186" @default.
- W70752495 startingPage "171" @default.
- W70752495 abstract "Dynamic reconfigurations increase the availability and the reliability of component-based systems by allowing their architecture to evolve at runtime. Recently, a linear temporal pattern logic, called FTPL, has been defined to express desired—architectural, event and temporal— properties over dynamic reconfigurations of component systems. This paper is dedicated to the preservation of the FTPL properties when refining components and introducing new reconfigurations. To this end, we use architectural reconfiguration models giving the semantics of component-based systems with reconfigurations, on which we define a new refinement relation. This relation combines: (i) a structural refinement which respects the component encapsulation within the architectures at two levels of refinement, and (ii) a behavioural refinement which links dynamic reconfigurations of a refined component-based system with their abstract counterparts that were possible before the refinement. The main advantage of the new refinement is that this relation preserves the FTPL properties. The main contributions are illustrated on the example of an HTTP server architecture." @default.
- W70752495 created "2016-06-24" @default.
- W70752495 creator A5019734018 @default.
- W70752495 creator A5041168836 @default.
- W70752495 creator A5070920431 @default.
- W70752495 date "2012-01-01" @default.
- W70752495 modified "2023-09-25" @default.
- W70752495 title "When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations" @default.
- W70752495 cites W1510080132 @default.
- W70752495 cites W1523814254 @default.
- W70752495 cites W1568594638 @default.
- W70752495 cites W1607621735 @default.
- W70752495 cites W1871610027 @default.
- W70752495 cites W1921557964 @default.
- W70752495 cites W1954694404 @default.
- W70752495 cites W1964482512 @default.
- W70752495 cites W1966993374 @default.
- W70752495 cites W1971486022 @default.
- W70752495 cites W2011792232 @default.
- W70752495 cites W2015688007 @default.
- W70752495 cites W2100653580 @default.
- W70752495 cites W2152375667 @default.
- W70752495 cites W3003801367 @default.
- W70752495 cites W4368229065 @default.
- W70752495 doi "https://doi.org/10.1007/978-3-642-32759-9_16" @default.
- W70752495 hasPublicationYear "2012" @default.
- W70752495 type Work @default.
- W70752495 sameAs 70752495 @default.
- W70752495 citedByCount "6" @default.
- W70752495 countsByYear W707524952014 @default.
- W70752495 countsByYear W707524952015 @default.
- W70752495 countsByYear W707524952017 @default.
- W70752495 crossrefType "book-chapter" @default.
- W70752495 hasAuthorship W70752495A5019734018 @default.
- W70752495 hasAuthorship W70752495A5041168836 @default.
- W70752495 hasAuthorship W70752495A5070920431 @default.
- W70752495 hasConcept C41008148 @default.
- W70752495 hasConcept C80444323 @default.
- W70752495 hasConceptScore W70752495C41008148 @default.
- W70752495 hasConceptScore W70752495C80444323 @default.
- W70752495 hasLocation W707524951 @default.
- W70752495 hasOpenAccess W70752495 @default.
- W70752495 hasPrimaryLocation W707524951 @default.
- W70752495 hasRelatedWork W2093578348 @default.
- W70752495 hasRelatedWork W2096946506 @default.
- W70752495 hasRelatedWork W2358668433 @default.
- W70752495 hasRelatedWork W2376932109 @default.
- W70752495 hasRelatedWork W2382290278 @default.
- W70752495 hasRelatedWork W2390279801 @default.
- W70752495 hasRelatedWork W2392953011 @default.
- W70752495 hasRelatedWork W2748952813 @default.
- W70752495 hasRelatedWork W2766271392 @default.
- W70752495 hasRelatedWork W2899084033 @default.
- W70752495 isParatext "false" @default.
- W70752495 isRetracted "false" @default.
- W70752495 magId "70752495" @default.
- W70752495 workType "book-chapter" @default.