Matches in SemOpenAlex for { <https://semopenalex.org/work/W2092149727> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2092149727 abstract "This paper introduces the State-Based Object Petri Net (SBOPN), and based on aforementioned, we choose SBOPN to formalize the UML and gave the mechanism and corresponding algorithms that can be used to map statechart diagrams and collaboration diagram of UML specification into SBOPN model in the early phase of UML modeling. The SBOPN model gotten by these algorithms can be analyzed and validated to find out deadlock with powerful Petri tools, thus we can realize the verification of the model in the early phase." @default.
- W2092149727 created "2016-06-24" @default.
- W2092149727 creator A5043582832 @default.
- W2092149727 creator A5077469943 @default.
- W2092149727 date "2010-06-01" @default.
- W2092149727 modified "2023-09-26" @default.
- W2092149727 title "A Verification Method of UML Model Based on SBOPN" @default.
- W2092149727 cites W1589724738 @default.
- W2092149727 cites W2088440854 @default.
- W2092149727 doi "https://doi.org/10.1109/icece.2010.84" @default.
- W2092149727 hasPublicationYear "2010" @default.
- W2092149727 type Work @default.
- W2092149727 sameAs 2092149727 @default.
- W2092149727 citedByCount "0" @default.
- W2092149727 crossrefType "proceedings-article" @default.
- W2092149727 hasAuthorship W2092149727A5043582832 @default.
- W2092149727 hasAuthorship W2092149727A5077469943 @default.
- W2092149727 hasConcept C145644426 @default.
- W2092149727 hasConcept C146939238 @default.
- W2092149727 hasConcept C159023740 @default.
- W2092149727 hasConcept C16671368 @default.
- W2092149727 hasConcept C167822520 @default.
- W2092149727 hasConcept C199360897 @default.
- W2092149727 hasConcept C202446494 @default.
- W2092149727 hasConcept C2777904410 @default.
- W2092149727 hasConcept C38677869 @default.
- W2092149727 hasConcept C41008148 @default.
- W2092149727 hasConcept C41298492 @default.
- W2092149727 hasConcept C64219723 @default.
- W2092149727 hasConceptScore W2092149727C145644426 @default.
- W2092149727 hasConceptScore W2092149727C146939238 @default.
- W2092149727 hasConceptScore W2092149727C159023740 @default.
- W2092149727 hasConceptScore W2092149727C16671368 @default.
- W2092149727 hasConceptScore W2092149727C167822520 @default.
- W2092149727 hasConceptScore W2092149727C199360897 @default.
- W2092149727 hasConceptScore W2092149727C202446494 @default.
- W2092149727 hasConceptScore W2092149727C2777904410 @default.
- W2092149727 hasConceptScore W2092149727C38677869 @default.
- W2092149727 hasConceptScore W2092149727C41008148 @default.
- W2092149727 hasConceptScore W2092149727C41298492 @default.
- W2092149727 hasConceptScore W2092149727C64219723 @default.
- W2092149727 hasLocation W20921497271 @default.
- W2092149727 hasOpenAccess W2092149727 @default.
- W2092149727 hasPrimaryLocation W20921497271 @default.
- W2092149727 hasRelatedWork W2003153650 @default.
- W2092149727 hasRelatedWork W2092149727 @default.
- W2092149727 hasRelatedWork W2118900219 @default.
- W2092149727 hasRelatedWork W2131431564 @default.
- W2092149727 hasRelatedWork W2133420245 @default.
- W2092149727 hasRelatedWork W2170560770 @default.
- W2092149727 hasRelatedWork W2296627366 @default.
- W2092149727 hasRelatedWork W2366964040 @default.
- W2092149727 hasRelatedWork W2389786775 @default.
- W2092149727 hasRelatedWork W2972878993 @default.
- W2092149727 isParatext "false" @default.
- W2092149727 isRetracted "false" @default.
- W2092149727 magId "2092149727" @default.
- W2092149727 workType "article" @default.