thesis/00-NedSamenvatting.tex

\clearpage 
\phantomsection 
\addcontentsline{toc}{chapter}{Nederlandstalige Samenvatting}
\chapter*{Nederlandstalige Samenvatting}


% 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. 

De toepasbaarheid van het statecharts-formalisme voor het ontwikkelen van reactieve systemen heeft zich over de jaren bewezen. De semantiek van statecharts is echter niet exact bepaald, wat implementaties heeft toegelaten hun eigen semantische keuzes te maken.

% 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 the statechart language, an action language was developed, in order to support certain variable assignment semantics, and to make models portable.

Deze thesis omvat een studie van de mogelijke semantieken van statecharts, gebaseerd op het onderzoek omtrent Big-Step Modeling Languages, en een implementatie van deze semantieken in de vorm van een statechart-interpreter. Door een spectrum aan semantieken te ondersteunen, kan de modeller de meest geschikte semantiek kiezen om een probleem op te lossen, en kunnen we beweren (in zekere mate) compatibel te zijn met bestaande implementaties. Als onderdeel van onze statechart-taal werd een actietaal ontwikkeld, wat noodzakelijk was om bepaalde variabele-toewijzingssemantieken te ondersteunen, alsook het ondersteunen van platformonafhankelijke modellen.

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

We evalueren onze oplossing aan de hand van een vergelijking met de open-source statechart IDE en compiler YAKINDU. We beschrijven YAKINDU's semantiek en kenmerken, en implementeren voorbeeldmodellen in beide oplossingen.

% \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}