Matches in SemOpenAlex for { <https://semopenalex.org/work/W2938334939> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2938334939 abstract "Many of today’s safety-critical systems are reactive, embedded systems. Their internal behavior is usually represented by state-based models. Furthermore, as the tasks carried out by such systems are getting more and more complex, there is a strong need for compositional modeling languages. Such modeling formalisms start from the component-level and use composition to build the system-level model as a collection of simple modules. There are a number of solutions supporting the model-based development of safety-critical embedded systems. One of the popular open-source tools is Yakindu, a statechart editor with a rich language and code generation capabilities. However, Yakindu so far lacks support for compositional modeling. This paper proposes a formal compositional language tailored to the semantics of Yakindu statecharts. We propose precise semantics for the composition to facilitate formal analysis and precise code generation. Based on the formal basis laid out here, we plan to build a complete tool-chain for the design and verification of component-based reactive systems." @default.
- W2938334939 created "2019-04-25" @default.
- W2938334939 creator A5030684825 @default.
- W2938334939 creator A5062314301 @default.
- W2938334939 date "2017-01-01" @default.
- W2938334939 modified "2023-09-26" @default.
- W2938334939 title "Formal Compositional Semantics for Yakindu Statecharts" @default.
- W2938334939 cites W2084772005 @default.
- W2938334939 cites W2133038101 @default.
- W2938334939 cites W2403361405 @default.
- W2938334939 cites W2415471432 @default.
- W2938334939 hasPublicationYear "2017" @default.
- W2938334939 type Work @default.
- W2938334939 sameAs 2938334939 @default.
- W2938334939 citedByCount "0" @default.
- W2938334939 crossrefType "book-chapter" @default.
- W2938334939 hasAuthorship W2938334939A5030684825 @default.
- W2938334939 hasAuthorship W2938334939A5062314301 @default.
- W2938334939 hasConcept C111919701 @default.
- W2938334939 hasConcept C115903868 @default.
- W2938334939 hasConcept C121332964 @default.
- W2938334939 hasConcept C133162039 @default.
- W2938334939 hasConcept C146499914 @default.
- W2938334939 hasConcept C156325763 @default.
- W2938334939 hasConcept C168167062 @default.
- W2938334939 hasConcept C171018156 @default.
- W2938334939 hasConcept C179603123 @default.
- W2938334939 hasConcept C184337299 @default.
- W2938334939 hasConcept C199360897 @default.
- W2938334939 hasConcept C2524010 @default.
- W2938334939 hasConcept C26517878 @default.
- W2938334939 hasConcept C2777904410 @default.
- W2938334939 hasConcept C33923547 @default.
- W2938334939 hasConcept C41008148 @default.
- W2938334939 hasConcept C97355855 @default.
- W2938334939 hasConceptScore W2938334939C111919701 @default.
- W2938334939 hasConceptScore W2938334939C115903868 @default.
- W2938334939 hasConceptScore W2938334939C121332964 @default.
- W2938334939 hasConceptScore W2938334939C133162039 @default.
- W2938334939 hasConceptScore W2938334939C146499914 @default.
- W2938334939 hasConceptScore W2938334939C156325763 @default.
- W2938334939 hasConceptScore W2938334939C168167062 @default.
- W2938334939 hasConceptScore W2938334939C171018156 @default.
- W2938334939 hasConceptScore W2938334939C179603123 @default.
- W2938334939 hasConceptScore W2938334939C184337299 @default.
- W2938334939 hasConceptScore W2938334939C199360897 @default.
- W2938334939 hasConceptScore W2938334939C2524010 @default.
- W2938334939 hasConceptScore W2938334939C26517878 @default.
- W2938334939 hasConceptScore W2938334939C2777904410 @default.
- W2938334939 hasConceptScore W2938334939C33923547 @default.
- W2938334939 hasConceptScore W2938334939C41008148 @default.
- W2938334939 hasConceptScore W2938334939C97355855 @default.
- W2938334939 hasLocation W29383349391 @default.
- W2938334939 hasOpenAccess W2938334939 @default.
- W2938334939 hasPrimaryLocation W29383349391 @default.
- W2938334939 hasRelatedWork W144247107 @default.
- W2938334939 hasRelatedWork W1495238513 @default.
- W2938334939 hasRelatedWork W1516439610 @default.
- W2938334939 hasRelatedWork W1568096594 @default.
- W2938334939 hasRelatedWork W1699032601 @default.
- W2938334939 hasRelatedWork W1789853042 @default.
- W2938334939 hasRelatedWork W1969913838 @default.
- W2938334939 hasRelatedWork W2118623132 @default.
- W2938334939 hasRelatedWork W2156245384 @default.
- W2938334939 hasRelatedWork W2158425043 @default.
- W2938334939 hasRelatedWork W2199853937 @default.
- W2938334939 hasRelatedWork W2250681557 @default.
- W2938334939 hasRelatedWork W2395994884 @default.
- W2938334939 hasRelatedWork W2476805165 @default.
- W2938334939 hasRelatedWork W2526022600 @default.
- W2938334939 hasRelatedWork W2806778610 @default.
- W2938334939 hasRelatedWork W2996833424 @default.
- W2938334939 hasRelatedWork W338384860 @default.
- W2938334939 hasRelatedWork W2131501771 @default.
- W2938334939 hasRelatedWork W2161269507 @default.
- W2938334939 isParatext "false" @default.
- W2938334939 isRetracted "false" @default.
- W2938334939 magId "2938334939" @default.
- W2938334939 workType "book-chapter" @default.