\clearpage 
\phantomsection 
\addcontentsline{toc}{chapter}{Abstract}
\chapter*{Abstract}


Over the years, the statecharts formalism has been proven to be useful for the development of reactive systems. However, the semantics of statecharts are not precise, with implementations making their own semantic decisions. 

This thesis is a study of the possible semantics of statecharts, based on the work on Big-Step Modeling Languages, and an implementation of these semantics in a statechart interpreter. By supporting a range of semantics, the modeler can select the semantics most fit for the problem at hand, and we can claim (some level of) compatibility with existing implementations. As part of our statechart language, an action language was developed, in order to support certain variable assignment semantics, and to make models portable.

We evaluate our solution by comparing it to the open-source statechart IDE and compiler YAKINDU, studying its semantics and features, and perform a case study, implementing example models in both solutions.

% \todo{Hier SCCD (statecharts + class diagrams) vermelden? De reden dat ik dit niet doe is omdat ik in deze thesis niks bijdraag aan het `CD'-gedeelte}
