Matches in SemOpenAlex for { <https://semopenalex.org/work/W2740370726> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2740370726 abstract "Scenarios of execution are commonly used to specify partial behaviour and interactions between different objects and components in a system. To avoid overall inconsistency in specifications, various automated methods have emerged in the literature to compose (behavioural) models. In recent work, we have shown how the theorem prover Isabelle can be combined with the constraint solver Z3 to efficiently detect inconsistencies in two or more behavioural models and, in their absence, generate the composition. Here, we extend our approach further and show how to generate the correct composition (as a set of valid traces) of dephased models. This work has been inspired by a problem from a medical domain where different care pathways (for chronic conditions) may be applied to the same patient with different starting points." @default.
- W2740370726 created "2017-08-08" @default.
- W2740370726 creator A5004629504 @default.
- W2740370726 creator A5013198849 @default.
- W2740370726 date "2017-01-01" @default.
- W2740370726 modified "2023-09-24" @default.
- W2740370726 title "Correct Composition of Dephased Behavioural Models" @default.
- W2740370726 cites W1480909796 @default.
- W2740370726 cites W1503805806 @default.
- W2740370726 cites W1541737704 @default.
- W2740370726 cites W1579898093 @default.
- W2740370726 cites W1967389447 @default.
- W2740370726 cites W1974181258 @default.
- W2740370726 cites W1978905398 @default.
- W2740370726 cites W2018115026 @default.
- W2740370726 cites W2027184677 @default.
- W2740370726 cites W2126986587 @default.
- W2740370726 cites W2134908243 @default.
- W2740370726 cites W2257846350 @default.
- W2740370726 cites W2292267136 @default.
- W2740370726 cites W2422137717 @default.
- W2740370726 cites W2463347462 @default.
- W2740370726 cites W2481726056 @default.
- W2740370726 cites W2913280239 @default.
- W2740370726 cites W4233755209 @default.
- W2740370726 cites W602497127 @default.
- W2740370726 cites W2528673780 @default.
- W2740370726 doi "https://doi.org/10.1007/978-3-319-68034-7_14" @default.
- W2740370726 hasPublicationYear "2017" @default.
- W2740370726 type Work @default.
- W2740370726 sameAs 2740370726 @default.
- W2740370726 citedByCount "4" @default.
- W2740370726 countsByYear W27403707262018 @default.
- W2740370726 countsByYear W27403707262019 @default.
- W2740370726 countsByYear W27403707262020 @default.
- W2740370726 crossrefType "book-chapter" @default.
- W2740370726 hasAuthorship W2740370726A5004629504 @default.
- W2740370726 hasAuthorship W2740370726A5013198849 @default.
- W2740370726 hasBestOaLocation W27403707262 @default.
- W2740370726 hasConcept C11413529 @default.
- W2740370726 hasConcept C134306372 @default.
- W2740370726 hasConcept C138885662 @default.
- W2740370726 hasConcept C177264268 @default.
- W2740370726 hasConcept C199360897 @default.
- W2740370726 hasConcept C2524010 @default.
- W2740370726 hasConcept C2776036281 @default.
- W2740370726 hasConcept C33923547 @default.
- W2740370726 hasConcept C36503486 @default.
- W2740370726 hasConcept C40231798 @default.
- W2740370726 hasConcept C41008148 @default.
- W2740370726 hasConcept C41895202 @default.
- W2740370726 hasConcept C80444323 @default.
- W2740370726 hasConceptScore W2740370726C11413529 @default.
- W2740370726 hasConceptScore W2740370726C134306372 @default.
- W2740370726 hasConceptScore W2740370726C138885662 @default.
- W2740370726 hasConceptScore W2740370726C177264268 @default.
- W2740370726 hasConceptScore W2740370726C199360897 @default.
- W2740370726 hasConceptScore W2740370726C2524010 @default.
- W2740370726 hasConceptScore W2740370726C2776036281 @default.
- W2740370726 hasConceptScore W2740370726C33923547 @default.
- W2740370726 hasConceptScore W2740370726C36503486 @default.
- W2740370726 hasConceptScore W2740370726C40231798 @default.
- W2740370726 hasConceptScore W2740370726C41008148 @default.
- W2740370726 hasConceptScore W2740370726C41895202 @default.
- W2740370726 hasConceptScore W2740370726C80444323 @default.
- W2740370726 hasLocation W27403707261 @default.
- W2740370726 hasLocation W27403707262 @default.
- W2740370726 hasLocation W27403707263 @default.
- W2740370726 hasOpenAccess W2740370726 @default.
- W2740370726 hasPrimaryLocation W27403707261 @default.
- W2740370726 hasRelatedWork W121890175 @default.
- W2740370726 hasRelatedWork W1842674863 @default.
- W2740370726 hasRelatedWork W2068726498 @default.
- W2740370726 hasRelatedWork W2122539144 @default.
- W2740370726 hasRelatedWork W2337199695 @default.
- W2740370726 hasRelatedWork W2338081809 @default.
- W2740370726 hasRelatedWork W2396575804 @default.
- W2740370726 hasRelatedWork W2398946505 @default.
- W2740370726 hasRelatedWork W2476749328 @default.
- W2740370726 hasRelatedWork W2550970678 @default.
- W2740370726 hasRelatedWork W2566945309 @default.
- W2740370726 hasRelatedWork W2715189260 @default.
- W2740370726 hasRelatedWork W2753231957 @default.
- W2740370726 hasRelatedWork W2766736686 @default.
- W2740370726 hasRelatedWork W2792060463 @default.
- W2740370726 hasRelatedWork W2903974159 @default.
- W2740370726 hasRelatedWork W2918321810 @default.
- W2740370726 hasRelatedWork W2974913151 @default.
- W2740370726 hasRelatedWork W3202599568 @default.
- W2740370726 hasRelatedWork W49401767 @default.
- W2740370726 isParatext "false" @default.
- W2740370726 isRetracted "false" @default.
- W2740370726 magId "2740370726" @default.
- W2740370726 workType "book-chapter" @default.