Matches in SemOpenAlex for { <https://semopenalex.org/work/W3093466097> ?p ?o ?g. }
- W3093466097 endingPage "866" @default.
- W3093466097 startingPage "837" @default.
- W3093466097 abstract "Abstract By bridging the semantic gap, domain-specific language (DSLs) serve an important role in the conquest to allow domain experts to model their systems themselves. In this publication we present a case study of the development of the Continuous REactive SysTems language (CREST), a DSL for hybrid systems modeling. The language focuses on the representation of continuous resource flows such as water, electricity, light or heat. Our methodology follows a very pragmatic approach, combining the syntactic and semantic principles of well-known modeling means such as hybrid automata, data-flow languages and architecture description languages into a coherent language. The borrowed aspects have been carefully combined and formalised in a well-defined operational semantics. The DSL provides two concrete syntaxes: CREST diagrams, a graphical language that is easily understandable and serves as a model basis, and , an internal DSL implementation that supports rapid prototyping—both are geared towards usability and clarity. We present the DSL’s semantics, which thoroughly connect the various language concerns into an executable formalism that enables sound simulation and formal verification in , and discuss the lessons learned throughout the project." @default.
- W3093466097 created "2020-10-22" @default.
- W3093466097 creator A5013795728 @default.
- W3093466097 creator A5027849434 @default.
- W3093466097 date "2020-10-14" @default.
- W3093466097 modified "2023-09-26" @default.
- W3093466097 title "Pragmatic reuse for DSML development" @default.
- W3093466097 cites W1480909796 @default.
- W3093466097 cites W1496681274 @default.
- W3093466097 cites W1509606339 @default.
- W3093466097 cites W1530797069 @default.
- W3093466097 cites W1963927741 @default.
- W3093466097 cites W1967525886 @default.
- W3093466097 cites W1970901627 @default.
- W3093466097 cites W2004463571 @default.
- W3093466097 cites W2009373533 @default.
- W3093466097 cites W2010806372 @default.
- W3093466097 cites W2015984879 @default.
- W3093466097 cites W2033395497 @default.
- W3093466097 cites W2066437172 @default.
- W3093466097 cites W2067400512 @default.
- W3093466097 cites W2079285359 @default.
- W3093466097 cites W2081938726 @default.
- W3093466097 cites W2083076268 @default.
- W3093466097 cites W2089438716 @default.
- W3093466097 cites W2099165995 @default.
- W3093466097 cites W2113615583 @default.
- W3093466097 cites W2114739399 @default.
- W3093466097 cites W2118165464 @default.
- W3093466097 cites W2121519505 @default.
- W3093466097 cites W2125415493 @default.
- W3093466097 cites W2128248825 @default.
- W3093466097 cites W2130773092 @default.
- W3093466097 cites W2137196294 @default.
- W3093466097 cites W2149819457 @default.
- W3093466097 cites W2155028447 @default.
- W3093466097 cites W2155811294 @default.
- W3093466097 cites W2162507856 @default.
- W3093466097 cites W2165203881 @default.
- W3093466097 cites W2238074379 @default.
- W3093466097 cites W2258770051 @default.
- W3093466097 cites W2263025590 @default.
- W3093466097 cites W2271274854 @default.
- W3093466097 cites W2480109147 @default.
- W3093466097 cites W2769171049 @default.
- W3093466097 cites W2792117579 @default.
- W3093466097 cites W2894135468 @default.
- W3093466097 cites W2981053879 @default.
- W3093466097 cites W3157866078 @default.
- W3093466097 cites W4205958241 @default.
- W3093466097 cites W4230365604 @default.
- W3093466097 cites W4252622709 @default.
- W3093466097 doi "https://doi.org/10.1007/s10270-020-00831-4" @default.
- W3093466097 hasPublicationYear "2020" @default.
- W3093466097 type Work @default.
- W3093466097 sameAs 3093466097 @default.
- W3093466097 citedByCount "3" @default.
- W3093466097 countsByYear W30934660972021 @default.
- W3093466097 countsByYear W30934660972023 @default.
- W3093466097 crossrefType "journal-article" @default.
- W3093466097 hasAuthorship W3093466097A5013795728 @default.
- W3093466097 hasAuthorship W3093466097A5027849434 @default.
- W3093466097 hasBestOaLocation W30934660971 @default.
- W3093466097 hasConcept C107457646 @default.
- W3093466097 hasConcept C115903868 @default.
- W3093466097 hasConcept C145644426 @default.
- W3093466097 hasConcept C156325763 @default.
- W3093466097 hasConcept C160145156 @default.
- W3093466097 hasConcept C170130773 @default.
- W3093466097 hasConcept C179603123 @default.
- W3093466097 hasConcept C184337299 @default.
- W3093466097 hasConcept C199360897 @default.
- W3093466097 hasConcept C201374245 @default.
- W3093466097 hasConcept C2777904410 @default.
- W3093466097 hasConcept C41008148 @default.
- W3093466097 hasConcept C48859967 @default.
- W3093466097 hasConcept C76155785 @default.
- W3093466097 hasConcept C86610423 @default.
- W3093466097 hasConceptScore W3093466097C107457646 @default.
- W3093466097 hasConceptScore W3093466097C115903868 @default.
- W3093466097 hasConceptScore W3093466097C145644426 @default.
- W3093466097 hasConceptScore W3093466097C156325763 @default.
- W3093466097 hasConceptScore W3093466097C160145156 @default.
- W3093466097 hasConceptScore W3093466097C170130773 @default.
- W3093466097 hasConceptScore W3093466097C179603123 @default.
- W3093466097 hasConceptScore W3093466097C184337299 @default.
- W3093466097 hasConceptScore W3093466097C199360897 @default.
- W3093466097 hasConceptScore W3093466097C201374245 @default.
- W3093466097 hasConceptScore W3093466097C2777904410 @default.
- W3093466097 hasConceptScore W3093466097C41008148 @default.
- W3093466097 hasConceptScore W3093466097C48859967 @default.
- W3093466097 hasConceptScore W3093466097C76155785 @default.
- W3093466097 hasConceptScore W3093466097C86610423 @default.
- W3093466097 hasFunder F4320320366 @default.
- W3093466097 hasFunder F4320321942 @default.
- W3093466097 hasIssue "3" @default.
- W3093466097 hasLocation W30934660971 @default.
- W3093466097 hasOpenAccess W3093466097 @default.