Matches in SemOpenAlex for { <https://semopenalex.org/work/W2079823786> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2079823786 abstract "UML 2 interaction overview diagram, IOD for short, is a variant of UML activity diagrams where the nodes may be interaction diagrams. Introduced on the UML 2 version, this diagram gathers benefits related to specific and global behaviors. When the nodes are sequence diagrams, it allows a valuated control flow specification. We propose in this paper an approach to validate the IOD notation. The validation is made by model checking using the hierarchical Petri nets derived from the IOD diagrams." @default.
- W2079823786 created "2016-06-24" @default.
- W2079823786 creator A5030453923 @default.
- W2079823786 date "2009-01-01" @default.
- W2079823786 modified "2023-09-25" @default.
- W2079823786 title "UML 2 Interaction Overview Diagram Validation" @default.
- W2079823786 cites W1508831365 @default.
- W2079823786 cites W1513830235 @default.
- W2079823786 cites W1965307110 @default.
- W2079823786 cites W2003048392 @default.
- W2079823786 cites W2070123002 @default.
- W2079823786 cites W2117146495 @default.
- W2079823786 cites W2126633122 @default.
- W2079823786 cites W2140523262 @default.
- W2079823786 cites W4237764470 @default.
- W2079823786 doi "https://doi.org/10.1109/depcos-relcomex.2009.47" @default.
- W2079823786 hasPublicationYear "2009" @default.
- W2079823786 type Work @default.
- W2079823786 sameAs 2079823786 @default.
- W2079823786 citedByCount "3" @default.
- W2079823786 countsByYear W20798237862013 @default.
- W2079823786 countsByYear W20798237862022 @default.
- W2079823786 crossrefType "proceedings-article" @default.
- W2079823786 hasAuthorship W2079823786A5030453923 @default.
- W2079823786 hasConcept C145644426 @default.
- W2079823786 hasConcept C146939238 @default.
- W2079823786 hasConcept C153185123 @default.
- W2079823786 hasConcept C16671368 @default.
- W2079823786 hasConcept C167822520 @default.
- W2079823786 hasConcept C186399060 @default.
- W2079823786 hasConcept C199360897 @default.
- W2079823786 hasConcept C202446494 @default.
- W2079823786 hasConcept C2777904410 @default.
- W2079823786 hasConcept C33923547 @default.
- W2079823786 hasConcept C38677869 @default.
- W2079823786 hasConcept C41008148 @default.
- W2079823786 hasConcept C41298492 @default.
- W2079823786 hasConcept C45357846 @default.
- W2079823786 hasConcept C48419115 @default.
- W2079823786 hasConcept C489000 @default.
- W2079823786 hasConcept C64219723 @default.
- W2079823786 hasConcept C68438427 @default.
- W2079823786 hasConcept C72041958 @default.
- W2079823786 hasConcept C77088390 @default.
- W2079823786 hasConcept C94375191 @default.
- W2079823786 hasConceptScore W2079823786C145644426 @default.
- W2079823786 hasConceptScore W2079823786C146939238 @default.
- W2079823786 hasConceptScore W2079823786C153185123 @default.
- W2079823786 hasConceptScore W2079823786C16671368 @default.
- W2079823786 hasConceptScore W2079823786C167822520 @default.
- W2079823786 hasConceptScore W2079823786C186399060 @default.
- W2079823786 hasConceptScore W2079823786C199360897 @default.
- W2079823786 hasConceptScore W2079823786C202446494 @default.
- W2079823786 hasConceptScore W2079823786C2777904410 @default.
- W2079823786 hasConceptScore W2079823786C33923547 @default.
- W2079823786 hasConceptScore W2079823786C38677869 @default.
- W2079823786 hasConceptScore W2079823786C41008148 @default.
- W2079823786 hasConceptScore W2079823786C41298492 @default.
- W2079823786 hasConceptScore W2079823786C45357846 @default.
- W2079823786 hasConceptScore W2079823786C48419115 @default.
- W2079823786 hasConceptScore W2079823786C489000 @default.
- W2079823786 hasConceptScore W2079823786C64219723 @default.
- W2079823786 hasConceptScore W2079823786C68438427 @default.
- W2079823786 hasConceptScore W2079823786C72041958 @default.
- W2079823786 hasConceptScore W2079823786C77088390 @default.
- W2079823786 hasConceptScore W2079823786C94375191 @default.
- W2079823786 hasLocation W20798237861 @default.
- W2079823786 hasOpenAccess W2079823786 @default.
- W2079823786 hasPrimaryLocation W20798237861 @default.
- W2079823786 hasRelatedWork W2020072995 @default.
- W2079823786 hasRelatedWork W2131431564 @default.
- W2079823786 hasRelatedWork W2296627366 @default.
- W2079823786 hasRelatedWork W2353715713 @default.
- W2079823786 hasRelatedWork W2358519841 @default.
- W2079823786 hasRelatedWork W2364485185 @default.
- W2079823786 hasRelatedWork W2914561978 @default.
- W2079823786 hasRelatedWork W69569463 @default.
- W2079823786 hasRelatedWork W856579879 @default.
- W2079823786 hasRelatedWork W3093128559 @default.
- W2079823786 isParatext "false" @default.
- W2079823786 isRetracted "false" @default.
- W2079823786 magId "2079823786" @default.
- W2079823786 workType "article" @default.