Document ID: /fineweb-2-swissfilter-quality_10-filterrobots/filtered/03308.jsonl.gz/299

Compilierszenarios für Abstrakte Zustandsmaschinen bei Multi-Core Anwendungen
18.90 CHF
Versandkostenfreie Lieferung!
Lieferzeit ca. 5 Tage
Artikel-Nr.:
10525234
Beschreibung
Bachelorarbeit aus dem Jahr 2011 im Fachbereich Informatik - Programmierung, Note: 1,0, Karlsruher Institut für Technologie (KIT) (AIFB), Sprache: Deutsch, Abstract: Diese Bachelorarbeit untersucht, inwieweit sich formal spezifizierte Abstrakte Zustandsmaschinen (engl.: abstract state machines, ASMs) in ausführbaren Java Code übersetzen lassen. Hierdurch soll eine Einschätzung gegeben werden, inwieweit eine 100% Modell-getriebene Entwicklung sinnvoll ist.Dies wird am Beispiel von Conways "Game of Life" gezeigt: Zunächst wird das Modell in der ASM- Sprache CoreASM definiert, dann mit Hilfe eines Compilers in ausführbare Java Klassen umgewandelt.Diese Arbeit kommt zu dem Schluss, dass die Abgrenzung zwischen Ground Model und Geschäftslogik extrem wichtig ist: Während das Ground Model (im Beispiel: die Petrischale) aufgrund fehlender Strukturen (z.B. Felder) in CoreASM kaum umgesetzt werden kann, ist die Geschäftslogik (im Beispiel: Transformationsverhalten der Zellen) leicht zu definieren und lässt sich auch im Nachhinein auf eine für den Compiler erkennbare Weise verändern.Diese Erkenntnis hilft dabei das Konzept der Abstrakten Zustandsmaschinen in den Zusammenhang der modellgetriebenen Entwicklung einzuordnen: Die formale Spezifikation der Geschäftslogik lässt sich gut mit ASMs bewerkstelligen, während das Ground Model besser klassisch programmiert werden sollte.
Diese Website benutzt Cookies, die für den technischen Betrieb der Website erforderlich sind und stets gesetzt werden. Andere Cookies, die den Komfort bei Benutzung dieser Website erhöhen, der Direktwerbung dienen oder die Interaktion mit anderen Websites und sozialen Netzwerken vereinfachen sollen, werden nur mit Ihrer Zustimmung gesetzt.
Mehr Informationen