Compilierszenarios für Abstrakte Zustandsmaschinen bei Multi-Core Anwendungen

Nonfiction, Computers, Programming
Cover of the book Compilierszenarios für Abstrakte Zustandsmaschinen bei Multi-Core Anwendungen by Winfried Oberkersch, GRIN Verlag
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Winfried Oberkersch ISBN: 9783656052296
Publisher: GRIN Verlag Publication: November 10, 2011
Imprint: GRIN Verlag Language: German
Author: Winfried Oberkersch
ISBN: 9783656052296
Publisher: GRIN Verlag
Publication: November 10, 2011
Imprint: GRIN Verlag
Language: German

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from GRIN Verlag

Cover of the book Die Regulierung von Monopolen - Theorie by Winfried Oberkersch
Cover of the book Dialektik der Säkularisierung und postsäkulare Gesellschaft? by Winfried Oberkersch
Cover of the book Ausländische Prostituierte - Die doppelte soziale Randgruppe by Winfried Oberkersch
Cover of the book Der Gewinn liegt im Einkauf. Welche Vorteile bietet E-Procurement? by Winfried Oberkersch
Cover of the book What will the future be like in 2061? Utopia, Dystopia and Science Fiction (Englisch 13. Klasse Gymnasium) by Winfried Oberkersch
Cover of the book Möglichkeiten pädagogischer Einwirkungen auf die Schüler der 3. Jahrgangsstufe - Schüler gestalten im Rahmen des Schulfestes eine Oscarverleihung by Winfried Oberkersch
Cover of the book Der zwischenmenschliche Umgang im Sufismus des 11. Jh. am Beispiel des Werks 'Das Elixier der Glückseligkeit' von Al Ghas?li by Winfried Oberkersch
Cover of the book Klimatische Differenzierung im Westen der USA. Ursachen, Erscheinungsformen, Gunst- und Ungunstfaktoren by Winfried Oberkersch
Cover of the book Neufrankreich - Eine militärhistorische Betrachtung des Zeitraumes 1608 bis 1701 by Winfried Oberkersch
Cover of the book The Link Between Video Games and Violence by Winfried Oberkersch
Cover of the book Der Kampf Heinrichs IV. gegen Rudolf von Rheinfelden im Spiegel zeitgenössischer Quellen by Winfried Oberkersch
Cover of the book Möglichkeiten und Grenzen standardisierter Befragung und standardisierter Beobachtung by Winfried Oberkersch
Cover of the book Der Tiefstart by Winfried Oberkersch
Cover of the book Jugendkulturen. Räume neuhumanistischer Bildungsprozesse und Vorbildsysteme anzustrebender Vergesellschaftung? by Winfried Oberkersch
Cover of the book Integration, Gewaltprävention und Schule by Winfried Oberkersch
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy