Matches in SemOpenAlex for { <https://semopenalex.org/work/W2123190617> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2123190617 abstract "The recent development of model update aims to enhance model checking functions and provides computer aided modifications in system development. On the other hand, constraints have been playing an essential role in describing rational system behaviours. In previous model update approaches, constraints are usually not considered in the update process. In this paper, we present an ACTL - a widely used fragment of Computation Tree Logic (CTL), local model update approach where constraints have been explicitly taken into account. This approach handles constraints effectively by integrating constraint automata into the underlying model update. We demonstrate the effectiveness of our approach through the case study of the correction of the well known mutual exclusion program." @default.
- W2123190617 created "2016-06-24" @default.
- W2123190617 creator A5023807441 @default.
- W2123190617 creator A5024904047 @default.
- W2123190617 creator A5066608665 @default.
- W2123190617 creator A5086664284 @default.
- W2123190617 date "2010-01-01" @default.
- W2123190617 modified "2023-09-26" @default.
- W2123190617 title "ACTL Local Model Update with Constraints" @default.
- W2123190617 cites W1973652588 @default.
- W2123190617 cites W198918365 @default.
- W2123190617 cites W2035668577 @default.
- W2123190617 cites W2099853744 @default.
- W2123190617 cites W2101577148 @default.
- W2123190617 cites W2127574686 @default.
- W2123190617 cites W2148840154 @default.
- W2123190617 cites W2160203612 @default.
- W2123190617 cites W3104018748 @default.
- W2123190617 cites W4251228600 @default.
- W2123190617 doi "https://doi.org/10.1007/978-3-642-15384-6_15" @default.
- W2123190617 hasPublicationYear "2010" @default.
- W2123190617 type Work @default.
- W2123190617 sameAs 2123190617 @default.
- W2123190617 citedByCount "3" @default.
- W2123190617 countsByYear W21231906172012 @default.
- W2123190617 countsByYear W21231906172014 @default.
- W2123190617 crossrefType "book-chapter" @default.
- W2123190617 hasAuthorship W2123190617A5023807441 @default.
- W2123190617 hasAuthorship W2123190617A5024904047 @default.
- W2123190617 hasAuthorship W2123190617A5066608665 @default.
- W2123190617 hasAuthorship W2123190617A5086664284 @default.
- W2123190617 hasConcept C110251889 @default.
- W2123190617 hasConcept C112505250 @default.
- W2123190617 hasConcept C113174947 @default.
- W2123190617 hasConcept C127413603 @default.
- W2123190617 hasConcept C134306372 @default.
- W2123190617 hasConcept C154945302 @default.
- W2123190617 hasConcept C198008173 @default.
- W2123190617 hasConcept C199360897 @default.
- W2123190617 hasConcept C25016198 @default.
- W2123190617 hasConcept C2776036281 @default.
- W2123190617 hasConcept C2778583254 @default.
- W2123190617 hasConcept C33923547 @default.
- W2123190617 hasConcept C41008148 @default.
- W2123190617 hasConcept C78519656 @default.
- W2123190617 hasConcept C80444323 @default.
- W2123190617 hasConcept C98045186 @default.
- W2123190617 hasConceptScore W2123190617C110251889 @default.
- W2123190617 hasConceptScore W2123190617C112505250 @default.
- W2123190617 hasConceptScore W2123190617C113174947 @default.
- W2123190617 hasConceptScore W2123190617C127413603 @default.
- W2123190617 hasConceptScore W2123190617C134306372 @default.
- W2123190617 hasConceptScore W2123190617C154945302 @default.
- W2123190617 hasConceptScore W2123190617C198008173 @default.
- W2123190617 hasConceptScore W2123190617C199360897 @default.
- W2123190617 hasConceptScore W2123190617C25016198 @default.
- W2123190617 hasConceptScore W2123190617C2776036281 @default.
- W2123190617 hasConceptScore W2123190617C2778583254 @default.
- W2123190617 hasConceptScore W2123190617C33923547 @default.
- W2123190617 hasConceptScore W2123190617C41008148 @default.
- W2123190617 hasConceptScore W2123190617C78519656 @default.
- W2123190617 hasConceptScore W2123190617C80444323 @default.
- W2123190617 hasConceptScore W2123190617C98045186 @default.
- W2123190617 hasLocation W21231906171 @default.
- W2123190617 hasOpenAccess W2123190617 @default.
- W2123190617 hasPrimaryLocation W21231906171 @default.
- W2123190617 hasRelatedWork W102496483 @default.
- W2123190617 hasRelatedWork W138443365 @default.
- W2123190617 hasRelatedWork W1617322827 @default.
- W2123190617 hasRelatedWork W1990350596 @default.
- W2123190617 hasRelatedWork W2115802893 @default.
- W2123190617 hasRelatedWork W2185545937 @default.
- W2123190617 hasRelatedWork W2213886569 @default.
- W2123190617 hasRelatedWork W2274062252 @default.
- W2123190617 hasRelatedWork W2286265505 @default.
- W2123190617 hasRelatedWork W2481947210 @default.
- W2123190617 hasRelatedWork W2804951778 @default.
- W2123190617 hasRelatedWork W2949199979 @default.
- W2123190617 hasRelatedWork W2949412575 @default.
- W2123190617 hasRelatedWork W2950653231 @default.
- W2123190617 hasRelatedWork W3005951833 @default.
- W2123190617 hasRelatedWork W3049479974 @default.
- W2123190617 hasRelatedWork W3104018748 @default.
- W2123190617 hasRelatedWork W3131940921 @default.
- W2123190617 hasRelatedWork W925418074 @default.
- W2123190617 hasRelatedWork W2303470490 @default.
- W2123190617 isParatext "false" @default.
- W2123190617 isRetracted "false" @default.
- W2123190617 magId "2123190617" @default.
- W2123190617 workType "book-chapter" @default.