Abstract
In this paper, we focus on some aspects of structural operational semantics for a selected domain-specific language for robot control, similar to the approach for Karel the Robot. For a given language, we formulate and develop a method of an abstract implementation on an abstract machine for structural operational semantics. 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 in the training of young IT experts, as 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.
This work was supported by the project “A development of the new semantic technologies in educating of young IT experts”, project no. KEGA 011TUKE4/2020, by the Ministry of Education, Science, Research and Sport of the Slovak Republic.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Chamberlain, R., Schommer, J.: Using docker to support reproducible research. Figshare 1101910, 44 (2014). https://doi.org/10.6084/m9.figshare.1101910
Combe, T., Martin, A., Di Pietro, R.: To docker or not to docker: a security perspective. IEEE Cloud Comput. 3(5), 54–62 (2016)
Deursen, A., Klint, P.: Domain-specific language design requires feature descriptions. J. Comput. Inf. Technol. 10, 1–17 (2002)
Deursen, A., Klint, P., Visser, J.: Domain-specific languages: an annotated bibliography. SIGPLAN Not. 35, 26–36 (2000)
Fowler, M.: Domain-Specific Languages. Pearson Education, Boston (2010)
Horpácsi, D., Kőszegi, J.: Formal semantics (2014). regi.tankonyvtar.hu/en/tartalom/tamop412A/2011-0052_05_formal_semantics/index.html. Accessed 14 Dec 2020
Johanson, A.N., Hasselbring, W.: Hierarchical combination of internal and external domain-specific languages for scientific computing. In: Proceedings of the 2014 European Conference on Software Architecture Workshops, pp. 1–8 (2014)
Kollár, J., Porubän, J., Chodarev, S.: Modelovanie a generovanie softvérových architektúr. elfa s.r.o (2012)
Mernik, M., Heering, J., Sloane, A.: When and how to develop domain-specific languages. ACM Comput. Surv. 37, 316–344 (2005). https://doi.org/10.1145/1118890.1118892
Nielson, R.H., Nielson, F.: Semantics with Applications: An Appetizer. Springer, London (2007). https://doi.org/10.1007/978-1-84628-692-6
Parr, T., et al.: What’s ANTLR (2004). www.antlr3.org/share/1084743321127/ANTLR_Reference_Manual.pdf
Patil, S.: Study of container technology with docker. Int. J. Adv. Res. Sci. Commun. Technol. 5, 504–509 (2021)
Rad, B.B., Bhatti, H.J., Ahmadi, M.: An introduction to docker and analysis of its performance. Int. J. Comput. Sci. Netw. Secur. (IJCSNS) 17(3), 228 (2017)
Schreiner, W.: Theorem and algorithm checking for courses on logic and formal methods. In: Quaresma, P., Neuper, W. (eds.) Proceedings 7th International Workshop on Theorem Proving Components for Educational Software, ThEdu@FLoC 2018, Oxford, United Kingdom, 18 July 2018. EPTCS, vol. 290, pp. 56–75 (2018). https://doi.org/10.4204/EPTCS.290.5
Seidametova, Z.: Some methods for improving data structure teaching efficiency. Educ. Dimension 58, 164–175 (2022). https://journal.kdpu.edu.ua/ped/article/view/4509
Steingartner, W.: Compiler module of abstract machine code for formal semantics course. In: 2021 IEEE 19th World Symposium on Applied Machine Intelligence and Informatics (SAMI), pp. 000193–000200 (2021). https://doi.org/10.1109/SAMI50585.2021.9378696
Steingartner, W.: On some innovations in teaching the formal semantics using software tools. Open Comput. Sci. 11(1), 2–11 (2021). https://doi.org/10.1515/comp-2020-0130
Steingartner, W., Gajdoš, E.: The visualization of a graph semantics of imperative language. Polytechnica J. Technol. Educ. 2(5), 7–14 (2021). https://doi.org/10.36978/cte.5.2.1
Steingartner, W., Novitzká, V.: Natural semantics for domain-specific language. In: Bellatreche, L., et al. (eds.) ADBIS 2021. CCIS, vol. 1450, pp. 181–192. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-85082-1_17
Walls, C.: Spring Boot in Action. Manning Publications, New York (2016)
Acknowledgement
The authors express their gratitude to prof. Marjan Mernik for the original idea of how to formulate a domain-specific language for a given application domain. The authors also would like to thank to Dániel Horpácsi and Judit Horpácsiné Kőszegi for their approach to DSL semantics for the robot that motivated us in our research.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 Springer Nature Switzerland AG
About this paper
Cite this paper
Steingartner, W., Baraník, R., Novitzká, V. (2022). Abstract Machine for Operational Semantics of Domain-Specific Language. In: Chiusano, S., et al. New Trends in Database and Information Systems. ADBIS 2022. Communications in Computer and Information Science, vol 1652. Springer, Cham. https://doi.org/10.1007/978-3-031-15743-1_38
Download citation
DOI: https://doi.org/10.1007/978-3-031-15743-1_38
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-15742-4
Online ISBN: 978-3-031-15743-1
eBook Packages: Computer ScienceComputer Science (R0)