Automatic Synthesis and Verification of Industrial Commissioning Processes
Abstract (englisch):
The topic of this doctoral dissertation is the verification and synthesis of processes, i.e., work-flows. Verification is the check if a given process model fulfills all necessary properties. Synthesis is the automatic generation of a process model from a set of properties. The running example of the thesis and the use case for the evaluation is the commissioning of vehicles in the automobile production.
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Hochschulschrift |
| Publikationsjahr | 2016 |
| Sprache | Englisch |
| Identifikator | urn:nbn:de:swb:90-568607 KITopen-ID: 1000056860 |
| Verlag | Karlsruher Institut für Technologie (KIT) |
| Umfang | XIV, 203 S. |
| Art der Arbeit | Dissertation |
| Fakultät | Fakultät für Informatik (INFORMATIK) |
| Institut | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Prüfungsdaten | 27.06.2016 |
| Referent/Betreuer | Böhm, K. |
