Matches in SemOpenAlex for { <https://semopenalex.org/work/W3008824434> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W3008824434 abstract "Hierarchic correlation between adjacent levels of a goal model hierarchy only ensures the synchronization between different levels of the enterprise hierarchy. It does not ensure the compliance of goal models to business compliance rules. Model checkers or verifiers can do this type of analysis. Model checking is a method for formally verifying finite state concurrent systems represented by extended finite state models. Industry standard model checking tools—like SPIN [1], NuSMV [2]—accept these extended finite state models (E-FSM) as input. The input models are defined by a set of state transitions that characterize the possible execution traces that the system can generate. The model checking tools are also fed with specifications about the system, expressed using temporal logic." @default.
- W3008824434 created "2020-03-06" @default.
- W3008824434 creator A5001172312 @default.
- W3008824434 creator A5072598400 @default.
- W3008824434 date "2020-01-01" @default.
- W3008824434 modified "2023-09-26" @default.
- W3008824434 title "Model Checking with i$$^*$$" @default.
- W3008824434 cites W1574030932 @default.
- W3008824434 cites W2094106269 @default.
- W3008824434 cites W2115309705 @default.
- W3008824434 cites W2168029386 @default.
- W3008824434 cites W3100730764 @default.
- W3008824434 doi "https://doi.org/10.1007/978-981-15-2501-8_4" @default.
- W3008824434 hasPublicationYear "2020" @default.
- W3008824434 type Work @default.
- W3008824434 sameAs 3008824434 @default.
- W3008824434 citedByCount "0" @default.
- W3008824434 crossrefType "book-chapter" @default.
- W3008824434 hasAuthorship W3008824434A5001172312 @default.
- W3008824434 hasAuthorship W3008824434A5072598400 @default.
- W3008824434 hasConcept C110251889 @default.
- W3008824434 hasConcept C127162648 @default.
- W3008824434 hasConcept C162324750 @default.
- W3008824434 hasConcept C167822520 @default.
- W3008824434 hasConcept C177264268 @default.
- W3008824434 hasConcept C199360897 @default.
- W3008824434 hasConcept C25016198 @default.
- W3008824434 hasConcept C2778562939 @default.
- W3008824434 hasConcept C30888246 @default.
- W3008824434 hasConcept C31170391 @default.
- W3008824434 hasConcept C31258907 @default.
- W3008824434 hasConcept C34447519 @default.
- W3008824434 hasConcept C41008148 @default.
- W3008824434 hasConcept C4777664 @default.
- W3008824434 hasConcept C48103436 @default.
- W3008824434 hasConcept C80444323 @default.
- W3008824434 hasConceptScore W3008824434C110251889 @default.
- W3008824434 hasConceptScore W3008824434C127162648 @default.
- W3008824434 hasConceptScore W3008824434C162324750 @default.
- W3008824434 hasConceptScore W3008824434C167822520 @default.
- W3008824434 hasConceptScore W3008824434C177264268 @default.
- W3008824434 hasConceptScore W3008824434C199360897 @default.
- W3008824434 hasConceptScore W3008824434C25016198 @default.
- W3008824434 hasConceptScore W3008824434C2778562939 @default.
- W3008824434 hasConceptScore W3008824434C30888246 @default.
- W3008824434 hasConceptScore W3008824434C31170391 @default.
- W3008824434 hasConceptScore W3008824434C31258907 @default.
- W3008824434 hasConceptScore W3008824434C34447519 @default.
- W3008824434 hasConceptScore W3008824434C41008148 @default.
- W3008824434 hasConceptScore W3008824434C4777664 @default.
- W3008824434 hasConceptScore W3008824434C48103436 @default.
- W3008824434 hasConceptScore W3008824434C80444323 @default.
- W3008824434 hasLocation W30088244341 @default.
- W3008824434 hasOpenAccess W3008824434 @default.
- W3008824434 hasPrimaryLocation W30088244341 @default.
- W3008824434 hasRelatedWork W14017695 @default.
- W3008824434 hasRelatedWork W14116631 @default.
- W3008824434 hasRelatedWork W14282048 @default.
- W3008824434 hasRelatedWork W14491291 @default.
- W3008824434 hasRelatedWork W2147909 @default.
- W3008824434 hasRelatedWork W2649306 @default.
- W3008824434 hasRelatedWork W4868912 @default.
- W3008824434 hasRelatedWork W4997652 @default.
- W3008824434 hasRelatedWork W6279871 @default.
- W3008824434 hasRelatedWork W8705220 @default.
- W3008824434 isParatext "false" @default.
- W3008824434 isRetracted "false" @default.
- W3008824434 magId "3008824434" @default.
- W3008824434 workType "book-chapter" @default.