Matches in SemOpenAlex for { <https://semopenalex.org/work/W2359521773> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2359521773 abstract "UML activity diagram is regarded as the most suitable language to describing the software process. It is worth to researching the approach of model checking UML activity diagram. An approach of model checking UML activity diagram was provided. The formal semantics of UML activity diagram was given. LTS (Labeled Transition System) was deduced by computing the RTC-STEP. And then the LTS could be mapped to a Buchi automaton. The system properties could be described by LTL. LTL formula could be translated to a Buchi automaton. UML activity diagram could be checked by automaton theory-based model checking method." @default.
- W2359521773 created "2016-06-24" @default.
- W2359521773 creator A5019628417 @default.
- W2359521773 date "2007-01-01" @default.
- W2359521773 modified "2023-09-23" @default.
- W2359521773 title "Automaton Theory-based Model Checking Method for UML Activity Diagram" @default.
- W2359521773 hasPublicationYear "2007" @default.
- W2359521773 type Work @default.
- W2359521773 sameAs 2359521773 @default.
- W2359521773 citedByCount "0" @default.
- W2359521773 crossrefType "journal-article" @default.
- W2359521773 hasAuthorship W2359521773A5019628417 @default.
- W2359521773 hasConcept C110251889 @default.
- W2359521773 hasConcept C11413529 @default.
- W2359521773 hasConcept C145644426 @default.
- W2359521773 hasConcept C146939238 @default.
- W2359521773 hasConcept C165753454 @default.
- W2359521773 hasConcept C16671368 @default.
- W2359521773 hasConcept C167822520 @default.
- W2359521773 hasConcept C194525867 @default.
- W2359521773 hasConcept C199360897 @default.
- W2359521773 hasConcept C202446494 @default.
- W2359521773 hasConcept C2777904410 @default.
- W2359521773 hasConcept C41008148 @default.
- W2359521773 hasConcept C41298492 @default.
- W2359521773 hasConcept C48419115 @default.
- W2359521773 hasConcept C64219723 @default.
- W2359521773 hasConcept C80444323 @default.
- W2359521773 hasConceptScore W2359521773C110251889 @default.
- W2359521773 hasConceptScore W2359521773C11413529 @default.
- W2359521773 hasConceptScore W2359521773C145644426 @default.
- W2359521773 hasConceptScore W2359521773C146939238 @default.
- W2359521773 hasConceptScore W2359521773C165753454 @default.
- W2359521773 hasConceptScore W2359521773C16671368 @default.
- W2359521773 hasConceptScore W2359521773C167822520 @default.
- W2359521773 hasConceptScore W2359521773C194525867 @default.
- W2359521773 hasConceptScore W2359521773C199360897 @default.
- W2359521773 hasConceptScore W2359521773C202446494 @default.
- W2359521773 hasConceptScore W2359521773C2777904410 @default.
- W2359521773 hasConceptScore W2359521773C41008148 @default.
- W2359521773 hasConceptScore W2359521773C41298492 @default.
- W2359521773 hasConceptScore W2359521773C48419115 @default.
- W2359521773 hasConceptScore W2359521773C64219723 @default.
- W2359521773 hasConceptScore W2359521773C80444323 @default.
- W2359521773 hasLocation W23595217731 @default.
- W2359521773 hasOpenAccess W2359521773 @default.
- W2359521773 hasPrimaryLocation W23595217731 @default.
- W2359521773 hasRelatedWork W128769907 @default.
- W2359521773 hasRelatedWork W1489225646 @default.
- W2359521773 hasRelatedWork W1992724059 @default.
- W2359521773 hasRelatedWork W2073063876 @default.
- W2359521773 hasRelatedWork W2152834073 @default.
- W2359521773 hasRelatedWork W2162605804 @default.
- W2359521773 hasRelatedWork W2185336280 @default.
- W2359521773 hasRelatedWork W2280489473 @default.
- W2359521773 hasRelatedWork W2323138246 @default.
- W2359521773 hasRelatedWork W2349357106 @default.
- W2359521773 hasRelatedWork W2362801796 @default.
- W2359521773 hasRelatedWork W2363085113 @default.
- W2359521773 hasRelatedWork W2378992994 @default.
- W2359521773 hasRelatedWork W2389786775 @default.
- W2359521773 hasRelatedWork W2473800695 @default.
- W2359521773 hasRelatedWork W2590647913 @default.
- W2359521773 hasRelatedWork W2934144799 @default.
- W2359521773 hasRelatedWork W3048759439 @default.
- W2359521773 hasRelatedWork W58594065 @default.
- W2359521773 hasRelatedWork W2831928441 @default.
- W2359521773 isParatext "false" @default.
- W2359521773 isRetracted "false" @default.
- W2359521773 magId "2359521773" @default.
- W2359521773 workType "article" @default.