Matches in SemOpenAlex for { <https://semopenalex.org/work/W41434016> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W41434016 abstract "In this thesis, we describe how to use UML sequence diagrams with MARTE timing constraints to specify entirely the behavior of component-based systems while abstracting as much as possible the functional roles of components composing it. We have shown how to conduct compositional analysis of such specifications. For this, we have defined operational semantics to sequence diagrams by translating them into TIOSTS which are symbolic automata with timing constraints. We have used symbolic execution techniques to compute possible executions of the system in the form of a symbolic tree. We have defined projection mechanisms to extract the execution tree associated with any distinguished component. The resulting projected tree characterizes the possible behaviors of the component with respect to the context of the whole system specification. As such, it represents a constraint to be satisfied by the component and it can be used as a correctness reference to validate the system in a compositional manner. For that purpose, we have grounded our validation framework on testing techniques. We have presented compositional results relating the correctness of a system to the correctness of components. Based on these results, we have defined an incremental approach for testing from sequence diagrams." @default.
- W41434016 created "2016-06-24" @default.
- W41434016 creator A5005411957 @default.
- W41434016 date "2012-06-14" @default.
- W41434016 modified "2023-09-25" @default.
- W41434016 title "Symbolic analysis of scenario based timed models for component based systems : Compositionality results for testing" @default.
- W41434016 hasPublicationYear "2012" @default.
- W41434016 type Work @default.
- W41434016 sameAs 41434016 @default.
- W41434016 citedByCount "1" @default.
- W41434016 countsByYear W414340162013 @default.
- W41434016 crossrefType "dissertation" @default.
- W41434016 hasAuthorship W41434016A5005411957 @default.
- W41434016 hasConcept C112505250 @default.
- W41434016 hasConcept C113174947 @default.
- W41434016 hasConcept C121332964 @default.
- W41434016 hasConcept C121375916 @default.
- W41434016 hasConcept C134306372 @default.
- W41434016 hasConcept C145644426 @default.
- W41434016 hasConcept C151730666 @default.
- W41434016 hasConcept C153185123 @default.
- W41434016 hasConcept C154945302 @default.
- W41434016 hasConcept C168167062 @default.
- W41434016 hasConcept C184337299 @default.
- W41434016 hasConcept C199360897 @default.
- W41434016 hasConcept C2777904410 @default.
- W41434016 hasConcept C2778112365 @default.
- W41434016 hasConcept C2779343474 @default.
- W41434016 hasConcept C33923547 @default.
- W41434016 hasConcept C41008148 @default.
- W41434016 hasConcept C54355233 @default.
- W41434016 hasConcept C55439883 @default.
- W41434016 hasConcept C80444323 @default.
- W41434016 hasConcept C86803240 @default.
- W41434016 hasConcept C97355855 @default.
- W41434016 hasConceptScore W41434016C112505250 @default.
- W41434016 hasConceptScore W41434016C113174947 @default.
- W41434016 hasConceptScore W41434016C121332964 @default.
- W41434016 hasConceptScore W41434016C121375916 @default.
- W41434016 hasConceptScore W41434016C134306372 @default.
- W41434016 hasConceptScore W41434016C145644426 @default.
- W41434016 hasConceptScore W41434016C151730666 @default.
- W41434016 hasConceptScore W41434016C153185123 @default.
- W41434016 hasConceptScore W41434016C154945302 @default.
- W41434016 hasConceptScore W41434016C168167062 @default.
- W41434016 hasConceptScore W41434016C184337299 @default.
- W41434016 hasConceptScore W41434016C199360897 @default.
- W41434016 hasConceptScore W41434016C2777904410 @default.
- W41434016 hasConceptScore W41434016C2778112365 @default.
- W41434016 hasConceptScore W41434016C2779343474 @default.
- W41434016 hasConceptScore W41434016C33923547 @default.
- W41434016 hasConceptScore W41434016C41008148 @default.
- W41434016 hasConceptScore W41434016C54355233 @default.
- W41434016 hasConceptScore W41434016C55439883 @default.
- W41434016 hasConceptScore W41434016C80444323 @default.
- W41434016 hasConceptScore W41434016C86803240 @default.
- W41434016 hasConceptScore W41434016C97355855 @default.
- W41434016 hasLocation W414340161 @default.
- W41434016 hasOpenAccess W41434016 @default.
- W41434016 hasPrimaryLocation W414340161 @default.
- W41434016 hasRelatedWork W1561501726 @default.
- W41434016 hasRelatedWork W1569453539 @default.
- W41434016 hasRelatedWork W1589988994 @default.
- W41434016 hasRelatedWork W165595480 @default.
- W41434016 hasRelatedWork W196331120 @default.
- W41434016 hasRelatedWork W2007575436 @default.
- W41434016 hasRelatedWork W2030078040 @default.
- W41434016 hasRelatedWork W2081108518 @default.
- W41434016 hasRelatedWork W2102886900 @default.
- W41434016 hasRelatedWork W2114828236 @default.
- W41434016 hasRelatedWork W2552090067 @default.
- W41434016 hasRelatedWork W2935786612 @default.
- W41434016 hasRelatedWork W2941219069 @default.
- W41434016 hasRelatedWork W2945535909 @default.
- W41434016 hasRelatedWork W2987705769 @default.
- W41434016 hasRelatedWork W410633824 @default.
- W41434016 hasRelatedWork W581635053 @default.
- W41434016 hasRelatedWork W1597214525 @default.
- W41434016 hasRelatedWork W2184660192 @default.
- W41434016 hasRelatedWork W3143014315 @default.
- W41434016 isParatext "false" @default.
- W41434016 isRetracted "false" @default.
- W41434016 magId "41434016" @default.
- W41434016 workType "dissertation" @default.