Combining DSLs and Ontologies using Metamodel Integration
Here are the slides of my talk about "Combining DSLs and Ontologies using Metamodel Integration". The paper can be found here. Please feel free to comment on both!
Linking entities across languages is important and widespread -- from providing source-line information in a DSL debugger to retrieving the result of a SAT/SMT solver in higher-level terms. One question that persists in this work and other works on cross-language integration is, what is the specification of a successful integration? For example, what criterion is there to rule out a trivial integration such as taking the disjoint union of all source languages?
Linking entities across languages is important and widespread -- from providing source-line information in a DSL debugger to retrieving the result of a SAT/SMT solver in higher-level terms. One question that persists in this work and other works on cross-language integration is, what is the specification of a successful integration? For example, what criterion is there to rule out a trivial integration such as taking the disjoint union of all source languages?
ReplyDelete