FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2066015890> ?p ?o ?g. }

• W2066015890 abstract "Model-driven analysis aims at detecting design flaws early in high-level design models by automatically deriving mathematical models. These analysis models are subsequently investigated by formal verification and validation (V&V) tools, which may retrieve traces violating a certain requirement. Back-annotation aims at mapping back the results of V&V tools to the design model in order to highlight the real source of the fault, to ease making necessary amendments. Here we propose a technique for the back-annotation of simulation traces based on change-driven model transformations. Simulation traces of analysis models will be persisted as a change model with high-level change commands representing macro steps of a trace. This trace is back-annotated to the design model using change-driven transformation rules, which bridge the conceptual differences between macro steps in the analysis and design traces. Our concepts will be demonstrated on the back-annotation problem for analyzing BPEL processes using a Petri net simulator." @default.
• W2066015890 created "2016-06-24" @default.
• W2066015890 creator A5017994605 @default.
• W2066015890 creator A5018477219 @default.
• W2066015890 creator A5064890236 @default.
• W2066015890 creator A5091366128 @default.
• W2066015890 date "2010-09-01" @default.
• W2066015890 modified "2023-10-18" @default.
• W2066015890 title "Back-annotation of Simulation Traces with Change-Driven Model Transformations" @default.
• W2066015890 cites W1482911025 @default.
• W2066015890 cites W1495802909 @default.
• W2066015890 cites W1511484581 @default.
• W2066015890 cites W1532767067 @default.
• W2066015890 cites W1982098671 @default.
• W2066015890 cites W1985964670 @default.
• W2066015890 cites W1997864678 @default.
• W2066015890 cites W2067130140 @default.
• W2066015890 cites W2096045495 @default.
• W2066015890 cites W2099397123 @default.
• W2066015890 cites W2124789887 @default.
• W2066015890 cites W2137658102 @default.
• W2066015890 cites W2139161611 @default.
• W2066015890 cites W2153019760 @default.
• W2066015890 cites W2153204881 @default.
• W2066015890 cites W3144844596 @default.
• W2066015890 cites W4230958226 @default.
• W2066015890 doi "https://doi.org/10.1109/sefm.2010.28" @default.
• W2066015890 hasPublicationYear "2010" @default.
• W2066015890 type Work @default.
• W2066015890 sameAs 2066015890 @default.
• W2066015890 citedByCount "37" @default.
• W2066015890 countsByYear W20660158902012 @default.
• W2066015890 countsByYear W20660158902013 @default.
• W2066015890 countsByYear W20660158902014 @default.
• W2066015890 countsByYear W20660158902015 @default.
• W2066015890 countsByYear W20660158902016 @default.
• W2066015890 countsByYear W20660158902018 @default.
• W2066015890 countsByYear W20660158902019 @default.
• W2066015890 countsByYear W20660158902020 @default.
• W2066015890 countsByYear W20660158902021 @default.
• W2066015890 countsByYear W20660158902022 @default.
• W2066015890 countsByYear W20660158902023 @default.
• W2066015890 crossrefType "proceedings-article" @default.
• W2066015890 hasAuthorship W2066015890A5017994605 @default.
• W2066015890 hasAuthorship W2066015890A5018477219 @default.
• W2066015890 hasAuthorship W2066015890A5064890236 @default.
• W2066015890 hasAuthorship W2066015890A5091366128 @default.
• W2066015890 hasBestOaLocation W20660158902 @default.
• W2066015890 hasConcept C100776233 @default.
• W2066015890 hasConcept C104317684 @default.
• W2066015890 hasConcept C115903868 @default.
• W2066015890 hasConcept C124101348 @default.
• W2066015890 hasConcept C126322002 @default.
• W2066015890 hasConcept C138885662 @default.
• W2066015890 hasConcept C154945302 @default.
• W2066015890 hasConcept C166955791 @default.
• W2066015890 hasConcept C185592680 @default.
• W2066015890 hasConcept C199360897 @default.
• W2066015890 hasConcept C204241405 @default.
• W2066015890 hasConcept C2776321320 @default.
• W2066015890 hasConcept C2776436953 @default.
• W2066015890 hasConcept C2779791154 @default.
• W2066015890 hasConcept C35578498 @default.
• W2066015890 hasConcept C38677869 @default.
• W2066015890 hasConcept C41008148 @default.
• W2066015890 hasConcept C41895202 @default.
• W2066015890 hasConcept C4927394 @default.
• W2066015890 hasConcept C55493867 @default.
• W2066015890 hasConcept C57041688 @default.
• W2066015890 hasConcept C71924100 @default.
• W2066015890 hasConcept C75291252 @default.
• W2066015890 hasConceptScore W2066015890C100776233 @default.
• W2066015890 hasConceptScore W2066015890C104317684 @default.
• W2066015890 hasConceptScore W2066015890C115903868 @default.
• W2066015890 hasConceptScore W2066015890C124101348 @default.
• W2066015890 hasConceptScore W2066015890C126322002 @default.
• W2066015890 hasConceptScore W2066015890C138885662 @default.
• W2066015890 hasConceptScore W2066015890C154945302 @default.
• W2066015890 hasConceptScore W2066015890C166955791 @default.
• W2066015890 hasConceptScore W2066015890C185592680 @default.
• W2066015890 hasConceptScore W2066015890C199360897 @default.
• W2066015890 hasConceptScore W2066015890C204241405 @default.
• W2066015890 hasConceptScore W2066015890C2776321320 @default.
• W2066015890 hasConceptScore W2066015890C2776436953 @default.
• W2066015890 hasConceptScore W2066015890C2779791154 @default.
• W2066015890 hasConceptScore W2066015890C35578498 @default.
• W2066015890 hasConceptScore W2066015890C38677869 @default.
• W2066015890 hasConceptScore W2066015890C41008148 @default.
• W2066015890 hasConceptScore W2066015890C41895202 @default.
• W2066015890 hasConceptScore W2066015890C4927394 @default.
• W2066015890 hasConceptScore W2066015890C55493867 @default.
• W2066015890 hasConceptScore W2066015890C57041688 @default.
• W2066015890 hasConceptScore W2066015890C71924100 @default.
• W2066015890 hasConceptScore W2066015890C75291252 @default.
• W2066015890 hasLocation W20660158901 @default.
• W2066015890 hasLocation W20660158902 @default.
• W2066015890 hasOpenAccess W2066015890 @default.
• W2066015890 hasPrimaryLocation W20660158901 @default.
• W2066015890 hasRelatedWork W1551257573 @default.
• W2066015890 hasRelatedWork W1994991838 @default.

• next