About the journal

• Home page
• Contact information
• Aims and scope
• Indexing information
• Editorial policies
• ComSIS consortium
• Journal boards
• Managing board

For authors

• Information for contributors
• Paper submission
• Article submission through OJS
• Copyright transfer form
• Download section

For readers

• Forthcoming articles
• Current issue
• Archive

For reviewers

• View and review submissions

News

• Journal's Facebook page
• Calls for special issues
• New issue notification

Operational Semantics in a Domain-Specific Robot Control Language: a Pedagogical Use Case

William Steingartner¹   and Valerie Novitzká¹  

1. Technical University of Košice, Faculty of Electrical Engineering and Informatics
   Košice, Slovakia
   {william.steingartner, valerie.novitzka}@tuke.sk

Abstract

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.

Key words

Abstract machine, containerization, domain-specific language, formal semantics, micro-service, online teaching, teaching software, university didactic

Digital Object Identifier (DOI)

https://doi.org/10.2298/CSIS230709028S

Publication information

Volume 21, Issue 3 (June 2024)
Year of Publication: 2024
ISSN: 2406-1018 (Online)
Publisher: ComSIS Consortium

Full text

Available in PDF
Portable Document Format

How to cite

Steingartner, W., Novitzká, V.: Operational Semantics in a Domain-Specific Robot Control Language: a Pedagogical Use Case. Computer Science and Information Systems, Vol. 21, No. 3, 1077-1095. (2024), https://doi.org/10.2298/CSIS230709028S