Search

Your search keyword '"Fornari, Fabrizio"' showing total 84 results
Start Over Author "Fornari, Fabrizio"
84 results on '"Fornari, Fabrizio"'

1. Digital Twins of Business Processes: A Research Manifesto

Author

Fornari, Fabrizio, Compagnucci, Ivan, De Donato, Massimo Callisto, Bertrand, Yannis, Beyel, Harry Herbert, Carrión, Emilio, Franceschetti, Marco, Groher, Wolfgang, Grüger, Joscha, Kilic, Emre, Koschmider, Agnes, Leotta, Francesco, Li, Chiao-Yun, Lugaresi, Giovanni, Malburg, Lukas, Mangler, Juergen, Mecella, Massimo, Pastor, Oscar, Riss, Uwe, Seiger, Ronny, Serral, Estefania, Torres, Victoria, and Valderas, Pedro

Subjects
Computer Science - Computers and Society
Abstract

Modern organizations necessitate continuous business processes improvement to maintain efficiency, adaptability, and competitiveness. In the last few years, the Internet of Things, via the deployment of sensors and actuators, has heavily been adopted in organizational and industrial settings to monitor and automatize physical processes influencing and enhancing how people and organizations work. Such advancements are now pushed forward by the rise of the Digital Twin paradigm applied to organizational processes. Advanced ways of managing and maintaining business processes come within reach as there is a Digital Twin of a business process - a virtual replica with real-time capabilities of a real process occurring in an organization. Combining business process models with real-time data and simulation capabilities promises to provide a new way to guide day-to-day organization activities. However, integrating Digital Twins and business processes is a non-trivial task, presenting numerous challenges and ambiguities. This manifesto paper aims to contribute to the current state of the art by clarifying the relationship between business processes and Digital Twins, identifying ongoing research and open challenges, thereby shedding light on and driving future exploration of this innovative interplay., Comment: 15 pages, 3 figures, 1 table

Published
2024

3. Formal Approaches for Modeling and Analysis of Business Process Collaborations

Author

Corradini, Flavio, Fornari, Fabrizio, Re, Barbara, Rossi, Lorenzo, Polini, Andrea, Tiezzi, Francesco, Vandin, Andrea, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Margaria, Tiziana, editor

Published
2025
Full Text
View/download PDF

4. Fluidware Meets Digital Twins

Author

Casadei, Roberto, Fornari, Fabrizio, Mariani, Stefano, Savaglio, Claudio, Fortino, Giancarlo, Series Editor, Liotta, Antonio, Series Editor, Zambonelli, Franco, editor, Re, Barbara, editor, and Viroli, Mirko, editor

Published
2024
Full Text
View/download PDF

5. A BPMN-Based Approach for IoT Systems Engineering

Author

Corradini, Flavio, Fornari, Fabrizio, Pettinari, Sara, Re, Barbara, Rossi, Lorenzo, Tiezzi, Francesco, Fortino, Giancarlo, Series Editor, Liotta, Antonio, Series Editor, Zambonelli, Franco, editor, Re, Barbara, editor, and Viroli, Mirko, editor

Published
2024
Full Text
View/download PDF

7. Enabling 3D Simulation in ThingsBoard: A First Step Towards A Digital Twin Platform

Author

Callisto De Donato, Massimo, Corradini, Flavio, Fornari, Fabrizio, Re, Barbara, Romagnoli, Matteo, van der Aalst, Wil, Series Editor, Ram, Sudha, Series Editor, Rosemann, Michael, Series Editor, Szyperski, Clemens, Series Editor, Guizzardi, Giancarlo, Series Editor, Sales, Tiago Prince, editor, de Kinderen, Sybren, editor, Proper, Henderik A., editor, Pufahl, Luise, editor, Karastoyanova, Dimka, editor, and van Sinderen, Marten, editor

Published
2024
Full Text
View/download PDF

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

Author

Callisto De Donato, Massimo, Corradini, Flavio, Fornari, Fabrizio, Re, Barbara, Romagnoli, Matteo, van der Aalst, Wil, Series Editor, Ram, Sudha, Series Editor, Rosemann, Michael, Series Editor, Szyperski, Clemens, Series Editor, Guizzardi, Giancarlo, Series Editor, Sales, Tiago Prince, editor, de Kinderen, Sybren, editor, Proper, Henderik A., editor, Pufahl, Luise, editor, Karastoyanova, Dimka, editor, and van Sinderen, Marten, editor

Published
2024
Full Text
View/download PDF

14. DTMN a Modelling Notation for Digital Twins

Author

Corradini, Flavio, Fedeli, Arianna, Fornari, Fabrizio, Polini, Andrea, Re, Barbara, van der Aalst, Wil, Series Editor, Ram, Sudha, Series Editor, Rosemann, Michael, Series Editor, Szyperski, Clemens, Series Editor, Guizzardi, Giancarlo, Series Editor, Sales, Tiago Prince, editor, Proper, Henderik A., editor, Montali, Marco, editor, Maggi, Fabrizio Maria, editor, and Fonseca, Claudenir M., editor

Published
2023
Full Text
View/download PDF

17. Trends on the Usage of BPMN 2.0 from Publicly Available Repositories

Author

Compagnucci, Ivan, Corradini, Flavio, Fornari, Fabrizio, Re, Barbara, van der Aalst, Wil, Series Editor, Mylopoulos, John, Series Editor, Rosemann, Michael, Series Editor, Shaw, Michael J., Series Editor, Szyperski, Clemens, Series Editor, Buchmann, Robert Andrei, editor, Polini, Andrea, editor, Johansson, Björn, editor, and Karagiannis, Dimitris, editor

Published
2021
Full Text
View/download PDF

18. FloWare: An Approach for IoT Support and Application Development

Author

Corradini, Flavio, Fedeli, Arianna, Fornari, Fabrizio, Polini, Andrea, Re, Barbara, van der Aalst, Wil, Series Editor, Mylopoulos, John, Series Editor, Rosemann, Michael, Series Editor, Shaw, Michael J., Series Editor, Szyperski, Clemens, Series Editor, Augusto, Adriano, editor, Gill, Asif, editor, Nurcan, Selmin, editor, Reinhartz-Berger, Iris, editor, Schmidt, Rainer, editor, and Zdravkovic, Jelena, editor

Published
2021
Full Text
View/download PDF

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

Author

Compagnucci, Ivan, Corradini, Flavio, Fornari, Fabrizio, Polini, Andrea, Re, Barbara, Tiezzi, Francesco, van der Aalst, Wil, Series Editor, Mylopoulos, John, Series Editor, Rosemann, Michael, Series Editor, Shaw, Michael J., Series Editor, Szyperski, Clemens, Series Editor, Del Río Ortega, Adela, editor, Leopold, Henrik, editor, and Santoro, Flávia Maria, editor

Published
2020
Full Text
View/download PDF

20. On the importance of CI/CD practices for database applications.

Author

Fluri, Jasmin, Fornari, Fabrizio, and Pustulka, Ela

Subjects
*DATABASES, *DATABASE design, *SOFTWARE engineering, *LITERATURE reviews, *INDUSTRIALIZATION
Abstract

Summary Continuous integration and continuous delivery (CI/CD) automate software integration and reduce repetitive engineering work. While the use of CI/CD presents efficiency gains, in database application development, this potential has not been fully exploited. We explore the state of the art in this area, with a focus on current practices, common software tools, challenges, and preconditions that apply to database applications. The work is grounded in a synoptic literature review and contributes a novel generic CI/CD pipeline for database system application development. Our generic pipeline was tailored to three industrial development use cases in which we measured the benefits of integration and deployment automation. The measurements demonstrate clearly that introducing CI/CD had significant benefits. It reduced the number of failed deployments, improved their stability, and increased the number of deployments. Interviews with the developers before and after the implementation of the CI/CD show that the pipeline brings clear benefits to the development team (i.e., a reduced cognitive load). These findings put current database release practices driven by business expectations, such as fixed release windows, in question. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

21. Checking Business Process Correctness in Apromore

Author

Fornari, Fabrizio, La Rosa, Marcello, Polini, Andrea, Re, Barbara, Tiezzi, Francesco, van der Aalst, Wil, Series Editor, Mylopoulos, John, Series Editor, Rosemann, Michael, Series Editor, Shaw, Michael J., Series Editor, Szyperski, Clemens, Series Editor, Mendling, Jan, editor, and Mouratidis, Haralambos, editor

Published
2018
Full Text
View/download PDF

22. City of Future

Author

Fornari, Fabrizio, Kacprzyk, Janusz, Series editor, Pal, Nikhil R., Advisory editor, Bello Perez, Rafael, Advisory editor, Corchado, Emilio S., Advisory editor, Hagras, Hani, Advisory editor, Kóczy, László T., Advisory editor, Kreinovich, Vladik, Advisory editor, Lin, Chin-Teng, Advisory editor, Lu, Jie, Advisory editor, Melin, Patricia, Advisory editor, Nedjah, Nadia, Advisory editor, Nguyen, Ngoc Thanh, Advisory editor, Wang, Jun, Advisory editor, Karwowski, Waldemar, editor, and Ahram, Tareq, editor

Published
2018
Full Text
View/download PDF

25. On Avoiding Erroneous Synchronization in BPMN Processes

Author

Corradini, Flavio, Fornari, Fabrizio, Muzi, Chiara, Polini, Andrea, Re, Barbara, Tiezzi, Francesco, van der Aalst, Wil M.P., Series editor, Mylopoulos, John, Series editor, Rosemann, Michael, Series editor, Shaw, Michael J., Series editor, Szyperski, Clemens, Series editor, and Abramowicz, Witold, editor

Published
2017
Full Text
View/download PDF

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

Author

Compagnucci, Ivan, Corradini, Flavio, Fornari, Fabrizio, Polini, Andrea, Re, Barbara, and Tiezzi, Francesco

Subjects
BUSINESS process modeling, BUSINESS process management, BUSINESS enterprises, INTERNET of things, DIGITAL libraries
Abstract

The Internet of things has been adopted in several sectors both influencing how people work and enhancing organizations' business processes. This resulted in the rise of relevant research topics such as IoT-aware business processes. The modeling of these processes makes it possible to better understand working scenarios and to support the adoption of model-driven development approaches for IoT-aware and process-oriented software systems. Since much research has been performed on this topic, a better awareness of the current status is needed. This paper reports a systematic literature review to develop a map on modeling notations for IoT-aware business processes. The survey mainly adopts an academic point of view, resulting in the detailed analysis of 84 research works from the leading computer science digital libraries. The output of the review is in the form of schemes and reflections. In particular, our research aims to shed light on (1) the relevant modeling views referring to different types of IoT-aware business processes; (2) the IoT requirements supported by the modeling notations; and (3) the modeling notations proposed and/or adopted to model IoT-aware business processes. Finally, our research work highlights possible future research lines needing further investigations. [ABSTRACT FROM AUTHOR]

Published
2023
Full Text
View/download PDF

34. X-IoT

Author

Corradini, Flavio, primary, Fedeli, Arianna, additional, Fornari, Fabrizio, additional, Polini, Andrea, additional, and Re, Barbara, additional

Published
2022
Full Text
View/download PDF

37. A formal approach for the analysis of BPMN collaboration models

Author

Corradini, Flavio, Fornari, Fabrizio, Polini, Andrea, Re, Barbara, Tiezzi, Francesco, Vandin, Andrea, Corradini, Flavio, Fornari, Fabrizio, Polini, Andrea, Re, Barbara, Tiezzi, Francesco, and Vandin, Andrea

Abstract

BPMN collaboration models have acquired increasing relevance in software development since they shorten the communication gap between domain experts and IT specialists and permit clarifying the characteristics of software systems needed to provide automatic support for the activities of complex organizations. Nonetheless, the lack of effective formal verification capabilities can hinder the full adoption of the BPMN standard by IT specialists, as it prevents precisely check the satisfaction of behavioral properties, with negative impacts on the quality of the software. To address these issues, this paper proposes BProVe, a novel verification approach for BPMN collaborations. This combines both standard model checking techniques, through the MAUDE's LTL model checker, and statistical model checking techniques, through the statistical analyzer MULTIVESTA. The latter makes BProVe effective also on those scenarios suffering from the state–space explosion problem, made even more acute by the presence of asynchronous message exchanges. To support the adoption of the BProVe approach, we propose a complete web-based tool-chain that allows for BPMN modeling, verification, and result exploration. The feasibility of BProVe has been validated both on synthetically-generated models and on models retrieved from two public repositories. The performed validation highlighted the importance and complementarity of the two supported verification strategies.

Published
2021

39. Prove d'orchestra. Il progetto incompiuto della cultura sociologica.

Author

FORNARI, FABRIZIO

Subjects
*SOCIOLOGICAL research, *SOCIAL processes, *VOCATION, *SOCIOLOGY, *CULTURE
Abstract

Sociological culture has now fragmented and has lost its original vocation as a conceptually oriented science. If for the great classical authors such as Tocqueville, Durkheim, Weber and Pareto the project of sociology coincided with the attempt to identify and understand social processes, currently sociological research has assumed a mostly descriptive function, disconnecting the themes of scientific assessment from those social commitment. Will it be possible to reverse this trend and rediscover the critical basis of the sociological culture itself? [ABSTRACT FROM AUTHOR]

Published
2022

42. Pensiero giuridico e riflessione sociale

Author

Bixio, Andrea, CALABRO', GAETANO, CUCULO, FEDELE, FEBBRAJO, ALBERTO MARIA, MARCI, TITO, ORNAGHI, LORENZO, PIRZIO AMMASSARI, GLORIA, SCUCCIMARRA, LUCA, AN INI, MARIA CLAUDIA, BELLINI, PIERO, CASSESE, SABINO, CERRI, AUGUSTO, D'ALBERTI, MARCO, DE GREGORIO, FAUSTINO, DE SANCTIS, FRANCESCO, FROSINI, TOMMASO EDOARDO, GROSSI, PAOLO, IRTI, NATALINO, LANCHESTER, FULCO, LARICCIA, SERGIO, PINELLI, CESARE, PUNZI, ANTONIO, PUNZI, CARMINE, RAMACCI, FABRIZIO, RESCIGNO, PIETRO, RICCOBONO, FRANCESCO, RUSCIANO, MARIO, SANDULLI, ALDO, SANTORO PASSARELLI, GIUSEPPE, SURDI, MICHELE, BERZANO, LUIGI, CESAREO, VINCENZO, CORCIULO, MARIA SOFIA NICOLETTA, D'ALESSAN O, LUCIO, FORNARI, FABRIZIO, MONTANARI, ARIANNA, PETRONI, ANGELO MARIA, DE NITTO, ACHILLE, DI GASPARE, GIUSEPPE, LIPARI, NICOLA, NICOLO' PUNZI, ANGELA MARIA, MIAIELLE, MICHEL, FRUDA', LUIGI, MANGIAROTTI, GABRIELLA, DI RIENZO, EUGENIO, Bixio, Andrea, CALABRO', GAETANO, CUCULO, FEDELE, FEBBRAJO, ALBERTO MARIA, MARCI, TITO, ORNAGHI, LORENZO, PIRZIO AMMASSARI, GLORIA, SCUCCIMARRA, LUCA, AN INI, MARIA CLAUDIA, BELLINI, PIERO, CASSESE, SABINO, CERRI, AUGUSTO, D'ALBERTI, MARCO, DE GREGORIO, FAUSTINO, DE SANCTIS, FRANCESCO, FROSINI, TOMMASO EDOARDO, GROSSI, PAOLO, IRTI, NATALINO, LANCHESTER, FULCO, LARICCIA, SERGIO, PINELLI, CESARE, PUNZI, ANTONIO, PUNZI, CARMINE, RAMACCI, FABRIZIO, RESCIGNO, PIETRO, RICCOBONO, FRANCESCO, RUSCIANO, MARIO, SANDULLI, ALDO, SANTORO PASSARELLI, GIUSEPPE, SURDI, MICHELE, BERZANO, LUIGI, CESAREO, VINCENZO, CORCIULO, MARIA SOFIA NICOLETTA, D'ALESSAN O, LUCIO, FORNARI, FABRIZIO, MONTANARI, ARIANNA, PETRONI, ANGELO MARIA, DE NITTO, ACHILLE, DI GASPARE, GIUSEPPE, LIPARI, NICOLA, NICOLO' PUNZI, ANGELA MARIA, MIAIELLE, MICHEL, FRUDA', LUIGI, MANGIAROTTI, GABRIELLA, and DI RIENZO, EUGENIO

Subjects
Sociology--Study and teaching--Italy
Published
2017

43. Lo sguardo inquieto. Anti-dialettica del tragico, violenza e religione in René Girard.

Author

Fornari, Fabrizio

Subjects
*DESIRE, *VIOLENCE, *CULTURE, *DEBATE, *RELIGIONS
Abstract

Starting from the results of the contemporary anti-religious debate, on one side the essay wants to grasp its epistemological meaning, on the other one it aims to measure the power of the trans-religious thought of René Girard that includes categories like “religion”, “violence”, “desire” which assume unexpected meanings, capable of redesign the origins of the society itself. Girard, one of the most influential thinker of the contemporary culture, provides us fundamental notions to understand our time. [ABSTRACT FROM AUTHOR]

Published
2020

45. Checking business process modeling guidelines in apromore

Author

Kumar, A, Weske, M, Clariso, R, Leopold, H, Mendling, J, Pentland, B, van der Aalst, W, Fornari, Fabrizio, Gnesi, Stefania, La Rosa, Marcello, Polini, Andrea, Re, Barbara, Spagnolo, Giorgio, Kumar, A, Weske, M, Clariso, R, Leopold, H, Mendling, J, Pentland, B, van der Aalst, W, Fornari, Fabrizio, Gnesi, Stefania, La Rosa, Marcello, Polini, Andrea, Re, Barbara, and Spagnolo, Giorgio

Published
2017

46. BProVe: Tool support for business process verification

Author

Corradini, Flavio, Fornari, Fabrizio, Polini, Andrea, Re, Barbara, Tiezzi, Francesco, Vandin, Andrea, Corradini, Flavio, Fornari, Fabrizio, Polini, Andrea, Re, Barbara, Tiezzi, Francesco, and Vandin, Andrea

Abstract

This demo introduces BProVe, a tool supporting automated verification of Business Process models. BProVe analysis is based on a formal operational semantics defined for the BPMN 2.0 modelling language, and is provided as a freely accessible service that uses open standard formats as input data. Furthermore a plug-in for the Eclipse platform has been developed making available a tool chain supporting users in modelling and visualising, in a friendly manner, the results of the verification. Finally we have conducted a validation through more than one thousand models, showing the effectiveness of our verification tool in practice. (Demo video: https://youtu.be/iF5OM7vKtDA)

Published
2017

47. BProVe: A formal verification framework for business process models

Author

Corradini, Flavio, Fornari, Fabrizio, Polini, Andrea, Re, Barbara, Tiezzi, Francesco, Vandin, Andrea, Corradini, Flavio, Fornari, Fabrizio, Polini, Andrea, Re, Barbara, Tiezzi, Francesco, and Vandin, Andrea

Abstract

Business Process Modelling has acquired increasing relevance in software development. Available notations, such as BPMN, permit to describe activities of complex organisations. On the one hand, this shortens the communication gap between domain experts and IT specialists. On the other hand, this permits to clarify the characteristics of software systems introduced to provide automatic support for such activities. Nevertheless, the lack of formal semantics hinders the automatic verification of relevant properties. This paper presents a novel verification framework for BPMN 2.0, called BProVe. It is based on an operational semantics, implemented using MAUDE, devised to make the verification general and effective. A complete tool chain, based on the Eclipse modelling environment, allows for rigorous modelling and analysis of Business Processes. The approach has been validated using more than one thousand models available on a publicly accessible repository. Besides showing the performance of BProVe, this validation demonstrates its practical benefits in identifying correctness issues in real models.

Published
2017

Catalog

Books, media, physical & digital resources
See catalog results