Verification of Data-aware Business Processes in the Presence of Ontologies
The meet up between data, processes and structural knowledge in modeling complex enterprise systems is a challenging task that has led to the study of combining formalisms from knowledge representation, database theory, and process management. Moreover, to ensure system correctness, formal verificat...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Doctoral Thesis |
| Language: | English |
| Published: |
Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
2016
|
| Subjects: | |
| Online Access: | http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-213372 http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-213372 http://www.qucosa.de/fileadmin/data/qucosa/documents/21337/Thesis-Santoso-21337.pdf |