Projekt i implementacja języka specyficznego dla domeny do specyfikacji maszyn stanów

Abstract

Praca opisuje projekt oraz implementację języka specjalizowanego (ang. Domain Specific Language, DSL) przeznaczonego do tworzenia oprogramowania w oparciu o koncepcję maszyn stanowych do użycia w urządzeniach przemysłowych. Główne założenia dotyczące języka to: • język “klasyczny”, tj. oparty o pliki tekstowe • prosta składnia służąca do specyfikacji maszyny stanów • statyczna kontrola typów • rezultatem kompilacji jest kod w języku C lub innym, wybranym przez użytkownika • wygenerowany kod nie powinien zależeć od jakichkolwiek bibliotek zewnętrznych, w idealnej sytuacji także od tych, które należą do biblioteki standardowej języka wyjściowego • możliwość automatycznego przedstawienia powstałej maszyny stanów w postaci graficznej, co pozwala na łatwiejsze zrozumienie zdefiniowanego procesu Wszystkie założenia zostały zrealizowane, przy czym generowany jest jedynie kod w języku C. Dodatkowo zbadano także wydajność różnych implementacji mechanizmu realizującego zmianę stanu maszyny w odpowiedzi na przychodzący sygnał. Rozwiązanie zostało użyte z sukcesem w projekcie komercyjnym realizowanym przez autora.