Business process models for a ride fulfilment process in a ride-hailing company enabled by an autonomous driving system

The repository contains the business process models of a ride fulfilment process in a ride-hailing company enabled by an autonomous driving system. The models are depicted using BPMN.2.0 language and are extended with annotations for usage in the DPO tool. The models, which contain "Pleak" as a part of the title, are created using PE-BPMN language and some of them are annotated for usage in the Pleak tool set. 

The repository also contains two .csv files which contain the results of the simple disclosure analysis ("6_RideFulfillment_PK_SecSharing_combined-Simple-Disclosure-results.csv") and the results of the leak-when analysis ("7_Pleak_RideFulfillment_PK_SecrSharing_BPMN_Leak_When-results.csv") in the ride fulfilment process. Both analyses have been conducted using the Pleak tool set and the business process models with respective names from this repository.