Matches in SemOpenAlex for { <https://semopenalex.org/work/W2372585344> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2372585344 abstract "UML activity diagrams,the reputed best application to the description of the software process modeling,is a special state machine.However,it is not suitable for the analysis and verification of the model due to its deficiency of exact semantics.In the light of the insufficiency for the manifestation of the dynamic behavior and the temporal feature of traditional description logic,a program of formal specification of UML activity diagram based on temporal description logic was put forward in the paper with syntax and semantics of the temporal extension of the temporal description logic being discussed and the ALCQIUS formal specifications of the static semantics and the dynamic semantics of the UML activity diagram also being studied.Finally,the feasibility of the program was proved by the specific applied examples." @default.
- W2372585344 created "2016-06-24" @default.
- W2372585344 creator A5077989905 @default.
- W2372585344 date "2011-01-01" @default.
- W2372585344 modified "2023-09-25" @default.
- W2372585344 title "Formal specification of UML activity diagram based on temporal description logic" @default.
- W2372585344 hasPublicationYear "2011" @default.
- W2372585344 type Work @default.
- W2372585344 sameAs 2372585344 @default.
- W2372585344 citedByCount "0" @default.
- W2372585344 crossrefType "journal-article" @default.
- W2372585344 hasAuthorship W2372585344A5077989905 @default.
- W2372585344 hasConcept C145644426 @default.
- W2372585344 hasConcept C146499914 @default.
- W2372585344 hasConcept C146939238 @default.
- W2372585344 hasConcept C184337299 @default.
- W2372585344 hasConcept C199360897 @default.
- W2372585344 hasConcept C202446494 @default.
- W2372585344 hasConcept C25016198 @default.
- W2372585344 hasConcept C2777904410 @default.
- W2372585344 hasConcept C41008148 @default.
- W2372585344 hasConcept C41298492 @default.
- W2372585344 hasConcept C4777664 @default.
- W2372585344 hasConceptScore W2372585344C145644426 @default.
- W2372585344 hasConceptScore W2372585344C146499914 @default.
- W2372585344 hasConceptScore W2372585344C146939238 @default.
- W2372585344 hasConceptScore W2372585344C184337299 @default.
- W2372585344 hasConceptScore W2372585344C199360897 @default.
- W2372585344 hasConceptScore W2372585344C202446494 @default.
- W2372585344 hasConceptScore W2372585344C25016198 @default.
- W2372585344 hasConceptScore W2372585344C2777904410 @default.
- W2372585344 hasConceptScore W2372585344C41008148 @default.
- W2372585344 hasConceptScore W2372585344C41298492 @default.
- W2372585344 hasConceptScore W2372585344C4777664 @default.
- W2372585344 hasLocation W23725853441 @default.
- W2372585344 hasOpenAccess W2372585344 @default.
- W2372585344 hasPrimaryLocation W23725853441 @default.
- W2372585344 hasRelatedWork W128769907 @default.
- W2372585344 hasRelatedWork W1505759659 @default.
- W2372585344 hasRelatedWork W1602253799 @default.
- W2372585344 hasRelatedWork W1997462896 @default.
- W2372585344 hasRelatedWork W2112003558 @default.
- W2372585344 hasRelatedWork W2117062409 @default.
- W2372585344 hasRelatedWork W2126633122 @default.
- W2372585344 hasRelatedWork W2130221748 @default.
- W2372585344 hasRelatedWork W2170958024 @default.
- W2372585344 hasRelatedWork W2323138246 @default.
- W2372585344 hasRelatedWork W2337342719 @default.
- W2372585344 hasRelatedWork W2357023731 @default.
- W2372585344 hasRelatedWork W2362801796 @default.
- W2372585344 hasRelatedWork W2377350850 @default.
- W2372585344 hasRelatedWork W2378992994 @default.
- W2372585344 hasRelatedWork W2379799369 @default.
- W2372585344 hasRelatedWork W2756108008 @default.
- W2372585344 hasRelatedWork W2980660034 @default.
- W2372585344 hasRelatedWork W2998982162 @default.
- W2372585344 hasRelatedWork W2038297613 @default.
- W2372585344 isParatext "false" @default.
- W2372585344 isRetracted "false" @default.
- W2372585344 magId "2372585344" @default.
- W2372585344 workType "article" @default.