Compilierszenarios für Abstrakte Zustandsmaschinen bei Multi-Core Anwendungen Contributor(s): Oberkersch, Winfried (Author) |
|
ISBN: 3656052549 ISBN-13: 9783656052548 Publisher: Grin Publishing OUR PRICE: $21.15 Product Type: Paperback Language: German Published: November 2011 * Not available - Not in print at this time * |
Additional Information |
BISAC Categories: - Computers | Programming Languages - General - Computers | Programming - General |
Physical Information: 0.15" H x 5.83" W x 8.27" (0.21 lbs) 64 pages |
Descriptions, Reviews, Etc. |
Publisher Description: 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. |