Matches in SemOpenAlex for { <https://semopenalex.org/work/W612341061> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W612341061 abstract "Building distributed systems is a complex task, especially when new design patterns appear. Command Query Responsibility Segregation is one of these new patterns, which in its core aims to separate the read and write side in the system. As it happens to be this pattern meshes very well with some other common patterns like event sourcing, eventual consistency and Domain Driven Design. This adds to the complexity of the system, which makes it more difficult to deem if it is correct or not. This thesis aims to find critical properties that when they are applied to a system then it can be said to be correct. The presence of these properties is showed with a verification model written in Promela and then verified in the tool SPIN. The system however proved to be to complex to prove exhaustively, i.e. mathematical correctness, and an approximation method had to be employed. The results shows that the tool indeed was able to show the presence of these critical properties in the model. By using this model as a specification for how messages are passed in the CQRS system makes the system correct. Also this leads to that the correctness properties are present in that system. This thesis has thus helped to reduce the gap between a written specification of a system and a real implementation." @default.
- W612341061 created "2016-06-24" @default.
- W612341061 creator A5006724823 @default.
- W612341061 date "2012-01-01" @default.
- W612341061 modified "2023-09-26" @default.
- W612341061 title "Correctness for CQRS Systems – Elicitation and validation." @default.
- W612341061 hasPublicationYear "2012" @default.
- W612341061 type Work @default.
- W612341061 sameAs 612341061 @default.
- W612341061 citedByCount "1" @default.
- W612341061 countsByYear W6123410612014 @default.
- W612341061 crossrefType "journal-article" @default.
- W612341061 hasAuthorship W612341061A5006724823 @default.
- W612341061 hasConcept C110251889 @default.
- W612341061 hasConcept C120314980 @default.
- W612341061 hasConcept C127413603 @default.
- W612341061 hasConcept C134306372 @default.
- W612341061 hasConcept C154945302 @default.
- W612341061 hasConcept C199360897 @default.
- W612341061 hasConcept C201995342 @default.
- W612341061 hasConcept C2776329536 @default.
- W612341061 hasConcept C2776436953 @default.
- W612341061 hasConcept C2780451532 @default.
- W612341061 hasConcept C33923547 @default.
- W612341061 hasConcept C36503486 @default.
- W612341061 hasConcept C41008148 @default.
- W612341061 hasConcept C55439883 @default.
- W612341061 hasConcept C80444323 @default.
- W612341061 hasConceptScore W612341061C110251889 @default.
- W612341061 hasConceptScore W612341061C120314980 @default.
- W612341061 hasConceptScore W612341061C127413603 @default.
- W612341061 hasConceptScore W612341061C134306372 @default.
- W612341061 hasConceptScore W612341061C154945302 @default.
- W612341061 hasConceptScore W612341061C199360897 @default.
- W612341061 hasConceptScore W612341061C201995342 @default.
- W612341061 hasConceptScore W612341061C2776329536 @default.
- W612341061 hasConceptScore W612341061C2776436953 @default.
- W612341061 hasConceptScore W612341061C2780451532 @default.
- W612341061 hasConceptScore W612341061C33923547 @default.
- W612341061 hasConceptScore W612341061C36503486 @default.
- W612341061 hasConceptScore W612341061C41008148 @default.
- W612341061 hasConceptScore W612341061C55439883 @default.
- W612341061 hasConceptScore W612341061C80444323 @default.
- W612341061 hasLocation W6123410611 @default.
- W612341061 hasOpenAccess W612341061 @default.
- W612341061 hasPrimaryLocation W6123410611 @default.
- W612341061 hasRelatedWork W1603528810 @default.
- W612341061 hasRelatedWork W18161554 @default.
- W612341061 hasRelatedWork W187541770 @default.
- W612341061 hasRelatedWork W1994051723 @default.
- W612341061 hasRelatedWork W2023483566 @default.
- W612341061 hasRelatedWork W2171173927 @default.
- W612341061 hasRelatedWork W2188057831 @default.
- W612341061 hasRelatedWork W2189898076 @default.
- W612341061 hasRelatedWork W2330593560 @default.
- W612341061 hasRelatedWork W2474443678 @default.
- W612341061 hasRelatedWork W2519229610 @default.
- W612341061 hasRelatedWork W2528713792 @default.
- W612341061 hasRelatedWork W3152821912 @default.
- W612341061 hasRelatedWork W3153956962 @default.
- W612341061 hasRelatedWork W3213340880 @default.
- W612341061 hasRelatedWork W65125029 @default.
- W612341061 hasRelatedWork W82080700 @default.
- W612341061 hasRelatedWork W1714161727 @default.
- W612341061 hasRelatedWork W2105176818 @default.
- W612341061 hasRelatedWork W2186556144 @default.
- W612341061 isParatext "false" @default.
- W612341061 isRetracted "false" @default.
- W612341061 magId "612341061" @default.
- W612341061 workType "article" @default.