Matches in SemOpenAlex for { <https://semopenalex.org/work/W3048759439> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W3048759439 abstract "UML Statechart can not only accurately and completely describe the behavior of a software system, but also show the functionality of the system. Therefore, UML Statechart is an important object for UML model checking. This paper studies the method of UML Statechart checking based on explicit model checking. The reason why it is necessary to establish a model checking method based on explicit model checking [2] is that UML Statechart is sequential. In order to facilitate checking, the complex UML Statechart is first transformed into a hierarchical automaton [1] to make its structure clear and easy to check. The method of checking studied in this paper is to use Kripke [3] structure when describing hierarchical automata [1], use temporal logic when describing the properties of the system and mark the state. To determine whether each state can match the corresponding property, those states that do not match would give the sequence of states that do not match, and then optimize on the basis." @default.
- W3048759439 created "2020-08-18" @default.
- W3048759439 creator A5006326110 @default.
- W3048759439 creator A5063898042 @default.
- W3048759439 creator A5078796295 @default.
- W3048759439 creator A5091018084 @default.
- W3048759439 date "2020-08-13" @default.
- W3048759439 modified "2023-09-23" @default.
- W3048759439 title "Method of UML Statechart Checking Based on Explicit Model Checking" @default.
- W3048759439 cites W1011738667 @default.
- W3048759439 cites W1940023874 @default.
- W3048759439 cites W2552640981 @default.
- W3048759439 cites W2560813085 @default.
- W3048759439 cites W2769741791 @default.
- W3048759439 cites W2791120682 @default.
- W3048759439 cites W2796601523 @default.
- W3048759439 doi "https://doi.org/10.1007/978-3-030-53980-1_8" @default.
- W3048759439 hasPublicationYear "2020" @default.
- W3048759439 type Work @default.
- W3048759439 sameAs 3048759439 @default.
- W3048759439 citedByCount "0" @default.
- W3048759439 crossrefType "book-chapter" @default.
- W3048759439 hasAuthorship W3048759439A5006326110 @default.
- W3048759439 hasAuthorship W3048759439A5063898042 @default.
- W3048759439 hasAuthorship W3048759439A5078796295 @default.
- W3048759439 hasAuthorship W3048759439A5091018084 @default.
- W3048759439 hasConcept C110251889 @default.
- W3048759439 hasConcept C112505250 @default.
- W3048759439 hasConcept C145644426 @default.
- W3048759439 hasConcept C146939238 @default.
- W3048759439 hasConcept C167822520 @default.
- W3048759439 hasConcept C199360897 @default.
- W3048759439 hasConcept C25016198 @default.
- W3048759439 hasConcept C2777904410 @default.
- W3048759439 hasConcept C30888246 @default.
- W3048759439 hasConcept C41008148 @default.
- W3048759439 hasConcept C41298492 @default.
- W3048759439 hasConcept C80444323 @default.
- W3048759439 hasConceptScore W3048759439C110251889 @default.
- W3048759439 hasConceptScore W3048759439C112505250 @default.
- W3048759439 hasConceptScore W3048759439C145644426 @default.
- W3048759439 hasConceptScore W3048759439C146939238 @default.
- W3048759439 hasConceptScore W3048759439C167822520 @default.
- W3048759439 hasConceptScore W3048759439C199360897 @default.
- W3048759439 hasConceptScore W3048759439C25016198 @default.
- W3048759439 hasConceptScore W3048759439C2777904410 @default.
- W3048759439 hasConceptScore W3048759439C30888246 @default.
- W3048759439 hasConceptScore W3048759439C41008148 @default.
- W3048759439 hasConceptScore W3048759439C41298492 @default.
- W3048759439 hasConceptScore W3048759439C80444323 @default.
- W3048759439 hasLocation W30487594391 @default.
- W3048759439 hasOpenAccess W3048759439 @default.
- W3048759439 hasPrimaryLocation W30487594391 @default.
- W3048759439 hasRelatedWork W14017695 @default.
- W3048759439 hasRelatedWork W14027142 @default.
- W3048759439 hasRelatedWork W1688939 @default.
- W3048759439 hasRelatedWork W2004701 @default.
- W3048759439 hasRelatedWork W3947704 @default.
- W3048759439 hasRelatedWork W4394968 @default.
- W3048759439 hasRelatedWork W4868912 @default.
- W3048759439 hasRelatedWork W6279871 @default.
- W3048759439 hasRelatedWork W8129221 @default.
- W3048759439 hasRelatedWork W8705220 @default.
- W3048759439 isParatext "false" @default.
- W3048759439 isRetracted "false" @default.
- W3048759439 magId "3048759439" @default.
- W3048759439 workType "book-chapter" @default.