Time-Aware Automatic Process View Generation

摘要

Nowadays, the OMG standard business process model and notation BPMN is gaining widespread use in the business world. In this context, several underlying issues must be considered. In this paper, we are particularly interested in the problem of getting control over the business process outsourcing through views generation. Indeed, the concept of views is essential since it allows organizations to choose the parts that can be exposed and to keep secret the critical parts of their business processes. In this context, we are specially interested in considering temporal properties when building public views from private processes. First, we propose a BPMN extension for capturing temporal requirements during the business process modelling (BPM) phase. Second, based on this extension, our work preserves privacy in inter-organizational business processes (IOBPs) by a Time-aware Automatic Process View Generation TAPVG approach. Finally, a verification approach based on the model checking technique is used to diagnose potential temporal violations of the process model.