Matches in SemOpenAlex for { <https://semopenalex.org/work/W2553554827> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2553554827 abstract "UML activity diagram is widely used to describe the behavior of the software system. Unfortunately, there is still no practical tool to verify the UML diagrams automatically. This paper proposes an alternative to translate UML activity diagram into a colored petri nets with inscription. The model translation rules are proposed to guide the automatic translation of the activity diagram with atomic action into a CPN model. Moreover, the relevant basic arc inscriptions are generated without manual elaboration. The resulting CPN with inscription is correctly verified as expected." @default.
- W2553554827 created "2016-11-30" @default.
- W2553554827 creator A5033325485 @default.
- W2553554827 creator A5085328736 @default.
- W2553554827 date "2016-07-01" @default.
- W2553554827 modified "2023-09-25" @default.
- W2553554827 title "Translation UML activity diagram into colored Petri net with inscription" @default.
- W2553554827 cites W1568573127 @default.
- W2553554827 cites W1604556309 @default.
- W2553554827 cites W2117146495 @default.
- W2553554827 cites W2185615172 @default.
- W2553554827 cites W2542307507 @default.
- W2553554827 doi "https://doi.org/10.1109/jcsse.2016.7748883" @default.
- W2553554827 hasPublicationYear "2016" @default.
- W2553554827 type Work @default.
- W2553554827 sameAs 2553554827 @default.
- W2553554827 citedByCount "3" @default.
- W2553554827 countsByYear W25535548272017 @default.
- W2553554827 countsByYear W25535548272018 @default.
- W2553554827 countsByYear W25535548272019 @default.
- W2553554827 crossrefType "proceedings-article" @default.
- W2553554827 hasAuthorship W2553554827A5033325485 @default.
- W2553554827 hasAuthorship W2553554827A5085328736 @default.
- W2553554827 hasConcept C104317684 @default.
- W2553554827 hasConcept C105580179 @default.
- W2553554827 hasConcept C145644426 @default.
- W2553554827 hasConcept C146939238 @default.
- W2553554827 hasConcept C149364088 @default.
- W2553554827 hasConcept C16671368 @default.
- W2553554827 hasConcept C167822520 @default.
- W2553554827 hasConcept C185592680 @default.
- W2553554827 hasConcept C186399060 @default.
- W2553554827 hasConcept C199360897 @default.
- W2553554827 hasConcept C202446494 @default.
- W2553554827 hasConcept C2777904410 @default.
- W2553554827 hasConcept C38677869 @default.
- W2553554827 hasConcept C41008148 @default.
- W2553554827 hasConcept C41298492 @default.
- W2553554827 hasConcept C48419115 @default.
- W2553554827 hasConcept C55493867 @default.
- W2553554827 hasConcept C64219723 @default.
- W2553554827 hasConcept C77088390 @default.
- W2553554827 hasConceptScore W2553554827C104317684 @default.
- W2553554827 hasConceptScore W2553554827C105580179 @default.
- W2553554827 hasConceptScore W2553554827C145644426 @default.
- W2553554827 hasConceptScore W2553554827C146939238 @default.
- W2553554827 hasConceptScore W2553554827C149364088 @default.
- W2553554827 hasConceptScore W2553554827C16671368 @default.
- W2553554827 hasConceptScore W2553554827C167822520 @default.
- W2553554827 hasConceptScore W2553554827C185592680 @default.
- W2553554827 hasConceptScore W2553554827C186399060 @default.
- W2553554827 hasConceptScore W2553554827C199360897 @default.
- W2553554827 hasConceptScore W2553554827C202446494 @default.
- W2553554827 hasConceptScore W2553554827C2777904410 @default.
- W2553554827 hasConceptScore W2553554827C38677869 @default.
- W2553554827 hasConceptScore W2553554827C41008148 @default.
- W2553554827 hasConceptScore W2553554827C41298492 @default.
- W2553554827 hasConceptScore W2553554827C48419115 @default.
- W2553554827 hasConceptScore W2553554827C55493867 @default.
- W2553554827 hasConceptScore W2553554827C64219723 @default.
- W2553554827 hasConceptScore W2553554827C77088390 @default.
- W2553554827 hasLocation W25535548271 @default.
- W2553554827 hasOpenAccess W2553554827 @default.
- W2553554827 hasPrimaryLocation W25535548271 @default.
- W2553554827 hasRelatedWork W1499276942 @default.
- W2553554827 hasRelatedWork W1604556309 @default.
- W2553554827 hasRelatedWork W1740217579 @default.
- W2553554827 hasRelatedWork W2018827876 @default.
- W2553554827 hasRelatedWork W2053935835 @default.
- W2553554827 hasRelatedWork W2108678312 @default.
- W2553554827 hasRelatedWork W2148347297 @default.
- W2553554827 hasRelatedWork W2158369888 @default.
- W2553554827 hasRelatedWork W2364897089 @default.
- W2553554827 hasRelatedWork W2368399882 @default.
- W2553554827 hasRelatedWork W2368693073 @default.
- W2553554827 hasRelatedWork W2369302283 @default.
- W2553554827 hasRelatedWork W2392042080 @default.
- W2553554827 hasRelatedWork W2392272320 @default.
- W2553554827 hasRelatedWork W2591737637 @default.
- W2553554827 hasRelatedWork W2769090014 @default.
- W2553554827 hasRelatedWork W2886109573 @default.
- W2553554827 hasRelatedWork W2944564375 @default.
- W2553554827 hasRelatedWork W2946300500 @default.
- W2553554827 hasRelatedWork W3162996900 @default.
- W2553554827 isParatext "false" @default.
- W2553554827 isRetracted "false" @default.
- W2553554827 magId "2553554827" @default.
- W2553554827 workType "article" @default.