An asynchronous rule-based approach for business process automation using obligations · Study