Matches in SemOpenAlex for { <https://semopenalex.org/work/W2128334661> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2128334661 abstract "AADL is an architecture description language based on the MetaH language which describes an embedded system, as a collection of interacting components. The AADL standard associates automata to define dynamic semantics for a thread component. The threads can be in various states such as halted, inactive, or active. An active thread can be waiting for a dispatch, AwaitDispatch state, or computing, Compute state, etc. In this paper, we give a natural semantic model to the thread Compute state, and we associate to the thread component a behavioral annex based on generalized rewriting logic. This allows formal description and analyzing of a thread configuration. Our formalization includes static aspects of thread, and also dynamic ones. The associated models are described by functional and system modules of Maude which is a declarative language based on rewriting logic. Our approach interest is to be able to formally check a large set of properties of AADL threads via analysis tools of Maude environment." @default.
- W2128334661 created "2016-06-24" @default.
- W2128334661 creator A5015015922 @default.
- W2128334661 creator A5015524367 @default.
- W2128334661 creator A5035138868 @default.
- W2128334661 date "2008-06-01" @default.
- W2128334661 modified "2023-10-02" @default.
- W2128334661 title "AADL behavioral annex based on generalized rewriting logic" @default.
- W2128334661 cites W1668251188 @default.
- W2128334661 cites W1976195354 @default.
- W2128334661 cites W2029227380 @default.
- W2128334661 cites W2033663641 @default.
- W2128334661 cites W2134287022 @default.
- W2128334661 cites W2139112519 @default.
- W2128334661 cites W2150380013 @default.
- W2128334661 cites W2169625649 @default.
- W2128334661 cites W2537758980 @default.
- W2128334661 cites W3144440335 @default.
- W2128334661 cites W91072009 @default.
- W2128334661 doi "https://doi.org/10.1109/rcis.2008.4632087" @default.
- W2128334661 hasPublicationYear "2008" @default.
- W2128334661 type Work @default.
- W2128334661 sameAs 2128334661 @default.
- W2128334661 citedByCount "5" @default.
- W2128334661 countsByYear W21283346612012 @default.
- W2128334661 crossrefType "proceedings-article" @default.
- W2128334661 hasAuthorship W2128334661A5015015922 @default.
- W2128334661 hasAuthorship W2128334661A5015524367 @default.
- W2128334661 hasAuthorship W2128334661A5035138868 @default.
- W2128334661 hasConcept C112505250 @default.
- W2128334661 hasConcept C138101251 @default.
- W2128334661 hasConcept C154690210 @default.
- W2128334661 hasConcept C193702766 @default.
- W2128334661 hasConcept C199360897 @default.
- W2128334661 hasConcept C41008148 @default.
- W2128334661 hasConcept C80444323 @default.
- W2128334661 hasConceptScore W2128334661C112505250 @default.
- W2128334661 hasConceptScore W2128334661C138101251 @default.
- W2128334661 hasConceptScore W2128334661C154690210 @default.
- W2128334661 hasConceptScore W2128334661C193702766 @default.
- W2128334661 hasConceptScore W2128334661C199360897 @default.
- W2128334661 hasConceptScore W2128334661C41008148 @default.
- W2128334661 hasConceptScore W2128334661C80444323 @default.
- W2128334661 hasLocation W21283346611 @default.
- W2128334661 hasOpenAccess W2128334661 @default.
- W2128334661 hasPrimaryLocation W21283346611 @default.
- W2128334661 hasRelatedWork W123498104 @default.
- W2128334661 hasRelatedWork W1546246283 @default.
- W2128334661 hasRelatedWork W1554303980 @default.
- W2128334661 hasRelatedWork W1864036814 @default.
- W2128334661 hasRelatedWork W1992657833 @default.
- W2128334661 hasRelatedWork W2028122206 @default.
- W2128334661 hasRelatedWork W2037796013 @default.
- W2128334661 hasRelatedWork W2055187133 @default.
- W2128334661 hasRelatedWork W2056488621 @default.
- W2128334661 hasRelatedWork W2086005798 @default.
- W2128334661 hasRelatedWork W2129292921 @default.
- W2128334661 hasRelatedWork W2139481426 @default.
- W2128334661 hasRelatedWork W2150380013 @default.
- W2128334661 hasRelatedWork W2181453829 @default.
- W2128334661 hasRelatedWork W2398099798 @default.
- W2128334661 hasRelatedWork W2764334441 @default.
- W2128334661 hasRelatedWork W2791938022 @default.
- W2128334661 hasRelatedWork W3160612638 @default.
- W2128334661 hasRelatedWork W587576067 @default.
- W2128334661 hasRelatedWork W2083665317 @default.
- W2128334661 isParatext "false" @default.
- W2128334661 isRetracted "false" @default.
- W2128334661 magId "2128334661" @default.
- W2128334661 workType "article" @default.