Matches in SemOpenAlex for { <https://semopenalex.org/work/W2103457658> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2103457658 abstract "The development of self-adaptive systems requires the definition of the parts of the system that will be adapted, when such adaptations will take place, and how these adaptations will interact with each other. However, foreseeing all possible adaptations and their interactions is a difficult task, opening the possibility to inconsistencies or erroneous system behavior. To avoid inconsistencies, self adaptive systems require a sound programming model that allows to reason about the correctness of the system in spite of its dynamic reconfigurations. This paper presents context Petri nets, a Petri net-based programming model for selfadaptive systems. This model provides a formal definition of adaptations and their interaction, as well as a consistent process for their inclusion in the system. Besides serving as an underlying run-time model to ensure that adaptations and their constraints remain consistent, context Petri nets allow to analyze properties such as reachability, and liveness in the configuration of self-adaptive systems. Context Petri nets thus are a convenient tool to model and analyze the dynamics of self-adaptive systems, both formally and computationally." @default.
- W2103457658 created "2016-06-24" @default.
- W2103457658 creator A5009083567 @default.
- W2103457658 creator A5027708259 @default.
- W2103457658 creator A5045674006 @default.
- W2103457658 creator A5060300045 @default.
- W2103457658 creator A5074052329 @default.
- W2103457658 date "2013-07-01" @default.
- W2103457658 modified "2023-09-23" @default.
- W2103457658 title "Modeling and Analyzing Self-Adaptive Systems with Context Petri Nets" @default.
- W2103457658 cites W1768076797 @default.
- W2103457658 cites W1964137226 @default.
- W2103457658 cites W2000312977 @default.
- W2103457658 cites W2019502312 @default.
- W2103457658 cites W2056499088 @default.
- W2103457658 cites W2071616717 @default.
- W2103457658 cites W2090401819 @default.
- W2103457658 cites W2145919358 @default.
- W2103457658 cites W2166515197 @default.
- W2103457658 cites W4230920038 @default.
- W2103457658 cites W4251986095 @default.
- W2103457658 doi "https://doi.org/10.1109/tase.2013.33" @default.
- W2103457658 hasPublicationYear "2013" @default.
- W2103457658 type Work @default.
- W2103457658 sameAs 2103457658 @default.
- W2103457658 citedByCount "17" @default.
- W2103457658 countsByYear W21034576582014 @default.
- W2103457658 countsByYear W21034576582015 @default.
- W2103457658 countsByYear W21034576582016 @default.
- W2103457658 countsByYear W21034576582017 @default.
- W2103457658 countsByYear W21034576582018 @default.
- W2103457658 countsByYear W21034576582019 @default.
- W2103457658 countsByYear W21034576582022 @default.
- W2103457658 crossrefType "proceedings-article" @default.
- W2103457658 hasAuthorship W2103457658A5009083567 @default.
- W2103457658 hasAuthorship W2103457658A5027708259 @default.
- W2103457658 hasAuthorship W2103457658A5045674006 @default.
- W2103457658 hasAuthorship W2103457658A5060300045 @default.
- W2103457658 hasAuthorship W2103457658A5074052329 @default.
- W2103457658 hasConcept C120314980 @default.
- W2103457658 hasConcept C136155141 @default.
- W2103457658 hasConcept C136643341 @default.
- W2103457658 hasConcept C151730666 @default.
- W2103457658 hasConcept C154945302 @default.
- W2103457658 hasConcept C15569618 @default.
- W2103457658 hasConcept C197551870 @default.
- W2103457658 hasConcept C199360897 @default.
- W2103457658 hasConcept C2779343474 @default.
- W2103457658 hasConcept C38677869 @default.
- W2103457658 hasConcept C41008148 @default.
- W2103457658 hasConcept C52970973 @default.
- W2103457658 hasConcept C55439883 @default.
- W2103457658 hasConcept C80444323 @default.
- W2103457658 hasConcept C86803240 @default.
- W2103457658 hasConcept C98045186 @default.
- W2103457658 hasConceptScore W2103457658C120314980 @default.
- W2103457658 hasConceptScore W2103457658C136155141 @default.
- W2103457658 hasConceptScore W2103457658C136643341 @default.
- W2103457658 hasConceptScore W2103457658C151730666 @default.
- W2103457658 hasConceptScore W2103457658C154945302 @default.
- W2103457658 hasConceptScore W2103457658C15569618 @default.
- W2103457658 hasConceptScore W2103457658C197551870 @default.
- W2103457658 hasConceptScore W2103457658C199360897 @default.
- W2103457658 hasConceptScore W2103457658C2779343474 @default.
- W2103457658 hasConceptScore W2103457658C38677869 @default.
- W2103457658 hasConceptScore W2103457658C41008148 @default.
- W2103457658 hasConceptScore W2103457658C52970973 @default.
- W2103457658 hasConceptScore W2103457658C55439883 @default.
- W2103457658 hasConceptScore W2103457658C80444323 @default.
- W2103457658 hasConceptScore W2103457658C86803240 @default.
- W2103457658 hasConceptScore W2103457658C98045186 @default.
- W2103457658 hasLocation W21034576581 @default.
- W2103457658 hasOpenAccess W2103457658 @default.
- W2103457658 hasPrimaryLocation W21034576581 @default.
- W2103457658 hasRelatedWork W1491528211 @default.
- W2103457658 hasRelatedWork W1500907979 @default.
- W2103457658 hasRelatedWork W1512376713 @default.
- W2103457658 hasRelatedWork W1524458389 @default.
- W2103457658 hasRelatedWork W1998189845 @default.
- W2103457658 hasRelatedWork W2103457658 @default.
- W2103457658 hasRelatedWork W2296663577 @default.
- W2103457658 hasRelatedWork W2358326850 @default.
- W2103457658 hasRelatedWork W2712555312 @default.
- W2103457658 hasRelatedWork W2990690886 @default.
- W2103457658 isParatext "false" @default.
- W2103457658 isRetracted "false" @default.
- W2103457658 magId "2103457658" @default.
- W2103457658 workType "article" @default.