Media type: E-Book; Thesis Title: App-Orchestrierung als Methode zur formalen Modellierung von App-Ensembles für industrielle Geschäftsprozesse Contributor: Pfeffer, Johannes [Verfasser]; Urbas, Leon [Gutachter]; Urbas, Leon [Akademischer Betreuer]; Zühlke, Detlef [Gutachter] imprint: Dresden: Technische Universität Dresden, 2021 Extent: Online-Ressource Language: German Identifier: RVK notation: ST 240 : Programmiersprachen allgemein (Maschinenorientierte Programmiersprachen, problemorientierte prozedurale Sprachen, applikative und funktionale Sprachen) ST 278 : Mensch-Maschine-Kommunikation Software-Ergonomie Keywords: Orchestration ; Industrie 4.0 ; Mathematische Modellierung ; Semantic Web ; BPMN ; App-Orchestrierung ; formale Methoden ; App-Ensemble ; App ; App-Orchestration ; formal methods ; Hochschulschrift Origination: University thesis: Dissertation, Dresden, Technische Universität Dresden, 2020 Footnote: Access State: Open Access