Matches in SemOpenAlex for { <https://semopenalex.org/work/W2044291905> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2044291905 abstract "State charts is widely used as a behavioral modeling language for reactive systems for its concise and intuitive expression, especially a few high security system. However, the lack of formal semantics makes it difficult to analyze and validate the system which it described. The paper proposed a formalization method based on temporal description logic. Firstly, temporal description logic (TDLs) is proposed by the temporal extending the description logic, which is the formal specification of the dynamic and temporal semantics. Then, based on definition of the syntax of formalization, the semantics of TDLs of state charts is given. Finally, the feasibility is also verified by an example." @default.
- W2044291905 created "2016-06-24" @default.
- W2044291905 creator A5021384155 @default.
- W2044291905 creator A5026388678 @default.
- W2044291905 creator A5084735279 @default.
- W2044291905 date "2010-10-01" @default.
- W2044291905 modified "2023-09-22" @default.
- W2044291905 title "The Semantics Research of StateCharts" @default.
- W2044291905 cites W1926460446 @default.
- W2044291905 cites W1998017916 @default.
- W2044291905 cites W2033050801 @default.
- W2044291905 cites W2129395888 @default.
- W2044291905 cites W2131566236 @default.
- W2044291905 cites W2142614470 @default.
- W2044291905 cites W2162014041 @default.
- W2044291905 cites W2369133407 @default.
- W2044291905 cites W3023660920 @default.
- W2044291905 cites W3145534312 @default.
- W2044291905 doi "https://doi.org/10.1109/isip.2010.59" @default.
- W2044291905 hasPublicationYear "2010" @default.
- W2044291905 type Work @default.
- W2044291905 sameAs 2044291905 @default.
- W2044291905 citedByCount "1" @default.
- W2044291905 countsByYear W20442919052012 @default.
- W2044291905 crossrefType "proceedings-article" @default.
- W2044291905 hasAuthorship W2044291905A5021384155 @default.
- W2044291905 hasAuthorship W2044291905A5026388678 @default.
- W2044291905 hasAuthorship W2044291905A5084735279 @default.
- W2044291905 hasConcept C116253237 @default.
- W2044291905 hasConcept C146499914 @default.
- W2044291905 hasConcept C150607116 @default.
- W2044291905 hasConcept C156325763 @default.
- W2044291905 hasConcept C184337299 @default.
- W2044291905 hasConcept C199360897 @default.
- W2044291905 hasConcept C204321447 @default.
- W2044291905 hasConcept C207648694 @default.
- W2044291905 hasConcept C25016198 @default.
- W2044291905 hasConcept C41008148 @default.
- W2044291905 hasConcept C4777664 @default.
- W2044291905 hasConcept C60048249 @default.
- W2044291905 hasConcept C80444323 @default.
- W2044291905 hasConceptScore W2044291905C116253237 @default.
- W2044291905 hasConceptScore W2044291905C146499914 @default.
- W2044291905 hasConceptScore W2044291905C150607116 @default.
- W2044291905 hasConceptScore W2044291905C156325763 @default.
- W2044291905 hasConceptScore W2044291905C184337299 @default.
- W2044291905 hasConceptScore W2044291905C199360897 @default.
- W2044291905 hasConceptScore W2044291905C204321447 @default.
- W2044291905 hasConceptScore W2044291905C207648694 @default.
- W2044291905 hasConceptScore W2044291905C25016198 @default.
- W2044291905 hasConceptScore W2044291905C41008148 @default.
- W2044291905 hasConceptScore W2044291905C4777664 @default.
- W2044291905 hasConceptScore W2044291905C60048249 @default.
- W2044291905 hasConceptScore W2044291905C80444323 @default.
- W2044291905 hasLocation W20442919051 @default.
- W2044291905 hasOpenAccess W2044291905 @default.
- W2044291905 hasPrimaryLocation W20442919051 @default.
- W2044291905 hasRelatedWork W122153333 @default.
- W2044291905 hasRelatedWork W131673639 @default.
- W2044291905 hasRelatedWork W1528350995 @default.
- W2044291905 hasRelatedWork W1530563348 @default.
- W2044291905 hasRelatedWork W1561764937 @default.
- W2044291905 hasRelatedWork W1562467008 @default.
- W2044291905 hasRelatedWork W1570275172 @default.
- W2044291905 hasRelatedWork W175910460 @default.
- W2044291905 hasRelatedWork W181636263 @default.
- W2044291905 hasRelatedWork W1974242432 @default.
- W2044291905 hasRelatedWork W1988608457 @default.
- W2044291905 hasRelatedWork W2105429231 @default.
- W2044291905 hasRelatedWork W2189300559 @default.
- W2044291905 hasRelatedWork W2242071628 @default.
- W2044291905 hasRelatedWork W2285046923 @default.
- W2044291905 hasRelatedWork W2346658183 @default.
- W2044291905 hasRelatedWork W3010737172 @default.
- W2044291905 hasRelatedWork W3102782445 @default.
- W2044291905 hasRelatedWork W3161941797 @default.
- W2044291905 hasRelatedWork W3168724739 @default.
- W2044291905 isParatext "false" @default.
- W2044291905 isRetracted "false" @default.
- W2044291905 magId "2044291905" @default.
- W2044291905 workType "article" @default.