Slide 18
Slide 18 text
From Transpilers to Semantic Libraries
• We implemented the approach via a new Ontological-
Operational Modeling Language: OXSTS
• Inspired by KerML
– Extended with Operational elements
– Ontological: types, composition, references, polymorphism,
graph-pattern support
– Operational: variables, explicit steps, operational semantics
• Elements of this approach have been proposed to the
SysML v2 Semantics Working Group to enhance KerML
Proof of Feasibility – Implementation
24