Verification of Data-aware Business Processes in the Presence of Ontologies

Abstract

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 verification also comes into play as a promising approach that… (More)

Topics

13 Figures and Tables

Cite this paper

@article{Santoso2016VerificationOD, title={Verification of Data-aware Business Processes in the Presence of Ontologies}, author={Ario Santoso}, journal={CoRR}, year={2016}, volume={abs/1612.05456} }