Matches in SemOpenAlex for { <https://semopenalex.org/work/W192305894> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W192305894 endingPage "18" @default.
- W192305894 startingPage "1" @default.
- W192305894 abstract "1. Software systems evolve over time. To facilitate this evolution, the coordination language Reo offers operations to dynamically reconfigure the topology of component connectors. This paper is the first in a series which presents techniques for reasoning about reconfiguration in Reo. This paper presents algebraic laws relating connector construction and reconfiguration. The following paper in the series presents a logic for reasoning about connector behaviour in the presence of dynamic reconfiguration, along with its model checking algorithm. 2. Software systems evolve over time. To facilitate this, the coordination language Reo offers operations to dynamically reconfigure the topology of component connectors. We present a semantics of Reo in the presence of reconfiguration, and a logic, and its model checking algorithm, for reasoning about connector behaviour in this setting." @default.
- W192305894 created "2016-06-24" @default.
- W192305894 creator A5053931739 @default.
- W192305894 date "2005-01-01" @default.
- W192305894 modified "2023-09-28" @default.
- W192305894 title "Reasoning about connector reconfiguration. Part I." @default.
- W192305894 hasPublicationYear "2005" @default.
- W192305894 type Work @default.
- W192305894 sameAs 192305894 @default.
- W192305894 citedByCount "0" @default.
- W192305894 crossrefType "journal-article" @default.
- W192305894 hasAuthorship W192305894A5053931739 @default.
- W192305894 hasConcept C110251889 @default.
- W192305894 hasConcept C110925319 @default.
- W192305894 hasConcept C119599485 @default.
- W192305894 hasConcept C119701452 @default.
- W192305894 hasConcept C120314980 @default.
- W192305894 hasConcept C121332964 @default.
- W192305894 hasConcept C127413603 @default.
- W192305894 hasConcept C143724316 @default.
- W192305894 hasConcept C149091818 @default.
- W192305894 hasConcept C149635348 @default.
- W192305894 hasConcept C151730666 @default.
- W192305894 hasConcept C168167062 @default.
- W192305894 hasConcept C174683762 @default.
- W192305894 hasConcept C184337299 @default.
- W192305894 hasConcept C184720557 @default.
- W192305894 hasConcept C199360897 @default.
- W192305894 hasConcept C2777904410 @default.
- W192305894 hasConcept C41008148 @default.
- W192305894 hasConcept C76155785 @default.
- W192305894 hasConcept C80444323 @default.
- W192305894 hasConcept C86803240 @default.
- W192305894 hasConcept C97355855 @default.
- W192305894 hasConceptScore W192305894C110251889 @default.
- W192305894 hasConceptScore W192305894C110925319 @default.
- W192305894 hasConceptScore W192305894C119599485 @default.
- W192305894 hasConceptScore W192305894C119701452 @default.
- W192305894 hasConceptScore W192305894C120314980 @default.
- W192305894 hasConceptScore W192305894C121332964 @default.
- W192305894 hasConceptScore W192305894C127413603 @default.
- W192305894 hasConceptScore W192305894C143724316 @default.
- W192305894 hasConceptScore W192305894C149091818 @default.
- W192305894 hasConceptScore W192305894C149635348 @default.
- W192305894 hasConceptScore W192305894C151730666 @default.
- W192305894 hasConceptScore W192305894C168167062 @default.
- W192305894 hasConceptScore W192305894C174683762 @default.
- W192305894 hasConceptScore W192305894C184337299 @default.
- W192305894 hasConceptScore W192305894C184720557 @default.
- W192305894 hasConceptScore W192305894C199360897 @default.
- W192305894 hasConceptScore W192305894C2777904410 @default.
- W192305894 hasConceptScore W192305894C41008148 @default.
- W192305894 hasConceptScore W192305894C76155785 @default.
- W192305894 hasConceptScore W192305894C80444323 @default.
- W192305894 hasConceptScore W192305894C86803240 @default.
- W192305894 hasConceptScore W192305894C97355855 @default.
- W192305894 hasLocation W1923058941 @default.
- W192305894 hasOpenAccess W192305894 @default.
- W192305894 hasPrimaryLocation W1923058941 @default.
- W192305894 hasRelatedWork W1422631934 @default.
- W192305894 hasRelatedWork W1515997197 @default.
- W192305894 hasRelatedWork W1661857035 @default.
- W192305894 hasRelatedWork W1695315615 @default.
- W192305894 hasRelatedWork W1798043995 @default.
- W192305894 hasRelatedWork W1986249107 @default.
- W192305894 hasRelatedWork W2018157902 @default.
- W192305894 hasRelatedWork W2020202593 @default.
- W192305894 hasRelatedWork W2048277227 @default.
- W192305894 hasRelatedWork W2078353235 @default.
- W192305894 hasRelatedWork W2101616943 @default.
- W192305894 hasRelatedWork W2102909391 @default.
- W192305894 hasRelatedWork W2121940446 @default.
- W192305894 hasRelatedWork W2132418894 @default.
- W192305894 hasRelatedWork W2136659576 @default.
- W192305894 hasRelatedWork W2146412882 @default.
- W192305894 hasRelatedWork W2215520230 @default.
- W192305894 hasRelatedWork W2253786029 @default.
- W192305894 hasRelatedWork W2587792948 @default.
- W192305894 hasRelatedWork W2114115999 @default.
- W192305894 isParatext "false" @default.
- W192305894 isRetracted "false" @default.
- W192305894 magId "192305894" @default.
- W192305894 workType "article" @default.