Wolfgang Schreiner, William Steingartner,
"Semantics-Based Rapid Prototyping of a Machine Controller Language"
, in Valerie Novitzká, Anikó Szakál: 2024 IEEE 17th International Scientific Conference on Informatics, Poprad, Slovakia, November 13-15, IEEE, Seite(n) 348--353, 2024, ISBN: 979-8-3503-8767-4
Original Titel:
Semantics-Based Rapid Prototyping of a Machine Controller Language
Sprache des Titels:
Englisch
Original Buchtitel:
2024 IEEE 17th International Scientific Conference on Informatics, Poprad, Slovakia, November 13-15
Original Kurzfassung:
We present the use of the semantics-based language generator SLANG to implement a machine controller language EFSM which is based on the principle of extended finite state machines. SLANG allows to rapidly prototype EFSM by a formal definition of the language's abstract syntax, concrete syntax, type system, and denotational semantics; from this, SLANG generates a parser, a printer, a type checker, and an interpreter for EFSM. Subsequently we implement in EFSM a controller for an (idealized) robot vacuum cleaner and validate its operation by simulation and visualization. Our presentation may thus also serve as a template for the semantics-based rapid prototyping of other domain-specific languages.
Forschungs-