Formalizing Business Process Using Hybrid Programs.
Suman Deb Roy, Wlodek Drabent · OWL: Experiences and Directions · 2012
A semantic annotation of business processes with concepts from ontology has become necessity in service provisioning. There have been few work on semantically labeling business processes in terms of ontology that formalizes business process structure, business domains etc. However, dynamic behavior of a process cannot be captured by such means as ontology languages are not suitable for specifying behavioral semantics. In this work, we propose a method for labeling and specifying business processes by using hybrid programs as the knowledge representation formalism. The formalism of hybrid programs integrates normal programs (using the parlance of logic programming) with ontology specified in OWL-DL (semantic web standard).