Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022969052> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2022969052 abstract "The Sequence Diagram(SD) of UML2.0 enriches those of previous versions by two new operators, assert and negate, for specifying required and forbidden behaviors. The semantics of SD, however, being based on pairs of valid and invalid sets of traces, is inadequate, and prevents the new operators from being used effectively. The semantic confusions between assert and negate operators in UML SD are significant, since they pose great difficulty to the confirmation of the security of the system they designed. A new Petri-net model named LPNforSD is designed in this paper. Transformation rules from SD to LPNforSD are given out. We take fragment that described by assert or negate operator as independent part and transform it into LPNforSDs. An algorithm is also designed to check whether the SD is safe by comparing its traces with the traces getting from negate and assert fragments. By this way, we cannot only eliminate the semantic confusions between assert and negate operators, but also reduce the numbers of contingent traces. Thus, we can ensure the system more reliable" @default.
- W2022969052 created "2016-06-24" @default.
- W2022969052 creator A5010441587 @default.
- W2022969052 creator A5012758640 @default.
- W2022969052 creator A5017001819 @default.
- W2022969052 creator A5078608062 @default.
- W2022969052 creator A5079106687 @default.
- W2022969052 date "2010-07-01" @default.
- W2022969052 modified "2023-09-25" @default.
- W2022969052 title "Semantic Analysis of UML2.0 Sequence Diagram Based on Model Transformation" @default.
- W2022969052 cites W1498852674 @default.
- W2022969052 cites W1536620573 @default.
- W2022969052 cites W1602672367 @default.
- W2022969052 cites W1935984762 @default.
- W2022969052 cites W1996109622 @default.
- W2022969052 cites W2102706400 @default.
- W2022969052 cites W2121302387 @default.
- W2022969052 cites W2164003033 @default.
- W2022969052 cites W2170586750 @default.
- W2022969052 doi "https://doi.org/10.1109/compsacw.2010.38" @default.
- W2022969052 hasPublicationYear "2010" @default.
- W2022969052 type Work @default.
- W2022969052 sameAs 2022969052 @default.
- W2022969052 citedByCount "3" @default.
- W2022969052 countsByYear W20229690522012 @default.
- W2022969052 countsByYear W20229690522013 @default.
- W2022969052 crossrefType "proceedings-article" @default.
- W2022969052 hasAuthorship W2022969052A5010441587 @default.
- W2022969052 hasAuthorship W2022969052A5012758640 @default.
- W2022969052 hasAuthorship W2022969052A5017001819 @default.
- W2022969052 hasAuthorship W2022969052A5078608062 @default.
- W2022969052 hasAuthorship W2022969052A5079106687 @default.
- W2022969052 hasConcept C104317684 @default.
- W2022969052 hasConcept C11413529 @default.
- W2022969052 hasConcept C145644426 @default.
- W2022969052 hasConcept C153185123 @default.
- W2022969052 hasConcept C158448853 @default.
- W2022969052 hasConcept C17020691 @default.
- W2022969052 hasConcept C184337299 @default.
- W2022969052 hasConcept C185592680 @default.
- W2022969052 hasConcept C199360897 @default.
- W2022969052 hasConcept C204241405 @default.
- W2022969052 hasConcept C2776235265 @default.
- W2022969052 hasConcept C2777904410 @default.
- W2022969052 hasConcept C2778112365 @default.
- W2022969052 hasConcept C38677869 @default.
- W2022969052 hasConcept C41008148 @default.
- W2022969052 hasConcept C54355233 @default.
- W2022969052 hasConcept C55493867 @default.
- W2022969052 hasConcept C80444323 @default.
- W2022969052 hasConcept C86339819 @default.
- W2022969052 hasConcept C86803240 @default.
- W2022969052 hasConceptScore W2022969052C104317684 @default.
- W2022969052 hasConceptScore W2022969052C11413529 @default.
- W2022969052 hasConceptScore W2022969052C145644426 @default.
- W2022969052 hasConceptScore W2022969052C153185123 @default.
- W2022969052 hasConceptScore W2022969052C158448853 @default.
- W2022969052 hasConceptScore W2022969052C17020691 @default.
- W2022969052 hasConceptScore W2022969052C184337299 @default.
- W2022969052 hasConceptScore W2022969052C185592680 @default.
- W2022969052 hasConceptScore W2022969052C199360897 @default.
- W2022969052 hasConceptScore W2022969052C204241405 @default.
- W2022969052 hasConceptScore W2022969052C2776235265 @default.
- W2022969052 hasConceptScore W2022969052C2777904410 @default.
- W2022969052 hasConceptScore W2022969052C2778112365 @default.
- W2022969052 hasConceptScore W2022969052C38677869 @default.
- W2022969052 hasConceptScore W2022969052C41008148 @default.
- W2022969052 hasConceptScore W2022969052C54355233 @default.
- W2022969052 hasConceptScore W2022969052C55493867 @default.
- W2022969052 hasConceptScore W2022969052C80444323 @default.
- W2022969052 hasConceptScore W2022969052C86339819 @default.
- W2022969052 hasConceptScore W2022969052C86803240 @default.
- W2022969052 hasLocation W20229690521 @default.
- W2022969052 hasOpenAccess W2022969052 @default.
- W2022969052 hasPrimaryLocation W20229690521 @default.
- W2022969052 hasRelatedWork W134821771 @default.
- W2022969052 hasRelatedWork W1515157987 @default.
- W2022969052 hasRelatedWork W1576224124 @default.
- W2022969052 hasRelatedWork W1792234409 @default.
- W2022969052 hasRelatedWork W1867052887 @default.
- W2022969052 hasRelatedWork W1964298340 @default.
- W2022969052 hasRelatedWork W1973655983 @default.
- W2022969052 hasRelatedWork W2024951218 @default.
- W2022969052 hasRelatedWork W204375338 @default.
- W2022969052 hasRelatedWork W2075610180 @default.
- W2022969052 hasRelatedWork W2092351491 @default.
- W2022969052 hasRelatedWork W2107045506 @default.
- W2022969052 hasRelatedWork W2111143121 @default.
- W2022969052 hasRelatedWork W2116309930 @default.
- W2022969052 hasRelatedWork W2119442768 @default.
- W2022969052 hasRelatedWork W2127237677 @default.
- W2022969052 hasRelatedWork W2127489452 @default.
- W2022969052 hasRelatedWork W2164618618 @default.
- W2022969052 hasRelatedWork W2488569058 @default.
- W2022969052 hasRelatedWork W2475270838 @default.
- W2022969052 isParatext "false" @default.
- W2022969052 isRetracted "false" @default.
- W2022969052 magId "2022969052" @default.
- W2022969052 workType "article" @default.