On the Capability Compliance of Annotated Process Model

Currently, semantic technology is believed as a promising approach to overcome the limitations suffered by business process management(e.g. poor flexibility, low level of automation, etc). Based on the ontology, the semantic annotation can enhance relevant semantics of process model and hence enable process model has the potentials of facilitating process discovery, deployment and maintenance, and thereby bridging the gap between business design and IT implementation. Verifying process model is a necessary step before process deployment to ensure the soundness of process model. Soundness of annotated process model is beyond the soundness of process model, since it is only considered on syntactical level. In the paper, we extend considering the soundness and address the capability compliance of the annotated process model, where process model and inner activities are annotated with IOPE(i.e.input, output, precondition, and effect). Capability compliance concerns with whether the annotation of process model can be soundly fulfilled by its activitiespsila annotations. To address it,based on domain ontology, we first present a formal definition of annotated process model. Afterwards, we formally define the capability compliance following the state-and-change approach.Furthermore, motivated by the predicate abstraction technique,an algorithm is proposed to verify the capability compliance.