Courses
Courses of the current semester (SS 24)
- Component-based Software Engineering (Lecture with exercise)
- Softwaremanagement (Lecture with exercise)
- Future-Proof Software Systems (Lecture with exercise)
- Academic Skills in Software Engineering (Lecture with exercise)
- Softwaretechnologie (Lecture with exercise)
- Automotive Software Engineering (AutoSOFT) (Lecture)
- Adaptive, Mobile Information Provision in Digital Health (Main seminar)
Courses of the next semester (WS 24/25)
The courses in the upcoming semester will be announced later.
Permanent courses
Consultation
Prof. Aßmann offers a official consultation on Thursdays 11:00-13:00. Please log your visit at the Secretary. (As Prof. Aßmann is usually overloaded with emails, he can direct emails often very late answer).
Internship in the main study "Software Engineering in Industrial Practice
This internship will take place in industry on an individual base. Students, working in industry, shall write a report of 10-15 pages and hands it in to Prof. A�mann for reviewing. If the report is good, the student get's a certificate
Research seminar
There is a research seminar for for PhD students, staff and interested master students. Appointments will be given on request.
PhD Seminar
There is a half-annual doctoral symposium for PhD students of the chair, where the current status of the thesis is reviewed and defense talks can be excercised.
Chair seminar
At the
chair's seminar, students writing bachlor, minor, master or diploma theses present their work either in semi-defenses or final defenses.
Recognition of courses from abroad
Please, first send the following information to our secretary:
- University, where you visited the courses
- URLs of these courses or other information
- Translation to ECTS credit points
- Which courses of ST you want to substitute
- The exams, for which the acknowledged courses shall be used
Reading Group
The reading group of the Software Technology Group discusses important research papers. Every interested person, regardless of being student, PhD or professer, can be participate. Here is the list of papers.. More information can be requested using the EMail reading-group[at]mail-st.inf.tu-dresden .
Permanent courses
Hier finden Sie einen Index aller Vorlesungen, die regelmäßig vom Lehrstuhl angeboten werden.
Student Theses
Here you can find information to currently offered topics for minor and major theses, as well as on currently running or finished theses. Please click on "more", to get more information. Hints on how to write a thesis exist as pdf. For theses, a LaTeX package is offered, which helps in adhering to the required layout.[back] [Proposals of topics] [finished topics] [RSS-Feed Proposals of topics]
Integration of Adaptive Petri nets with a Petri Net Composition System
Titel: Integration von Adaptiven Petrinetzen in ein Petrinetz Kompositions-System
Titel: Integration of Adaptive Petri nets with a Petri Net Composition System
Aufgabenstellung
In dieser Arbeit soll untersucht werden, wie die Konzepte Adaptive Petri Netze (APN) und Petrinetz Komposition vereinigt werden können.
APN [1] sind eine Petrinetz-Erweiterung welche es erlaubt eine Teilmenge von Knoten in einem Petrinetz zu definieren, welche aktiviert oder deaktiviert werden können basierend auf der Anzahl von Markierungen in einem Platz. Diese Erweiterung erfordert es die Teilmenge der Knoten manuell zu spezifizieren. Dies eignet sich für theoretische Überlegungen, macht jedoch die Definition solcher Netze sehr umständlich für einen Modellierer.
Petrinetz Komposition beschreibt die Vereinigung mehrerer Petrinetze zu einem neuen. Es gibt mehrere Arten von Kompositionen, z.B. Fusion, Folding, Abstraction und Refinement [3]. Beispiele für Kompositionsalgorithmen sind Pages [5], Netadditions [2] oder Simple Composition [4].
Die Kompositionssprache soll es ermöglichen, die konfigurierten Knoten für die APN zu definieren. Wichtig ist dafür, dass die Komposition eine formale Definition hat, so dass diese sich gut in die bestehenden Adaptiven Petrinetze integrieren lässt. Weiterhin sollte die Kompositionssprache dem Petrinetzmodellierer einen gewissen Mehrwert bieten, wodurch der Einsatz dieser Sprache, neben der vereinfachten Definition von Konfigurationspunkten aus APN, praktikabel wird. Daher soll durch eine Szenario getriebene Analyse festgestellt werden, ob und wie das Konfigurationssystem erweitert werden kann um komplexe Kompositionen zu erlauben.
Beispiel für einen funktionalen Mehrwert, währe eine Möglichkeit zum Laden von Standardkomponenten aus einer Bibliothek von Netzen (z.B. ein Netz mit An/Aus Zustand oder aus der Datenbank öffentlicher Petrinetze [6]).
Ergebnis dieser Arbeit wird ein Programm sein, welches aus mehreren Petrinetzen sowie einer Kompositionsdefinition ein APN generieren kann. Auf dieser Basis wird gezeigt, dass die Kompositionsdefinition auch für größere und komplexere Kompositionen geeignet ist. Die Evaluation des Software Systems wird durch eine Testsuite vollzogen. In der Evaluation werden Kompositionen von unterschiedlicher Komplexität demonstriert.
Fragestellungen:
• Welche Petrinetz Kompositionskonzepte eignen sich am besten zur Integration von APN?
• Wie lässt sich die gewählte Petrinetz Komposition für komplexe Kompositionen erweitern?
Aus den Fragestellungen lassen sich folgende Aufgaben ableiten:
• Untersuchung verschiedener Petrinetz Kompositionskonzepte
• Integration Adaptiver Petrinetze in Kompositionssystem
• Untersuchung Skalierbarkeit des Kompositionssystems hinsichtlich komplexer Kompositionen
• Implementierung einiger Erweiterungen um die Skalierung zu unterstützen
• Evaluation durch Testsuite
Quellen:
• [1] Adaptive Petri Nets - A Petri Net Extension for Reconfigurable Structures (Carl Mai, René Schöne, Johannes Mey, Thomas Kühn and Uwe Aßmann), In Adaptive 2018
• [2] Barros, J. P. & Gomes, L. Net Model Composition and Modification by net Operations: A Pragmatic Approach. in 2004 2nd IEEE International Conference on Industrial Informatics, 2004. INDIN ’04 309314 (2004). doi:10.1109/INDIN.2004.1417350
• [3] Gomes, L. & Barros, J. P. Structuring and Composability Issues in Petri nets Modeling. IEEE Transactions on Industrial Informatics 1, 112123 (2005).
• [4] Reisig, W. Simple composition of nets. in Applications and Theory of Petri Nets 2342 (Springer, 2009).
• [5] Jensen, K. Coloured Petri nets: A High Level Language for System Design and Analysis. in Advances in Petri Nets 1990 342416 (Springer, Berlin, Heidelberg, 1989). doi:10.1007/3-540-53863-1_31
• [6] Goud, R., van Hee, K. M., Post, R. D. J. & van der Werf, J. M. E. M. Petriweb: A Repository for Petri Nets. in Petri Nets and Other Models of Concurrency - ICATPN 2006 (eds. Donatelli, S. & Thiagarajan, P. S.) 411420 (Springer Berlin Heidelberg, 2006).
Supervisor: Carl Mai
Student: Martin Volkmann
Student: Martin Volkmann
Courses of the previous semester
In this overview you can find all over the course of the Chair. In addition to those of the previous semesters can be found here and those that are held in current and upcoming semester.[back] [to tabular view]
Here you will find a Overview of all courses that have been held in the past semesters.
You may select this summary also in tabular view.
You may select this summary also in tabular view.
Overview of courses
Course | SWS | WS/SS | INF | MINF | IST | DSE | CL | INF | FAK | MATH | |||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
BA | MA | DIPL | BA | MA | DIPL | DIPL | MA | MA | LE | BA | MA | ||||
Academic Skills in Computer Science (ASiCS) | 2/2/0 | WS/SS | B-510 B-520 | VERT3 | 04-FG-SWT B-520 VERT3 | B-530 B-540 | AQUA | INF-B-540 | PCS | ||||||
Automotive Software Engineering & Functional Safety | 4/0/0 | SS | B-510 B-520 | VERT3 | 04-FG-SWT B-520 BAS3 | B-530 B-540 | BI-4 | INF-B-540 MINF-04-FG-EMW | 05-FG-SWT | ||||||
Component-Based Software Engineering | 2/2/0 | SS | B-520 | VERT3 | 04-FG-SWT B-520 | B-540 | BI-4 | MINF-04-FG-EMW INF-B-540 | 05-FG-SWT | 10-E5 14-E4 | CSE | ||||
Design Patterns and Frameworks | 2/2/0 | WS | VERT3 | 04-FG-SWT BAS3 VERT3 B-520 | BI-4 | MINF-04-FG-EMW | 10-M4 | CSE | MA | INFSEN | |||||
Enterprise Software - Applications, Technologies and Programming | 2/0/0 | WS | VERT3 | 04-FG-SWT BAS3 VERT3 | INF-BI-5 MINF-04-FG-EMW | ||||||||||
Future-Proof Software Systems | 2/0/0 | WS | VERT3 | 04-FG-SWT VERT3 | BI-4 | MINF-04-FG-EMW | 10-E5 14-E4 | ||||||||
Hauptseminar Softwaretechnologie | 0/2/0 | WS/SS | VERT3 | 04-HS BAS3 VERT3 | AQUA | ||||||||||
Komplexpraktikum Softwaretechnologie | 0/0/4 | WS/SS | MA-PR VERT3 | 04-KP PM-FPA VERT3 | E-4 | 05-KP | |||||||||
MINF-BI-5 | 2/2/0 | SS | |||||||||||||
Model-Driven Software Development in Technical Spaces | 2/2/0 | WS | BAS3 VERT3 04-FG-SWT | BI-4 | INF-BI-5 MINF-04-FG-SE | ||||||||||
Praktikum Softwaretechnologie in der industriellen Praxis | 0/0/2 | WS | 04-P | ||||||||||||
Proseminar Softwaretechnologie | 0/2/0 | SS | B-510 B-520 | 04-PS B-520 D-520 | B-530 B-540 | INF-B-540 | |||||||||
Requirements Engineering und Testen | 2/2/0 | WS | B-510 | VERT3 | 04-FG-SWT BAS3 VERT3 | B-530 | MINF-04-FG-EMW | ||||||||
Role-based Software Infrastructures | 2/0/0 | WS | B-510 B-520 | BAS4 VERT3 VERT4 | B-520 BAS3 VERT3 | BI-2 BI-4 | |||||||||
Selected International Research in SE | 1/0/0 | WS | VERT3 | 04-FG-SWT VERT3 | INF-BI-5 | ||||||||||
Seminar Modellierung und Architektur von Softwaresystemen | 0/2/0 | WS/SS | VERT3 | 04-FG-SWT | 05-FG-SWT | INF-FF | |||||||||
Software Reengineering | 2/2/0 | SS | VERT3 BAS3 | 04-FG-SWT VERT3 BAS3 | BI-4 | MINF-04-FG-EMW | 05-FG-SWT | 10-M4 | |||||||
Software Reengineering and Software Measurement | 2/2/0 | SS | |||||||||||||
Software-Entwicklungswerkzeuge | 2/2/0 | WS | VERT3 | 04-FG-SWT BAS3 VERT3 | INF-BI-5 MINF-04-FG-EMW | ||||||||||
Softwarearchitektur (Ausgewählte Kapitel der Softwaretechnologie) | 2/0/0 | SS | B-520 | BAS3 04-FG-SWT VERT3 B-520 | B-540 | BI-4 | INF-BI-5 MINF-04-FG-EMW INF-B-540 | 05-FG-SWT | 10-M4 | MA | INFSEN | ||||
Softwareentwicklung in der industriellen Praxis | 2/0/0 | WS | B-510 B-520 | VERT3 | 04-FG-SWT B-520 BAS3 VERT3 | B-530 B-540 | BI-4 | INF-B-540 MINF-04-FG-EMW | MA | INFSEN | |||||
Softwaremanagement | 2/2/0 | SS | B-510 B-520 | 04-FG-SWT B-520 BAS3 | B-530 B-540 | BI-4 | INF-B-540 INF-BI-5 MINF-04-FG-EMW | 05-FG-SWT | MA | INFSEN | |||||
Softwaretechnologie | 2/2/0 | SS | D-240 | B-310 | 05-PF-GS | EUI MA PHY WW | INFC | INFSEN | |||||||
Softwaretechnologie II | 2/2/0 | WS | B-510 B-520 | BAS3 | 04-FG-SWT B-520 BAS3 | B-530 B-540 | INF-B-540 MINF-04-FG-EMW | ||||||||
Softwaretechnologie-Projekt | 0/0/4 | WS | B-320 B-321 | B-320 B-321 | MA | INFD | INFSEN |
- INF-BA → Bachelor Informatik
- INF-MA → Master Informatik
- INF-DIPL → Diplom Informatik
- MINF-BA → Bachelor Medieninformatik
- MINF-MA → Master Medieninformatik
- MINF-DIPL → Diplom Medieninformatik
- IST-DIPL →
- DSE-MA → Master Distributed Systems Engineering
- CL-MA → Master Computional Logic
- INF-LE →
- FAK →
- MATH-BA →
- MATH-MA →