Matches in SemOpenAlex for { <https://semopenalex.org/work/W2108488009> ?p ?o ?g. }
- W2108488009 abstract "Sequence diagrams are a widely used design notation for describing software behavior. Many reusable software artifacts such as design patterns and design aspects make use of sequence diagrams to describe interaction behavior. When a pattern or an aspect is reused in an application, it is important to ensure that the sequence diagrams for the application correctly refines the corresponding sequence diagrams for the pattern or aspect. However, reasoning about refinement of sequence diagrams has not been addressed adequately. In this paper, we focus on refinement of required behavior specified by a UML sequence diagram. A novel trace semantics is given that captures precisely required behavior specified by a sequence diagram and a refinement relation between sequence diagrams is formalized based on the semantics. Properties of the trace semantics and the refinement relation are studied." @default.
- W2108488009 created "2016-06-24" @default.
- W2108488009 creator A5008335284 @default.
- W2108488009 creator A5015062108 @default.
- W2108488009 date "2011-04-01" @default.
- W2108488009 modified "2023-10-05" @default.
- W2108488009 title "Required Behavior of Sequence Diagrams: Semantics and Refinement" @default.
- W2108488009 cites W1500565010 @default.
- W2108488009 cites W1518166846 @default.
- W2108488009 cites W1524032315 @default.
- W2108488009 cites W1536620573 @default.
- W2108488009 cites W1547562281 @default.
- W2108488009 cites W1574587683 @default.
- W2108488009 cites W1592055490 @default.
- W2108488009 cites W1607211628 @default.
- W2108488009 cites W1870815138 @default.
- W2108488009 cites W1874980535 @default.
- W2108488009 cites W1935984762 @default.
- W2108488009 cites W1965307110 @default.
- W2108488009 cites W1986117326 @default.
- W2108488009 cites W1992681819 @default.
- W2108488009 cites W2004893931 @default.
- W2108488009 cites W2008781243 @default.
- W2108488009 cites W2011588678 @default.
- W2108488009 cites W2015315253 @default.
- W2108488009 cites W2021042308 @default.
- W2108488009 cites W2036501476 @default.
- W2108488009 cites W2070254645 @default.
- W2108488009 cites W2073781861 @default.
- W2108488009 cites W2088383763 @default.
- W2108488009 cites W2102071894 @default.
- W2108488009 cites W2102706400 @default.
- W2108488009 cites W2108678312 @default.
- W2108488009 cites W2118893164 @default.
- W2108488009 cites W2123042765 @default.
- W2108488009 cites W2134908243 @default.
- W2108488009 cites W2144807091 @default.
- W2108488009 cites W2148106163 @default.
- W2108488009 cites W2151190334 @default.
- W2108488009 cites W2151271773 @default.
- W2108488009 cites W2157144873 @default.
- W2108488009 cites W2158942489 @default.
- W2108488009 cites W2159263584 @default.
- W2108488009 cites W2164440547 @default.
- W2108488009 cites W2168914087 @default.
- W2108488009 cites W2168957591 @default.
- W2108488009 cites W2294826973 @default.
- W2108488009 cites W4230919050 @default.
- W2108488009 cites W4232678125 @default.
- W2108488009 cites W4237764470 @default.
- W2108488009 doi "https://doi.org/10.1109/iceccs.2011.20" @default.
- W2108488009 hasPublicationYear "2011" @default.
- W2108488009 type Work @default.
- W2108488009 sameAs 2108488009 @default.
- W2108488009 citedByCount "6" @default.
- W2108488009 countsByYear W21084880092012 @default.
- W2108488009 countsByYear W21084880092013 @default.
- W2108488009 countsByYear W21084880092014 @default.
- W2108488009 crossrefType "proceedings-article" @default.
- W2108488009 hasAuthorship W2108488009A5008335284 @default.
- W2108488009 hasAuthorship W2108488009A5015062108 @default.
- W2108488009 hasBestOaLocation W21084880092 @default.
- W2108488009 hasConcept C11413529 @default.
- W2108488009 hasConcept C124101348 @default.
- W2108488009 hasConcept C138885662 @default.
- W2108488009 hasConcept C145644426 @default.
- W2108488009 hasConcept C153185123 @default.
- W2108488009 hasConcept C168054591 @default.
- W2108488009 hasConcept C184337299 @default.
- W2108488009 hasConcept C199360897 @default.
- W2108488009 hasConcept C202446494 @default.
- W2108488009 hasConcept C25343380 @default.
- W2108488009 hasConcept C2777904410 @default.
- W2108488009 hasConcept C2778112365 @default.
- W2108488009 hasConcept C33923547 @default.
- W2108488009 hasConcept C41008148 @default.
- W2108488009 hasConcept C41895202 @default.
- W2108488009 hasConcept C45357846 @default.
- W2108488009 hasConcept C48419115 @default.
- W2108488009 hasConcept C54355233 @default.
- W2108488009 hasConcept C68438427 @default.
- W2108488009 hasConcept C75291252 @default.
- W2108488009 hasConcept C80444323 @default.
- W2108488009 hasConcept C86803240 @default.
- W2108488009 hasConcept C94375191 @default.
- W2108488009 hasConceptScore W2108488009C11413529 @default.
- W2108488009 hasConceptScore W2108488009C124101348 @default.
- W2108488009 hasConceptScore W2108488009C138885662 @default.
- W2108488009 hasConceptScore W2108488009C145644426 @default.
- W2108488009 hasConceptScore W2108488009C153185123 @default.
- W2108488009 hasConceptScore W2108488009C168054591 @default.
- W2108488009 hasConceptScore W2108488009C184337299 @default.
- W2108488009 hasConceptScore W2108488009C199360897 @default.
- W2108488009 hasConceptScore W2108488009C202446494 @default.
- W2108488009 hasConceptScore W2108488009C25343380 @default.
- W2108488009 hasConceptScore W2108488009C2777904410 @default.
- W2108488009 hasConceptScore W2108488009C2778112365 @default.
- W2108488009 hasConceptScore W2108488009C33923547 @default.
- W2108488009 hasConceptScore W2108488009C41008148 @default.
- W2108488009 hasConceptScore W2108488009C41895202 @default.