Matches in SemOpenAlex for { <https://semopenalex.org/work/W2128016502> ?p ?o ?g. }
- W2128016502 abstract "The Sequence Diagram (SD) with time properties is frequently used in the preliminary developing phase of embedded reala time system, however, it is not easy to verify due to its informal semantics. An extended time Petri net (TPN) with weak semantics-TLOPNforSD-is defined and proved to be decidable as far as reachability, boundedness and coverability are concerned. A method for progressively refining the SD is also offered in the transformation phase. The SD with time properties are made to be more reliable in two aspects: (1) an enabled transitions generating algorithm based on weak semantics is designed. Based on this algorithm, the verification of SD with time properties in qualitative aspect can be realized by dint of ROMEO; (2) using the state-class diagram obtained in qualitative analysis phase, a scheduling strategy satisfying all the time constraints specified in the SD is worked out. The strategy is used to get compelling time intervals which are more accurate than the static intervals predefined on the SD for every event." @default.
- W2128016502 created "2016-06-24" @default.
- W2128016502 creator A5010441587 @default.
- W2128016502 creator A5017001819 @default.
- W2128016502 creator A5040695351 @default.
- W2128016502 creator A5078608062 @default.
- W2128016502 creator A5079106687 @default.
- W2128016502 date "2010-11-01" @default.
- W2128016502 modified "2023-09-23" @default.
- W2128016502 title "The Analysis of Sequence Diagram with Time Properties in Qualitative and Quantitative Aspects by Model Transformation" @default.
- W2128016502 cites W112030299 @default.
- W2128016502 cites W1528359128 @default.
- W2128016502 cites W1554260731 @default.
- W2128016502 cites W1573909737 @default.
- W2128016502 cites W1582964729 @default.
- W2128016502 cites W1593414957 @default.
- W2128016502 cites W163257103 @default.
- W2128016502 cites W1759305011 @default.
- W2128016502 cites W1796174165 @default.
- W2128016502 cites W1962985716 @default.
- W2128016502 cites W1978695822 @default.
- W2128016502 cites W1994257332 @default.
- W2128016502 cites W1996109622 @default.
- W2128016502 cites W2000947342 @default.
- W2128016502 cites W2022969052 @default.
- W2128016502 cites W2034072658 @default.
- W2128016502 cites W2070996046 @default.
- W2128016502 cites W2089428488 @default.
- W2128016502 cites W2101508170 @default.
- W2128016502 cites W2105389929 @default.
- W2128016502 cites W2108966348 @default.
- W2128016502 cites W2131994575 @default.
- W2128016502 cites W2142718416 @default.
- W2128016502 cites W2150618219 @default.
- W2128016502 cites W2151612633 @default.
- W2128016502 cites W2153481459 @default.
- W2128016502 cites W2159857495 @default.
- W2128016502 cites W2798414776 @default.
- W2128016502 cites W46093711 @default.
- W2128016502 cites W59365162 @default.
- W2128016502 doi "https://doi.org/10.1109/apsec.2010.23" @default.
- W2128016502 hasPublicationYear "2010" @default.
- W2128016502 type Work @default.
- W2128016502 sameAs 2128016502 @default.
- W2128016502 citedByCount "2" @default.
- W2128016502 countsByYear W21280165022012 @default.
- W2128016502 crossrefType "proceedings-article" @default.
- W2128016502 hasAuthorship W2128016502A5010441587 @default.
- W2128016502 hasAuthorship W2128016502A5017001819 @default.
- W2128016502 hasAuthorship W2128016502A5040695351 @default.
- W2128016502 hasAuthorship W2128016502A5078608062 @default.
- W2128016502 hasAuthorship W2128016502A5079106687 @default.
- W2128016502 hasConcept C104317684 @default.
- W2128016502 hasConcept C11413529 @default.
- W2128016502 hasConcept C145644426 @default.
- W2128016502 hasConcept C153185123 @default.
- W2128016502 hasConcept C153269930 @default.
- W2128016502 hasConcept C184337299 @default.
- W2128016502 hasConcept C185592680 @default.
- W2128016502 hasConcept C199360897 @default.
- W2128016502 hasConcept C204241405 @default.
- W2128016502 hasConcept C2777904410 @default.
- W2128016502 hasConcept C2778112365 @default.
- W2128016502 hasConcept C311688 @default.
- W2128016502 hasConcept C38677869 @default.
- W2128016502 hasConcept C41008148 @default.
- W2128016502 hasConcept C54355233 @default.
- W2128016502 hasConcept C55493867 @default.
- W2128016502 hasConcept C80444323 @default.
- W2128016502 hasConcept C86803240 @default.
- W2128016502 hasConceptScore W2128016502C104317684 @default.
- W2128016502 hasConceptScore W2128016502C11413529 @default.
- W2128016502 hasConceptScore W2128016502C145644426 @default.
- W2128016502 hasConceptScore W2128016502C153185123 @default.
- W2128016502 hasConceptScore W2128016502C153269930 @default.
- W2128016502 hasConceptScore W2128016502C184337299 @default.
- W2128016502 hasConceptScore W2128016502C185592680 @default.
- W2128016502 hasConceptScore W2128016502C199360897 @default.
- W2128016502 hasConceptScore W2128016502C204241405 @default.
- W2128016502 hasConceptScore W2128016502C2777904410 @default.
- W2128016502 hasConceptScore W2128016502C2778112365 @default.
- W2128016502 hasConceptScore W2128016502C311688 @default.
- W2128016502 hasConceptScore W2128016502C38677869 @default.
- W2128016502 hasConceptScore W2128016502C41008148 @default.
- W2128016502 hasConceptScore W2128016502C54355233 @default.
- W2128016502 hasConceptScore W2128016502C55493867 @default.
- W2128016502 hasConceptScore W2128016502C80444323 @default.
- W2128016502 hasConceptScore W2128016502C86803240 @default.
- W2128016502 hasLocation W21280165021 @default.
- W2128016502 hasOpenAccess W2128016502 @default.
- W2128016502 hasPrimaryLocation W21280165021 @default.
- W2128016502 hasRelatedWork W1500467934 @default.
- W2128016502 hasRelatedWork W1507479492 @default.
- W2128016502 hasRelatedWork W1518436864 @default.
- W2128016502 hasRelatedWork W1551070491 @default.
- W2128016502 hasRelatedWork W1562871366 @default.
- W2128016502 hasRelatedWork W1588936867 @default.
- W2128016502 hasRelatedWork W1593736126 @default.
- W2128016502 hasRelatedWork W1605031929 @default.
- W2128016502 hasRelatedWork W1813719546 @default.