Eduard Kamburjan will give a talk about his work on Semantical Reflection: Programs, Digital Twins, Correctness. Details below.
SPEAKER
Eduard Kamburjan, Prof., ITU.
TITLE
Semantical Reflection: Programs, Digital Twins, Correctness
ABSTRACT
While knowledge graphs and ontologies are eminently useful to represent formal knowledge about a system’s individuals and universals, programming languages are designed to describe a system’s evolution. To address the dichotomy, we use a mapping that lifts the program states of an object-oriented programming language into a knowledge graph, including the running program’s objects, fields, and call stack. The resulting graph is exposed as a semantic reflection layer within the programming language that can be accessed from the very same program that is lifted, allowing programmers to leverage knowledge of the application domain in their programs. In this talk, we present the core ideas about using semantic reflection to include domain knowledge into the programming language semantics and specification, as well as the design of self-adaptive digital twins.