Matches in SemOpenAlex for { <https://semopenalex.org/work/W2572121397> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2572121397 abstract "Distributed software systems change dynamically due to the evolution of their environment and/or requirements, their internal designing policies, and/or their specification bugs which must be fixed. Hence, checking system changes must be run continuously. Such systems are usually composed of distributed software entities (called peers) interacting with each other through message exchanges, and this is to fulfil a common goal. The goal is often specified by a conversation protocol (CP), i.e. sequences of sent messages. If there exists a set of peers implementing CP, then CP is said to be realisable. In this paper, we propose a stepwise approach for checking whether an evolution, i.e. adding and/or removing messages and/or peers, can be applied to a CP that was realisable before updating it.We define a set of correct evolution patterns and we suggest an algebra of CP evolution. Our approach ensures that CP evolution preserves the realisabilitycondition." @default.
- W2572121397 created "2017-01-26" @default.
- W2572121397 creator A5017655967 @default.
- W2572121397 creator A5051322835 @default.
- W2572121397 creator A5084305282 @default.
- W2572121397 date "2016-10-06" @default.
- W2572121397 modified "2023-10-01" @default.
- W2572121397 title "Towards correct Evolution of Conversation Protocols" @default.
- W2572121397 cites W1502856998 @default.
- W2572121397 cites W1527815693 @default.
- W2572121397 cites W1952030784 @default.
- W2572121397 cites W1970178948 @default.
- W2572121397 cites W1979914341 @default.
- W2572121397 cites W2002089154 @default.
- W2572121397 cites W2025970201 @default.
- W2572121397 cites W2096699267 @default.
- W2572121397 cites W2114146397 @default.
- W2572121397 cites W2134106518 @default.
- W2572121397 cites W2139204893 @default.
- W2572121397 cites W2340110730 @default.
- W2572121397 cites W2544611060 @default.
- W2572121397 cites W2963418352 @default.
- W2572121397 cites W765268916 @default.
- W2572121397 hasPublicationYear "2016" @default.
- W2572121397 type Work @default.
- W2572121397 sameAs 2572121397 @default.
- W2572121397 citedByCount "0" @default.
- W2572121397 crossrefType "proceedings-article" @default.
- W2572121397 hasAuthorship W2572121397A5017655967 @default.
- W2572121397 hasAuthorship W2572121397A5051322835 @default.
- W2572121397 hasAuthorship W2572121397A5084305282 @default.
- W2572121397 hasBestOaLocation W25721213971 @default.
- W2572121397 hasConcept C138885662 @default.
- W2572121397 hasConcept C2777200299 @default.
- W2572121397 hasConcept C41008148 @default.
- W2572121397 hasConcept C41895202 @default.
- W2572121397 hasConceptScore W2572121397C138885662 @default.
- W2572121397 hasConceptScore W2572121397C2777200299 @default.
- W2572121397 hasConceptScore W2572121397C41008148 @default.
- W2572121397 hasConceptScore W2572121397C41895202 @default.
- W2572121397 hasLocation W25721213971 @default.
- W2572121397 hasLocation W25721213972 @default.
- W2572121397 hasOpenAccess W2572121397 @default.
- W2572121397 hasPrimaryLocation W25721213971 @default.
- W2572121397 hasRelatedWork W1511346092 @default.
- W2572121397 hasRelatedWork W1968552888 @default.
- W2572121397 hasRelatedWork W2281307425 @default.
- W2572121397 hasRelatedWork W2374116601 @default.
- W2572121397 hasRelatedWork W2378167147 @default.
- W2572121397 hasRelatedWork W2496949096 @default.
- W2572121397 hasRelatedWork W2748952813 @default.
- W2572121397 hasRelatedWork W2899084033 @default.
- W2572121397 hasRelatedWork W3210777354 @default.
- W2572121397 hasRelatedWork W3093134843 @default.
- W2572121397 isParatext "false" @default.
- W2572121397 isRetracted "false" @default.
- W2572121397 magId "2572121397" @default.
- W2572121397 workType "article" @default.