Werkzeuge zur modellbasierten Software-Entwicklung
Zusammenfassung
Für alle Forscher, Studenten und Interessierte veranstalten itemis und das Graduiertenkolleg METRIK einen Workshop zu Werkzeugen in der modellbasierten Software-Entwicklung.
!!! Veranstaltung leider AUSGEBUCHT !!!
itemis AG & METRIK
Die Entwickler von Xtext (dem Werkzeug zur Generierung von DSL-Editoren) stellen ihre neusten Werkzeuge und Ideen vor. Wissenschaftler des Graduiertenkolleg METRIK, mit langjähriger Erfahrung im Einsatz solcher Werkzeuge, berichten über ihre Erfahrungen.
Voraussichtliche Themen und Sprecher :
itemis:
- Xtext (Sven Efftinge)
Xtext ist ein Framework für die Entwicklung von Domain-Specific Languages und Programmiersprachen im Allgemeinen. Aus einer Grammatikbeschreibung generiert das Xtext Framework nicht nur einen Parser sondern auch eine komplette Sprachinfrastruktur, inklusive Eclipse Integration. Xtext ist ein Eclipse Projekt, wird weltweit in Forschung und Wirtschaft eingesetzt und steht seit Juni 2011 in der Version 2 zur Verfügung. - Xtend (Sven Efftinge)
Xtend ist eine statisch getypte Programmiersprache, die besonders auf die Entwicklung von Codegeneratoren aller Art abgestimmt ist. Sie bietet moderne Sprachfeatures wie Closures und Typinferenz und wird direkt auf Java Code übersetzt. Xtend ist mit Xtext entwickelt und bietet daher eine sehr komfortable Integration in die Eclipse-IDE. - Yakindu (Axel Terfloth)
- YAKINDU Damos (Andreas Unger)
Damos ist eine Eclipse-basierte Open Source Modellierungsumgebung für dynamische und Datenfluss-orientierte Systeme, wie sie z.B in der Regelungstechnik oder Signalverarbeitung Anwendung finden. Damos besteht aus einem grafische Blockdiagrammeditor mit dem physikalische Systeme mit Hilfe von Blöcken und deren Signalflüssen modelliert wird, einem Simulator mit dem das Verhalten des Modells simuliert werden kann und schliesslich einem Codegenerator, der Programmcode für Zielplattformen generiert. Nach einer Einführung wird auf erweiterte Konzepte eingegangen:- Trennung zwischen logischen und physikalischen Datentypen
- Nutzung von SI-Einheiten- Strukturierung von Modellen durch Hierarchisierung und Fragmentierung.
- Generierung effizienten Programmcodes
- YAKINDU Statechart Tools (Axel Terfloth oder Alexander Nyßen)
Zustandsautomaten sind ein umfassender, verständlicher und bewährter Formalismus zur Spezifikation und Implementierung von reaktiven Systemverhalten. Die YAKINDU Statechart Tools unterstützen die Modellierung, Validierung, Simulation von Statecharts sowie die Code-Genereierung aus diesen. YAKINDU Statecharts ist als Sprachbaustein ausgelegt, der andere Modellierungsansätze um die Zustands-orientierte Modellierung ergänzt. Dies ist vor allem bei dem Aufbau von Domänen-spezifischen Modellierungsumgebungen relevant. Bei der Nutzung von Standard-Statecharts ergibt sich in der Regel das Problem einer semantischen Lücke zwischen den Konzepten der beteiligten DSLs und den Statecharts. Dieses adressiert YAKINDU mit dem Konzept der Domänen-spezifischen Statecharts.
METRIK (HU):
- Erfahrungsbericht: Xtext und Co. in der Physik (Martin Schmidt)
- Erfahrungsbericht: Modellbasierte Techniken in der Erforschung drahtloser Maschennetze (Markus Scheidgen)
- Multiview Modeling: Asynchrone Modellsynchronisation (Arif Wider)
Die Vortragenden
Sven Efftinge, Leiter itemis Kiel
Sven Efftinge leitet die itemis-Niederlassung Kiel und beschäftigt sich dort mit domänenspezifischen Sprachen, Generatorentwicklung und Eclipse-Technologien. Er ist Eclipse-Committer, verantwortlich für das Xtext-Framework und Architekt der Xpand-Sprachfamilie (auch bekannt als openArchitectureWare).
Sven Efftinge spricht regelmäßig auf Softwarekonferenzen, schreibt Fachartikel und ist Co-Autor des Buches »Modellgetriebene Softwareentwicklung« (dpunkt-Verlag).
Andreas Unger, Softwareingenieur
Andreas Unger arbeitet als Software-Entwickler bei der itemis AG in Lünen. Sein Schwerpunkt liegt in der Entwicklung von Eclipse-basierten Entwicklungswerkzeugen zur grafischen und textuellen Modellierung von eingebetteten Systemen. Zudem ist er Haupt-Entwickler des Open-Source-Projektes „Damos“.
Vor seiner Tätigkeit bei itemis studierte Andreas Unger an der FH Lübeck und an der MSOE Milwaukee, USA.
Axel Terfloth, Bereichsleiter Embedded-Entwicklung
Axel Terfloth leitet bei itemis die Forschung und Entwicklung für den Bereich eingebetteter Systeme. Er beschäftigt sich mit der Adaption und Weiterentwicklung von Methoden und Technologien in modellbasierter Softwareentwicklung.
Axel Terfloth verfügt über mehr als 15 Jahre Erfahrung als Entwickler, Softwarearchitekt und Projektleiter. Seine Interessen und Schwerpunkte sind Softwarearchitekturen, die modellbasierte Softwareentwicklung, die Entwicklung von Frameworks und Modellierungswerkzeugen sowie agile Entwicklungsprozesse. Außerdem engagiert er sich in Open-Source-Projekten.
Axel Terfloth ist Diplom-Informatiker und Absolvent der Universität Dortmund.