Matches in SemOpenAlex for { <https://semopenalex.org/work/W2053935835> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2053935835 abstract "For Unified Modeling Language (UML) is a semiformal language whose semantics is described mostly by natural language, it is difficult to analyze and verify the models by metric and qualitative means. Howerver, being a modeling tool based on mathematics, Coloured Petri Nets (CPNs) have rigorous formal semantics and analysis methods. Through transforming the given UML models to corresponding Petri Nets, analysis and verification of the system can be performed. Mainly for UML class diagram and activity diagram, this paper presents a method of how to transform UML diagram to CPNs, and uses an instance to explain." @default.
- W2053935835 created "2016-06-24" @default.
- W2053935835 creator A5060626579 @default.
- W2053935835 date "2010-07-01" @default.
- W2053935835 modified "2023-09-26" @default.
- W2053935835 title "The research of formalizing UML diagram based on HCPNs" @default.
- W2053935835 cites W1534850333 @default.
- W2053935835 cites W1543979248 @default.
- W2053935835 cites W1969995445 @default.
- W2053935835 cites W2053842121 @default.
- W2053935835 cites W2169013090 @default.
- W2053935835 cites W2360743819 @default.
- W2053935835 doi "https://doi.org/10.1109/icsess.2010.5552312" @default.
- W2053935835 hasPublicationYear "2010" @default.
- W2053935835 type Work @default.
- W2053935835 sameAs 2053935835 @default.
- W2053935835 citedByCount "2" @default.
- W2053935835 countsByYear W20539358352012 @default.
- W2053935835 countsByYear W20539358352017 @default.
- W2053935835 crossrefType "proceedings-article" @default.
- W2053935835 hasAuthorship W2053935835A5060626579 @default.
- W2053935835 hasConcept C133264317 @default.
- W2053935835 hasConcept C145644426 @default.
- W2053935835 hasConcept C146499914 @default.
- W2053935835 hasConcept C146939238 @default.
- W2053935835 hasConcept C153185123 @default.
- W2053935835 hasConcept C16671368 @default.
- W2053935835 hasConcept C167822520 @default.
- W2053935835 hasConcept C184337299 @default.
- W2053935835 hasConcept C199360897 @default.
- W2053935835 hasConcept C202446494 @default.
- W2053935835 hasConcept C21285288 @default.
- W2053935835 hasConcept C2777904410 @default.
- W2053935835 hasConcept C38677869 @default.
- W2053935835 hasConcept C41008148 @default.
- W2053935835 hasConcept C41298492 @default.
- W2053935835 hasConcept C48419115 @default.
- W2053935835 hasConcept C64219723 @default.
- W2053935835 hasConcept C80444323 @default.
- W2053935835 hasConceptScore W2053935835C133264317 @default.
- W2053935835 hasConceptScore W2053935835C145644426 @default.
- W2053935835 hasConceptScore W2053935835C146499914 @default.
- W2053935835 hasConceptScore W2053935835C146939238 @default.
- W2053935835 hasConceptScore W2053935835C153185123 @default.
- W2053935835 hasConceptScore W2053935835C16671368 @default.
- W2053935835 hasConceptScore W2053935835C167822520 @default.
- W2053935835 hasConceptScore W2053935835C184337299 @default.
- W2053935835 hasConceptScore W2053935835C199360897 @default.
- W2053935835 hasConceptScore W2053935835C202446494 @default.
- W2053935835 hasConceptScore W2053935835C21285288 @default.
- W2053935835 hasConceptScore W2053935835C2777904410 @default.
- W2053935835 hasConceptScore W2053935835C38677869 @default.
- W2053935835 hasConceptScore W2053935835C41008148 @default.
- W2053935835 hasConceptScore W2053935835C41298492 @default.
- W2053935835 hasConceptScore W2053935835C48419115 @default.
- W2053935835 hasConceptScore W2053935835C64219723 @default.
- W2053935835 hasConceptScore W2053935835C80444323 @default.
- W2053935835 hasLocation W20539358351 @default.
- W2053935835 hasOpenAccess W2053935835 @default.
- W2053935835 hasPrimaryLocation W20539358351 @default.
- W2053935835 hasRelatedWork W1740217579 @default.
- W2053935835 hasRelatedWork W2022759223 @default.
- W2053935835 hasRelatedWork W2039758385 @default.
- W2053935835 hasRelatedWork W2098098345 @default.
- W2053935835 hasRelatedWork W2121713575 @default.
- W2053935835 hasRelatedWork W2122606059 @default.
- W2053935835 hasRelatedWork W2148347297 @default.
- W2053935835 hasRelatedWork W2150791553 @default.
- W2053935835 hasRelatedWork W2373288135 @default.
- W2053935835 hasRelatedWork W2374810588 @default.
- W2053935835 hasRelatedWork W2379674920 @default.
- W2053935835 hasRelatedWork W2389786775 @default.
- W2053935835 hasRelatedWork W2390123657 @default.
- W2053935835 hasRelatedWork W2537339663 @default.
- W2053935835 hasRelatedWork W2538890324 @default.
- W2053935835 hasRelatedWork W2769090014 @default.
- W2053935835 hasRelatedWork W2886109573 @default.
- W2053935835 hasRelatedWork W2944564375 @default.
- W2053935835 hasRelatedWork W2972878993 @default.
- W2053935835 hasRelatedWork W91671946 @default.
- W2053935835 isParatext "false" @default.
- W2053935835 isRetracted "false" @default.
- W2053935835 magId "2053935835" @default.
- W2053935835 workType "article" @default.