Projekte

C³Pro
SeaFlows

Forschungsinteressen

  • Inter-organizational and collaborative business processes and service interaction
  • Business process query languages
  • Business process compliance and process model verification and validation
  • Correctness, soundness, realizability and conformance of business processes and process choreographies and interaction models
  • Formal aspects of business process management

David Knuplesch

David Knuplesch studierte Informatik mit Nebenfach Mathematik an der Universität Ulm. Er schrieb seine Diplomarbeit im Rahmen des Seaflows-Projekts und erhielt 2009 sein sehr gutes Diplom.

David Knuplesch begann seine Promotion als Stipendiat der Friedrich-Ebert-Stiftung. Seit Ende 2011 erforscht er, im Rahmen des von DFG und FWF geförderten Forschungsprojekts C3Pro, Techniken und Methoden zur Unterstützung von Flexibilität und Compliance unternehmensübergreifender Geschäftsprozesse. 

Des weiteren bringt sich David unterstützend in die Betreuung der diverser Lehrveranstaltungen ein ( BPM, BI) und betreut Seminar- und Abschlussarbeiten.

In seiner Freizeit spielt David Schach und ist politisch engagiert.

Forschungsinteressen

  • Inter-organizational and collaborative business processes and service interaction
  • Business process query languages
  • Business process compliance and process model verification and validation
  • Correctness, soundness, realizability and conformance of business processes and process choreographies and interaction models
  • Formal aspects of business process management

Projekte

C³Pro
SeaFlows

David Knuplesch

Wissenschaftl. Mitarbeiter

Büro: Geb. O27 - Raum 544
Sprechzeiten nach Vereinbarung.

david.knuplesch(at)uni-ulm.de

Telefon:+49 731 50 24 129
Fax:+49 731 50 24 134

Publikationen

| 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 |

2017

Knuplesch, David and Reichert, Manfred (2017) A Visual Language for Modeling Business Process Compliance Rules. Software & Systems Modeling, Springer, Vol. 16, pp. 715-736. file
Knuplesch, David and Reichert, Manfred and Kumar, Akhil (2017) A framework for visually monitoring business process compliance. Information Systems, Elsevier, Vol. 64, pp. 381-409.
Knuplesch, David and Reichert, Manfred and Kumar, Akhil (2017) A Framework for Visually Monitoring Business Process Compliance (Extended Abstract). In: 8th International Workshop on Enterprise Modeling and Information Systems Architectures (EMISA 2017), Essen, Germany, June 12-13, 2017. file

2016

Gong, Ping and Knuplesch, David and Reichert, Manfred (2016) Rule-based Monitoring Framework for Business Process Compliance. Technical Report UIB-2016-3, Ulm University. file
Knuplesch, David and Reichert, Manfred (2016) A Visual Language for Modeling Multiple Perspectives of Business Process Compliance Rules (Extended Abstract). In: 7th International Workshop on Enterprise Modeling and Information Systems Architectures, EMISA 2016, Vienna, CEUR Workshop Proceedings 1701, CEUR-WS. file
Nguyen, Dac Mai Trang and Knuplesch, David (2016) Projekt-Bericht: eCRG Evaluation. Technical Report Institute of Databases and Information Systems. file

2015

Cabanillas, Cristina and Knuplesch, David and Resinas, Manuel and Reichert, Manfred and Mendling, Jan and Ruiz-Cortes, Antonio (2015) RALph: A Graphical Notation for Resource Assignments in Business Processes. In: 27th International Conference on Advanced Information Systems Engineering (CAiSE 2015), Stockholm, Sweden, 8-12 June 2015, LNCS 9097, Springer, pp. 53-68. file
Fdhila, Walid and Rinderle-Ma, Stefanie and Knuplesch, David and Reichert, Manfred (2015) Change and Compliance in Collaborative Processes. In: 12th IEEE International Conference on Services Computing (SCC 2015), New York, USA, June 27 - July 2, 2015, IEEE Computer Society Press, pp. 162-169. file
Knuplesch, David and Reichert, Manfred and Kumar, Akhil (2015) Towards Visually Monitoring Multiple Perspectives of Business Process Compliance. In: CAiSE Forum 2015, Stockholm, Sweden, 10 June 2015, CEUR Workshop Proceedings 1367, ceur-ws.org, pp. 41-48. file
Knuplesch, David and Fdhila, Walid and Reichert, Manfred and Rinderle-Ma, Stefanie (2015) Detecting the Effects of Changes on the Compliance of Cross-organizational Business Processes. In: 34th International Conference on Conceptual Modeling (ER 2015), Stockholm, Sweden, 19-22 October 2015, LNCS 9381, Springer, pp. 94-107. file
Knuplesch, David and Reichert, Manfred and Kumar, Akhil (2015) Visually Monitoring Multiple Perspectives of Business Process Compliance. In: 13th Int'l Conference on Business Process Management (BPM 2015), Innsbruck, Austria, 1-3 September 2015, LNCS 9253, Springer, pp. 263-279. file

2014

Knuplesch, David and Reichert, Manfred (2014) An Operational Semantics for the Extended Compliance Rule Graph Language. Technical Report UIB-2014-6, Ulm University. file
Semmelrodt, Franziska and Knuplesch, David and Reichert, Manfred (2014) Modeling the Resource Perspective of Business Process Compliance Rules with the Extended Compliance Rule Graph. In: 15th Int Working Conference on Business Process Modeling, Development, and Support (BPMDS 2014), Thessaloniki, Greece, 16-17 June 2014, LNBIP 175, Springer, pp. 48-63. file

2013

Catalkaya, Semra and Knuplesch, David and Chiao, Carolina Ming and Reichert, Manfred (2013) Enriching Business Process Models with Decision Rules. In: BPM 2013 International Workshops, Int'l Workshop on Decision Mining & Modeling for Business Processes (DeMiMoP’13), Beijing, China, August 26, 2013, LNBIP 171, Springer, pp. 198-211. file
Knuplesch, David and Reichert, Manfred and Fdhila, Walid and Rinderle-Ma, Stefanie (2013) On Enabling Compliance of Cross-Organizational Business Processes. In: 11th Int'l Conference Business Process Management (BPM'13), Beijing, China, August 26-30, 2013, LNCS 8094, Springer, pp. 146-154. file
Knuplesch, David and Reichert, Manfred and Ly, Linh Thao and Kumar, Akhil and Rinderle-Ma, Stefanie (2013) Visual Modeling of Business Process Compliance Rules with the Support of Multiple Perspectives. In: 32nd Int'l Conference on Conceptual Modeling (ER 2013), Hong Kong, November 11-13, 2013, LNCS 8217, Springer, pp. 106-120. file
Knuplesch, David and Reichert, Manfred and Pryss, Rüdiger and Fdhila, Walid and Rinderle-Ma, Stefanie (2013) Ensuring Compliance of Distributed and Collaborative Workflows. In: 9th IEEE Int'l Conference on Collaborative Computing: Networking, Applications and Worksharing (CollborateCom'13), Austin, Texas, United States, October 20–23, 2013, IEEE Computer Society Press, pp. 133-142. file
Knuplesch, David and Reichert, Manfred and Ly, Linh Thao and Kumar, Akhil and Rinderle-Ma, Stefanie (2013) On the Formal Semantics of the Extended Compliance Rule Graph. Technical Report UIB-2013 - 05, Ulm University. file

2012

Knuplesch, David and Reichert, Manfred and Mangler, Jürgen and Rinderle-Ma, Stefanie and Fdhila, Walid (2012) Towards Compliance of Cross-Organizational Processes and their Changes. In: 1st Int Workshop on Security in Business Processes (SBP’12), BPM'12 Workshops, Tallinn, Estonia, 2 September 2012, LNBIP 132, Springer, pp. 649-661. file
Knuplesch, David and Pryss, Rüdiger and Reichert, Manfred (2012) A Formal Framework for Data-Aware Process Interaction Models. Technical Report UIB-2012-06, University of Ulm. file
Knuplesch, David and Pryss, Rüdiger and Reichert, Manfred (2012) Data-Aware Interaction in Distributed and Collaborative Workflows: Modeling, Semantics, Correctness. In: 8th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom'12), Pittsburgh, Pennsylvania, United States, October 14–17, 2012, IEEE Computer Society Press, pp. 223-232. file

2011

Knuplesch, David and Reichert, Manfred (2011) Ensuring Business Process Compliance Along the Process Life Cycle. Technical Report UIB-2011-06, University of Ulm. file
Ly, Linh Thao and Rinderle-Ma, Stefanie and Knuplesch, David and Dadam, Peter (2011) Monitoring Business Process Compliance Using Compliance Rule Graphs. In: 19th International Conference on Cooperative Information Systems (CoopIS 2011) , Crete, Greece, Oct 19 - 21, 2011, LNCS 7044, Springer, pp. 82-99. file

2010

Knuplesch, David and Ly, Linh Thao and Rinderle-Ma, Stefanie and Pfeifer, Holger and Dadam, Peter (2010) On Enabling Data-Aware Compliance Checking of Business Process Models. In: 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 2010, LNCS 6412, Springer, pp. 332-346. file
Ly, Linh Thao and Knuplesch, David and Rinderle-Ma, Stefanie and Goeser, Kevin and Pfeifer, Holger and Reichert, Manfred and Dadam, Peter (2010) SeaFlows Toolset - Compliance Verification Made Easy for Process-aware Information Systems. In: Proc. CAiSE'10 Forum - Information Systems Evolution, Hammamet, Tunisia, June 2010, LNBIP 72, Springer, pp. 76-91. file
Ly, Linh Thao and Knuplesch, David and Rinderle-Ma, Stefanie and Goeser, Kevin and Reichert, Manfred and Dadam, Peter (2010) SeaFlows Toolset - Compliance Verification Made Easy. In: CAiSE'10 Demos, Hammamet, Tunisia, June 2010. file

Betreute Abschlussarbeiten

| 2016 | 2014 | 2013 | 2012 | 2011 |

2016

Herfort, Raphael (2016) Entwicklung eines generischen Ansatzes zur visuellen Spezifikation der operationalen Semantik graphischer Modellierungssprachen. Master thesis, Ulm University. file

2014

Beck, Hannes (2014) Automatisierte Überwachung von Business Process Compliance Regeln mit Daten-, Zeit-, Ressourcen- und Interaktions-Aspekten. Master thesis, University of Ulm. file

2013

Herfort, Raphael (2013) Implementierung einer generischen und web-basierten Entwicklungsumgebung von Prozessmodellen. Bachelor thesis, University of Ulm. file
Semmelrodt, Franziska (2013) Modellierung klinischer Prozesse und Compliance Regeln mittels BPMN 2.0 und eCRG. Master thesis, University of Ulm. file

2012

Catalkaya, Semra (2012) Entscheidungstechniken in blockstrukturierten Prozessmodellen. Diploma thesis, University of Ulm. file
Fuchs, Peter (2012) Generierung von grafischen Modellrepräsentationen aus textuellen Domänenmodellen. Diploma thesis, University of Ulm. file
Nguyen, Dac Mai Trang (2012) Modellierung, Pflege und Compliance-Regeln von Studienprozessen. Bachelor thesis, University of Ulm. file

2011

Schmitt, Mark Oliver (2011) The WfQL: A Proposal for a Standard WfMS Interface. Diploma thesis, University of Ulm. file

Kontakt