Lost in Translation: Forgetful Semantic Anchoring
Author
Abstract

Assigning behavioral semantics to domain-specific languages (DSLs) opens the door for the application of formal methods, yet is largely an unresolved problem. Previously proposed solutions include semantic anchoring, in which a transformation from the DSL to an external framework that can supply both behavioral semantics and apply formal methods is constructed. The drawback of this approach is that it loses the structural constraints of the original DSL along with the details of the transformation, which can lead to erroneous results when formal methods are applied.

Year of Publication
2009
Conference Name
Automated Software Engineering
Date Published
11/2009
Conference Location
Auckland, New Zealand
Attachments
Document
Google Scholar | BibTeX | XML