Matches in SemOpenAlex for { <https://semopenalex.org/work/W171551482> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W171551482 endingPage "51" @default.
- W171551482 startingPage "35" @default.
- W171551482 abstract "The increasing complexity of software development requires rigorously defined domain specific modeling languages (dsml). Model-driven engineering (mde) allows users to define a dsml’s syntax in terms of metamodels. The behaviour of a language can also be described, either operationally, or via transformations to other languages (e.g., by code generation). If the first approach requires to redefine analysis tools for each dsml (simulator, model-checker...), the second approach allows to reuse existing tools in the targeted language. However, the second approach (also called translational semantics) imply that the results (e.g., a program crash log, or a counterexample returned by a model checker) may not be straightforward to interpret by the users of a dsml. We propose in this paper a generic tool for formally tracing such analysis/execution results back to the original dsml’s syntax and operational semantics, and we illustrate it on xSPEM, a timed process modeling language." @default.
- W171551482 created "2016-06-24" @default.
- W171551482 creator A5059186408 @default.
- W171551482 creator A5066780988 @default.
- W171551482 creator A5079739010 @default.
- W171551482 date "2011-01-01" @default.
- W171551482 modified "2023-09-24" @default.
- W171551482 title "A Generic Tool for Tracing Executions Back to a DSML’s Operational Semantics" @default.
- W171551482 cites W1517759046 @default.
- W171551482 cites W1978613757 @default.
- W171551482 cites W1985964670 @default.
- W171551482 cites W1990228414 @default.
- W171551482 cites W2056245653 @default.
- W171551482 cites W2066015890 @default.
- W171551482 cites W2070996046 @default.
- W171551482 cites W2158395308 @default.
- W171551482 doi "https://doi.org/10.1007/978-3-642-21470-7_4" @default.
- W171551482 hasPublicationYear "2011" @default.
- W171551482 type Work @default.
- W171551482 sameAs 171551482 @default.
- W171551482 citedByCount "14" @default.
- W171551482 countsByYear W1715514822012 @default.
- W171551482 countsByYear W1715514822013 @default.
- W171551482 countsByYear W1715514822014 @default.
- W171551482 countsByYear W1715514822015 @default.
- W171551482 countsByYear W1715514822016 @default.
- W171551482 countsByYear W1715514822019 @default.
- W171551482 countsByYear W1715514822021 @default.
- W171551482 crossrefType "book-chapter" @default.
- W171551482 hasAuthorship W171551482A5059186408 @default.
- W171551482 hasAuthorship W171551482A5066780988 @default.
- W171551482 hasAuthorship W171551482A5079739010 @default.
- W171551482 hasBestOaLocation W1715514823 @default.
- W171551482 hasConcept C114408938 @default.
- W171551482 hasConcept C115903868 @default.
- W171551482 hasConcept C138673069 @default.
- W171551482 hasConcept C154945302 @default.
- W171551482 hasConcept C156325763 @default.
- W171551482 hasConcept C179603123 @default.
- W171551482 hasConcept C184337299 @default.
- W171551482 hasConcept C199360897 @default.
- W171551482 hasConcept C2777904410 @default.
- W171551482 hasConcept C41008148 @default.
- W171551482 hasConcept C60048249 @default.
- W171551482 hasConceptScore W171551482C114408938 @default.
- W171551482 hasConceptScore W171551482C115903868 @default.
- W171551482 hasConceptScore W171551482C138673069 @default.
- W171551482 hasConceptScore W171551482C154945302 @default.
- W171551482 hasConceptScore W171551482C156325763 @default.
- W171551482 hasConceptScore W171551482C179603123 @default.
- W171551482 hasConceptScore W171551482C184337299 @default.
- W171551482 hasConceptScore W171551482C199360897 @default.
- W171551482 hasConceptScore W171551482C2777904410 @default.
- W171551482 hasConceptScore W171551482C41008148 @default.
- W171551482 hasConceptScore W171551482C60048249 @default.
- W171551482 hasLocation W1715514821 @default.
- W171551482 hasLocation W1715514822 @default.
- W171551482 hasLocation W1715514823 @default.
- W171551482 hasLocation W1715514824 @default.
- W171551482 hasLocation W1715514825 @default.
- W171551482 hasOpenAccess W171551482 @default.
- W171551482 hasPrimaryLocation W1715514821 @default.
- W171551482 hasRelatedWork W12785170 @default.
- W171551482 hasRelatedWork W1583756929 @default.
- W171551482 hasRelatedWork W2026889117 @default.
- W171551482 hasRelatedWork W2140443934 @default.
- W171551482 hasRelatedWork W2203405714 @default.
- W171551482 hasRelatedWork W2395279796 @default.
- W171551482 hasRelatedWork W2440748874 @default.
- W171551482 hasRelatedWork W2514398768 @default.
- W171551482 hasRelatedWork W2997632994 @default.
- W171551482 hasRelatedWork W4246531319 @default.
- W171551482 isParatext "false" @default.
- W171551482 isRetracted "false" @default.
- W171551482 magId "171551482" @default.
- W171551482 workType "book-chapter" @default.