Alessandro Marcelletti

Inter-organizational business processes describe the interaction between distributed parties. BPMN choreographies offer a modeling notation for business interactions between participants, setting aside their internal behaviors. In process mining, existing literature views choreographies through a single-case notion lens, attempting to fit interaction data involving several business entities into a flat event log format. In this paper, we investigate how the object-centric event log format OCEL~2.0 can be used to express choreography data. To that end, we present a mapping between the BPMN choreography metamodel and OCEL~2.0 elements. The mapping enforces BPMN choreography semantics by defining data constraints. We also present a process discovery technique for BPMN choreography diagrams that can handle participant bands, message elements, and process hierarchy.We demonstrate and evaluate the approach with 19 datasets from different domains. We provide implementations to extract choreography data, validate choreography event logs, and discover BPMN choreography diagrams.

While decentralized applications adoption has surged in several domains, the smart contracts implementing them can diverge from their specified logic. To address this issue, the data generated during the execution of smart contracts can provide valuable insights into the actual behavior of an application, enabling its analysis. For this reason, we employ compliance checking to audit decentralized applications based on their execution data. To enable such a technique, we provide a threefold contribution. Firstly, we present a domain-specific language, called CoBlock, to define compliance rules by relying on blockchain characterizations as a first-class citizen. Then we designed a visual rule modeling solution, CoBlockly, which abstract the underlying language, to facilitate auditors on building blockchain-specific compliance rules. Finally, we implemented a tailored framework for blockchain compliance checking to streamline the process of defining and checking compliance rules over decentralized applications execution data. The evaluation, which employs the real-world CryptoKitties decentralized application, includes accuracy and performance analysis in addition to a usability assessment to measure the feasibility and to demonstrate the practicality of the framework.