List of works - Fabrizio Fornari

A Guidelines framework for understandable BPMN models

scientific article published in January 2018

A Study on the Usage of the BPMN Notation for Designing Process Collaboration, Choreography, and Conversation Models

scientific article published on 20 June 2023

A formal approach for the analysis of BPMN collaboration models

scientific article published in October 2021

A formal approach to modeling and verification of business process collaborations

scientific article published in November 2018

A systematic literature review on IoT-aware business process modeling views, requirements and notations

scientific article published on 28 October 2022

BProVe: A formal verification framework for business process models

BProVe: Tool support for business process verification

Checking Business Process Correctness in Apromore

scientific article published in 2018

DTMN a Modelling Notation for Digital Twins

scientific article published in 2023

Design and Development of a Digital Twin Prototype for the SAFE Project

FloBP: a model-driven approach for developing and executing IoT-enhanced business processes

scientific article published on 28 February 2024

FloWare: An Approach for IoT Support and Application Development

scientific article published in 2021

FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development

scientific article published in 2022

Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review

scientific article published in 2020

On Avoiding Erroneous Synchronization in BPMN Processes

scientific article published in 2017

Reproducibility Report for the Paper: Simulating Data Flows of Very Large Scale Intelligent Transportation Systems

scientific article published on 18 June 2024

Trends on the Usage of BPMN 2.0 from Publicly Available Repositories