Refining semantically annotated business process diagrams

Business Process Diagrams (BPDs) provide a rich graphical expressiveness for modeling not only business processes but also the development of collective human activities. In Multiagent platforms, BPDs has been used for decoupling the modeling of agent behavior from its implementation. Additionally, the annotation of BPD actions and events with conjunctive queries has opened the door for monitoring process development by querying a knowledge base. We study the properties of this annotation scheme for the refinement of activity diagrams through the removal of redundant nodes, the detection of disjoint alternative paths and the merge/split of event nodes.