Geodesic
Operational Semantics in a Domain-Specific Robot Control Language: a Pedagogical Use Case
Computer Science and Information Systems, Tome 21 (2024) no. 3.

Voir la notice de l'article provenant de la source Computer Science and Information Systems website

In this paper, we focus on some aspects of structural operational semantics for a selected domain-specific language for robot control. After defining a syntax for two independent languages for control of a robot’s movements, we define a structural operational semantics for them. The integrated part of structural operational semantics is abstract implementation, which consists of defining abstract machine and transformation of a programming language to abstract machine instructions. The achieved results as well as the mentioned research are a part of the research in the field of semantic methods, where we focus on the formalization of semantic methods for software engineering. This area is also very important for the training of students and young IT experts because the semantic methods can help to understand program behavior and detect errors in program design. To make the teaching of formal semantics in the field of domain-specific languages more attractive, we have also prepared an application that serves to visualize the individual steps of the program on an abstract machine – simulation of translated code with visualization of a robot’s movement.
Keywords: Abstract machine, containerization, domain-specific language, formal semantics, micro-service, online teaching, teaching software, university didactic 
@article{CSIS_2024_21_3_a18,
     author = {William Steingartner and Valerie Novitzk\'a},
     title = {Operational {Semantics} in a {Domain-Specific} {Robot} {Control} {Language:} a {Pedagogical} {Use} {Case}},
     journal = {Computer Science and Information Systems},
     publisher = {mathdoc},
     volume = {21},
     number = {3},
     year = {2024},
     url = {http://geodesic.mathdoc.fr/item/CSIS_2024_21_3_a18/}
}
TY  - JOUR
AU  - William Steingartner
AU  - Valerie Novitzká
TI  - Operational Semantics in a Domain-Specific Robot Control Language: a Pedagogical Use Case
JO  - Computer Science and Information Systems
PY  - 2024
VL  - 21
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2024_21_3_a18/
ID  - CSIS_2024_21_3_a18
ER  - 
%0 Journal Article
%A William Steingartner
%A Valerie Novitzká
%T Operational Semantics in a Domain-Specific Robot Control Language: a Pedagogical Use Case
%J Computer Science and Information Systems
%D 2024
%V 21
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2024_21_3_a18/
%F CSIS_2024_21_3_a18
William Steingartner; Valerie Novitzká. Operational Semantics in a Domain-Specific Robot Control Language: a Pedagogical Use Case. Computer Science and Information Systems, Tome 21 (2024) no. 3. http://geodesic.mathdoc.fr/item/CSIS_2024_21_3_a18/