Matches in SemOpenAlex for { <https://semopenalex.org/work/W47697675> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W47697675 abstract "Graph transformation is often used to transform domain models from one domain specific language (DSML) to another. In some cases, the DSMLs are based on a formalism that has many implementation variants, such as Statecharts. For instance, it could be necessary to transform iLogix Statechart models into Matlab Stateflow models. The preservation of behavior of the models is crucial in such transformations. Bisimulation has previously been demonstrated as an approach to verifying behavior preservation, and semantic anchoring is an approach to specifying the dynamic semantics of DSMLs. We propose a method to verify behavior preservation, using bisimulation in conjunction with semantic anchoring. We will consider two hypothetical variants of the Statecharts formalism, and specify the operational semantics of each variant by semantic anchoring, using Abstract State Machines as a common semantic framework. We then establish bisimulation properties to verify if the behavior models of the source and target Statechart models are equivalent for a particular execution of the transformation." @default.
- W47697675 created "2016-06-24" @default.
- W47697675 creator A5000142741 @default.
- W47697675 creator A5082014236 @default.
- W47697675 date "2006-12-11" @default.
- W47697675 modified "2023-09-23" @default.
- W47697675 title "Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations" @default.
- W47697675 cites W116431634 @default.
- W47697675 cites W1503767920 @default.
- W47697675 cites W1505618619 @default.
- W47697675 cites W1986356261 @default.
- W47697675 cites W1988633486 @default.
- W47697675 cites W2017362344 @default.
- W47697675 cites W2019952623 @default.
- W47697675 cites W2099529102 @default.
- W47697675 cites W2124789887 @default.
- W47697675 cites W2153725539 @default.
- W47697675 cites W2162354236 @default.
- W47697675 cites W2168948159 @default.
- W47697675 cites W2339907894 @default.
- W47697675 cites W1556402419 @default.
- W47697675 doi "https://doi.org/10.14279/tuj.eceasst.4.22" @default.
- W47697675 hasPublicationYear "2006" @default.
- W47697675 type Work @default.
- W47697675 sameAs 47697675 @default.
- W47697675 citedByCount "7" @default.
- W47697675 countsByYear W476976752019 @default.
- W47697675 crossrefType "journal-article" @default.
- W47697675 hasAuthorship W47697675A5000142741 @default.
- W47697675 hasAuthorship W47697675A5082014236 @default.
- W47697675 hasConcept C110251889 @default.
- W47697675 hasConcept C11413529 @default.
- W47697675 hasConcept C127413603 @default.
- W47697675 hasConcept C132525143 @default.
- W47697675 hasConcept C135315306 @default.
- W47697675 hasConcept C142362112 @default.
- W47697675 hasConcept C153349607 @default.
- W47697675 hasConcept C154945302 @default.
- W47697675 hasConcept C156325763 @default.
- W47697675 hasConcept C184337299 @default.
- W47697675 hasConcept C18483071 @default.
- W47697675 hasConcept C199360897 @default.
- W47697675 hasConcept C2776436953 @default.
- W47697675 hasConcept C2779791154 @default.
- W47697675 hasConcept C41008148 @default.
- W47697675 hasConcept C558565934 @default.
- W47697675 hasConcept C558772884 @default.
- W47697675 hasConcept C66938386 @default.
- W47697675 hasConcept C73301696 @default.
- W47697675 hasConcept C80444323 @default.
- W47697675 hasConceptScore W47697675C110251889 @default.
- W47697675 hasConceptScore W47697675C11413529 @default.
- W47697675 hasConceptScore W47697675C127413603 @default.
- W47697675 hasConceptScore W47697675C132525143 @default.
- W47697675 hasConceptScore W47697675C135315306 @default.
- W47697675 hasConceptScore W47697675C142362112 @default.
- W47697675 hasConceptScore W47697675C153349607 @default.
- W47697675 hasConceptScore W47697675C154945302 @default.
- W47697675 hasConceptScore W47697675C156325763 @default.
- W47697675 hasConceptScore W47697675C184337299 @default.
- W47697675 hasConceptScore W47697675C18483071 @default.
- W47697675 hasConceptScore W47697675C199360897 @default.
- W47697675 hasConceptScore W47697675C2776436953 @default.
- W47697675 hasConceptScore W47697675C2779791154 @default.
- W47697675 hasConceptScore W47697675C41008148 @default.
- W47697675 hasConceptScore W47697675C558565934 @default.
- W47697675 hasConceptScore W47697675C558772884 @default.
- W47697675 hasConceptScore W47697675C66938386 @default.
- W47697675 hasConceptScore W47697675C73301696 @default.
- W47697675 hasConceptScore W47697675C80444323 @default.
- W47697675 hasLocation W476976751 @default.
- W47697675 hasOpenAccess W47697675 @default.
- W47697675 hasPrimaryLocation W476976751 @default.
- W47697675 hasRelatedWork W1535095256 @default.
- W47697675 hasRelatedWork W156775712 @default.
- W47697675 hasRelatedWork W1804076355 @default.
- W47697675 hasRelatedWork W1842505272 @default.
- W47697675 hasRelatedWork W1847862552 @default.
- W47697675 hasRelatedWork W1854891796 @default.
- W47697675 hasRelatedWork W1991571782 @default.
- W47697675 hasRelatedWork W2009029954 @default.
- W47697675 hasRelatedWork W2040657499 @default.
- W47697675 hasRelatedWork W2074374115 @default.
- W47697675 hasRelatedWork W2124789887 @default.
- W47697675 hasRelatedWork W2137729790 @default.
- W47697675 hasRelatedWork W2157972201 @default.
- W47697675 hasRelatedWork W2162354236 @default.
- W47697675 hasRelatedWork W2180463795 @default.
- W47697675 hasRelatedWork W2503949570 @default.
- W47697675 hasRelatedWork W2673293219 @default.
- W47697675 hasRelatedWork W86661953 @default.
- W47697675 hasRelatedWork W983581916 @default.
- W47697675 hasRelatedWork W2142242910 @default.
- W47697675 hasVolume "4" @default.
- W47697675 isParatext "false" @default.
- W47697675 isRetracted "false" @default.
- W47697675 magId "47697675" @default.
- W47697675 workType "article" @default.