Institut für Datenbanken und Informationssysteme
- 1:
Mitarbeiter.- 1.1:
Peter Dadam. - 1.2: Manfred Reichert. 1.3:
- 1.4: Eva Englert.
- 1.5: Christiane Köppl. 1.6:
- 1.7: Carolina Chiao.
- 1.8: Gregor Grambow.
- 1.9: David Knuplesch.
- 1.10: Jens Kolb.
- 1.11: Andreas Lanz.
- 1.12: Linh Thao Ly.
- 1.13: Nicolas Mundbrod.
- 1.14: Rüdiger Pryss.
- 1.15: Johannes Schobel.
- 1.16: Rudolf Seifert.
- 1.17: Zhiyuan Sui.
- 1.18: Julian Tiedeken. 1.19:
- 1.20: Stephan Buchwald.
- 1.21: Markus Hipp.
- 1.22: Ulrich Kreher.
- 1.23: Matthias Lohrmann.
- 1.24: Vera Künzle.
- 1.25: Christian Manz.
- 1.26: Bernd Michelberger. 1.27:
- 1.28: Alumni.
- 1.29: Intern.
- 1.1:
- 2: Lehre.
- 3: Forschung.
- 4: Publikationen.
- 5: Veranstaltungen.
- 6: News.
- 7: Links.
David Knuplesch
C³ProForschungsinteressen
- 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
Publikationen
| 2011 | 2010 |
2011
| Knuplesch, David and Reichert, Manfred (2011) Ensuring Business Process Compliance Along the Process Life Cycle. Technical Report UIB-2011-06, University of Ulm. |  |
| 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. | |
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. | |
| 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 Verication 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. | |
| 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. | |
Betreute Abschlussarbeiten
| 2011 |
2011
| Schmitt, Mark Oliver (2011) The WfQL: A Proposal for a Standard WfMS Interface. Diploma thesis, University of Ulm. | |