Flavio Corradini

• Scienze dell'Informazione
• Università di Camerino

With the advent of Big Data, data mining techniques have become crucial for improving decision-making across diverse sectors, yet their employment demands significant resources and time. Time is critical in industrial contexts, as delays can lead to increased costs, missed opportunities, and reduced competitive advantage. To address this, systems f...

In recent years, spatio-temporal graph neural networks (GNNs) have attracted considerable interest in the field of time series analysis, due to their ability to capture, at once, dependencies among variables and across time points. The objective of this systematic literature review is hence to provide a comprehensive overview of the various modelin...

The Internet of Things (IoT) and Cyber-Physical Systems (CPS) are being integrated into living spaces to collect data and to perform monitoring and control operations which are supposed to make environments more efficient, secure, and comfortable for their inhabitants. Recently, the Digital Twin concept has attracted considerable attention from ind...

Graph neural networks form a class of deep learning architectures specifically designed to work with graph-structured data. As such, they share the inherent limitations and problems of deep learning, especially regarding the issues of explainability and trustworthiness. We propose $\mu\mathcal{G}$, an original domain-specific language for the speci...

Earthquakes are unpredictable natural events that cause a high number of casualties every year. During an earthquake, furniture and mobile equipment can either become obstacles or act as passive life safety systems by providing safe shelter for people involved in the event. The combination of Internet of Things (IoT) devices and anti-seismic furnit...

The management of IoT systems is often challenging, requiring advanced skills, especially in ensuring loosely coupled coordination of heterogeneous devices. Model-driven approaches facilitate modeling, enacting, and monitoring interacting IoT devices’ behavior. Indeed, the state of the art provides contributions addressing crucial aspects of the mo...

Digitalization triggered a transformation in our society, leveraging recent innovations introduced by digital technologies to empower real systems with advanced capabilities. Blockchain emerged as a disruptive technology to advance trustless scenarios by enforcing data immutability and change traceability. Deployed in the Blockchain, smart contract...

Digital twin platforms enable the creation, management, and analysis of digital twins. However, most of the available platforms are distributed as proprietary software. Considering that available digital twin platforms often generate from former IoT platforms and that visualization and simulation are among the main characteristics of digital twins,...

The rapid advancements in digital technologies have paved the way for the development and utilization of digital twins that allow bridging the gap between physical systems and their virtual representations. This digital twin concept is gaining importance especially in the design of complex IoT and Cyber-Physical systems. At design time a digital tw...

The process mining domain is actively supported by techniques and tools addressing the discovery of single-participant business processes. In contrast, approaches for discovering collaboration models out of distributed data stored by multiple interacting participants are lacking. In this context, we propose a novel technique for discovering collabo...

The recent growth of blockchain has opened the use of technology for supporting the creation of new kinds of trustable systems. Model-driven engineering methodologies have been conceived to facilitate the automatic generation and deployment of software applications starting from the definition and refinement of abstract specification. BPMN choreogr...

Internet of Things and robotic systems are widespread in many application domains. The emergence of the Internet of Robotic Things seeks to combine both technologies' strengths, thus empowering the system with enhanced capabilities. Nevertheless, this system is composed of heterogeneous devices that need to communicate to work properly. To guarante...

Robotic systems are widely adopted in various application scenarios. A very complex task for developers is the analysis of robotic systems’ behavior, which is required to ensure trustworthy interaction with the surrounding environment. Available analysis techniques, like field tests, depend on human observations, while automated techniques, like fo...

Leveraging BPMN models for validating novel approaches and tools is a common practice among researchers in the BPM field. To ensure the results validation accuracy of the such research activities, it is important to have an in-depth understanding of the sample models' features. This mitigates the avoidance of any biased factors that could potential...

The analysis of large event log collections aimed at variability management requires an intensive pre-processing phase. It is intuitive that obsolete behaviour that could be present in the logs must be removed in order to gain insight into the collection. Changes in the information system may indeed generate obsolete behaviour, more specifically, i...

The development of process-driven systems and the advancements in digital twins have led to the birth of new ways of monitoring and analyzing systems, i.e., digital process twins. Specifically, a digital process twin can allow the monitoring of system behavior and the analysis of the execution status to improve the whole system. However, the concep...

Being widely accepted by industries and academia, Business Process Model and Notation (BPMN) is the de facto standard for business process modeling. However, the large number of notation elements it introduces makes its use quite complex. This work investigates the usage of the BPMN notation by analyzing 54,500 models harvested from seven online co...

A graph neural network is a deep learning architecture operating on graph-structured data. While they have achieved impressive results in many application domains, their applicability is limited when one needs to perform symbolic and semantic reasoning, for example, in model checking. We propose an approach based on the idea that graph neural netwo...

Nowadays, teaching methodologies have been fostered by the integration with game-based approaches leading to the birth of the so-called serious games, i.e. games that do not have entertainment as their main purpose but are designed primarily for educational purposes. Although they have always been the subject of debate and criticism, serious games...

Zero-knowledge proofs are widely adopted in Confidential Transactions (CTs). In particular, with these proofs, it is possible to prove the validity of transactions without revealing sensitive information. This has become an attractive property in public blockchain where transactions must be publicly verifiable. However, several challenges must be a...

In this paper, we present a new method based on Network Analysis for implementing what we called Sensorless Predictive Maintenance (PdM) on production lines of coffee machines of an Italian manufacturing company, Nuova Simonelli S.p.A.. To the best of our knowledge, such an approach is an innovative one in the field of PdM; its final goal is to imp...

Modelling and developing digital twin solutions is a growing and promising trend followed by enterprises with the ambition to improve decision-making and accelerate risk assessment and production time. However, as a current emerging trend, there is no recognised standard nor a unique solution that provides support for all the characteristics of a d...

Several IoT platforms have been proposed to support and facilitate the development of IoT applications. Unfortunately, using an IoT platform makes the developed application strongly dependent on the specific platform’s functionalities. This reduces the portability of the IoT application that may require significant adaptations, or a complete re-des...

Programming robotic systems is often a challenging task requiring advanced skills, especially when the goal is to ensure loosely-coupled coordination in heterogeneous Multi-Robot Systems (MRSs). Model-driven approaches for robotic system engineering have shown their benefits in facilitating the development of robots’ behavior, controllers, and syst...

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...

A key challenge in engineering distributed systems consists in the integration into their development of a decentralised infrastructure allowing the system participants to trust each other. In this article, we face such a challenge by proposing a model-driven methodology and a related framework to support the engineering of trustable and auditable...

Nowadays, the digitalization of business processes goes hand in hand with the adoption of IoT and robotic systems for automating work activities, leading to the birth of new ways of representing organizational information, i.e. digital twins. However, interpreting the behavior of autonomous systems, especially those with several devices, and keepin...

Digital Twins (DTs) constitute a growing and promising trend recognised by academia and industry. They are virtual replicas of distinctive objects, processes, buildings, or humans. DTs are used to reason about their physical counterparts’ functionalities, interactions, behaviours, and overall to plan optimal actions that they can perform or be subj...

Work-related musculoskeletal disorders are a very impactful problem, both socially and economically, in the manufacturing sector. To control their effect, standardised methods and technologies for ergonomic assessment have been developed. The main technologies used are inertial sensors and vision-based systems. The former are accurate and reliable,...

The relevance of IoT-based solutions in everyday life is continuously increasing. The capability to sense the world, activate computation based on data gathered by sensors, and possibly produce reactions on the world itself results in an almost never-ending identification of novel IoT solutions and application scenarios. Nonetheless, IoT’s intrinsi...

Several heterogeneous IoT platforms have been proposed and regularly used by enterprises and academies to support and facilitate IoT software applications development. However, IoT applications strongly depend on the functionalities supported by the specific platform used. This affects the development and portability of the developed applications t...

In this work a general framework is proposed to support the development of software systems that are able to adapt their behaviour according to the operating environment changes. The proposed approach, named REPTILE, works in a complete proactive manner and relies on Deep Reinforcement Learning-based agents to react to events, referred as novelties...

Purpose This paper aims at supporting business process designers in modelling collaborative scenarios in terms of hierarchical BPMN collaboration diagrams, to enforce consistency among different hierarchical levels. Design/methodology/approach The proposed approach is based on a set of guidelines to apply during the modelling of hierarchical diagr...

The privacy problem in public blockchains is a well-know challenge. Despite the robustness and decentralisation properties of the blockchain, transaction information remains visible to everyone in the network. Several proposals aim at solving these issues with advanced cryptographic techniques, such as zero-knowledge proofs, which turned out to be...

Due to extensive spread of fake news on social and news media it became an emerging research topic now a days that gained attention. In the news media and social media the information is spread highspeed but without accuracy and hence detection mechanism should be able to predict news fast enough to tackle the dissemination of fake news. It has the...

Fake news detection research is still in the early stage as this is a relatively new phenomenon in the interest raised by society. Machine learning helps to solve complex problems and to build AI systems nowadays and especially in those cases where we have tacit knowledge or the knowledge that is not known. We used machine learning algorithms and f...

Fact checking is an important topic that needs to be studied scientifically to determine how fake news is spread. Previous work in this area has primarily focused on document- level fact checking. In this paper, however, we will focus on individual statements and the relationship between target statements and the overall news text. In larger contex...

In the last years, researchers have contributed to the process mining domain with several techniques and tools supporting the discovery of business processes. Almost all these contributions rely on event logs stored in the information systems of single organizations. In contrast, the discovery of collaborative scenarios where the information system...

Nowadays, Multi-Robot Systems are an emerging research field under the umbrella of Cyber-Physical Systems. They consist of a group of robots that cooperate to accomplish a common mission. Examples of these systems are present in many application fields, e.g., agriculture, manufacture, industry, military, and health. As a consequence, there exist ma...

Nowadays, the BPMN 2.0 notation is widely used both for modelling and implementing business processes. Even if it is largely adopted, the BPMN standard lacks a formal specification of models’ behaviour, leading to misinterpretations of the execution semantics of some tricky modelling elements. This may result in processes that do not fit with desig...

The integration of Blockchain and Internet of Things (IoT) will have many implications in the Society 5.0. Blockchain technology has the potential to deal with issues that are related to data ownership, data integrity and data market monopolies. Public blockchains support the implementation of the data democratisation vision where everybody has acc...

Every day Public Administrations (PA) provide citizens with plenty of services. Due to different factors, such as the involvement of different human resources or the will to deliver lean and versatile services, the same service can show some variability across different organizations. Log files contain the proof of PA process' variability thus, bei...

Business Process Model and Notation is the de facto standard for graphically modelling business processes. Since its first release in 2004, it evolved until reaching the actual 2.0 version, which presents more than 85 elements. Despite the notation being rich in graphical elements, initial studies show that only a subset of the BPMN elements is act...

Every day Public Administrations (PA) provide citizens with plenty of services. Due to different factors, such as the involvement of different human resources or the will to deliver lean and versatile services, the same service can show some variability across different organizations. Log files contain the proof of PA process’ variability thus, bei...

With the advancement of computing technology, we are witnessing the dawn of a new era of the Internet of Things (IoT) paradigm in which objects equipped with sensors, actuators and processing capabilities communicate with each other to serve a given goal. The IoT’s intrinsic nature, which uses heterogeneous devices, resources and different communic...

As a disruptive technology, the blockchain is continuously finding novel application contexts, bringing new opportunities and radical changes. In this paper, we use blockchain as a communication infrastructure to support multi-party business processes. In particular, through smart contracts specifically generated by the mentioned business process,...

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 form...

Detection of check-worthy statements is a subtask in the fact-checking process, automation of which would decrease the time and burden required to fact-check a statement. This paper proposes an approach focused on the classification of statements into check-worthy and not check-worthy. For the current paper, a dataset is constructed by consulting d...

Detection of check-worthy statements is a subtask in the fact-checking process, automation of which would decrease the time and burden required to fact-check a statement. This paper proposes an approach focused on the classification of statements into check-worthy and not check-worthy. For the current paper, a dataset is constructed by consulting d...

Modern blockchains allow the definition of smart contracts (SCs). An SC is a computer protocol designed to digitally ease, verify, or enforce the terms of agreement between users. SCs execution can require high fees when lots of computation is required or a high volume of data is stored. This is usually the case of Internet-of-Things (IoT) systems...

Fake news detection research is still in the early stage as this is a relatively new phenomenon in the interest raised by society. Machine learning helps to solve complex problems and to build AI systems nowadays and especially in those cases where we have tacit knowledge or the knowledge that is not known. We used machine learning algorithms and f...

The BPMN standard has a huge uptake in modelling business processes within the same organisation or collaborations involving multiple interacting participants. It is widely accepted by the Business Process Management community that a solid formal framework for the notation can help designers to properly understand their BPMN models as well as to st...

The term IoT-aware business processes refers to the interplay of business processes and Internet of Things concepts. Several studies have been carried out on such a topic, so a better awareness of the current state of knowledge can be beneficial. In particular, in a given application domain, this can help the choice of the most suitable modelling a...

The BPMN 2.0 standard is a widely used semi-formal notation to model from different perspectives distributed information systems. Different diagrams are made available to represent such perspectives. Choreography diagrams represent global constraints concerning the interactions among system components without exposing their internal structure. Coll...

The increasing adoption of modelling methods contributes to a better understanding of the flow of processes, from the internal behaviour of a single organisation to a wider perspective where several organisations exchange messages. In this regard, BPMN collaborations provide a suitable modelling abstraction. Even if this is a widely accepted notati...

With the evolution of distributed systems, nowadays BPMN choreography diagrams have acquired more and more importance for modelling systems interaction. However, one of the drawbacks of this model is the lack of formal semantics, which leads to different interpretations, and hence implementations, of some of its features. Among the BPMN choreograph...

The auditing sector is acquiring a strong interest in the diffusion of blockchain technologies. Such technologies guarantee the persistence, and authenticity of transactions related to the execution of a contract, and then enable auditing activities. In particular, they make possible to check if observed sequences of transactions are in line with t...

In the last years BPMN became the most prominent notation for representing business processes, thanks to its wide usage in academic and industrial contexts. Despite BPMN is very intuitive, it’s way of representing activities with static flow charts may result effective just for the BPM experts. Stakeholders who are not too much aware of the BPMN no...

Due to extensive spread of fake news on social and news media it became an emerging research topic now a days that gained attention.

Estimating the effects of introducing a range of smart mobility solutions within an urban area is a crucial concern in urban planning. The lack of a simulator for the assessment of mobility initiatives forces local public authorities and mobility service providers to base their decisions on guidelines derived from common heuristics and best practic...

In the last years we are observing a growing interest in verification of business process models that, despite their lack of formal characterization, are widely adopted in industry and academia. To this aim, a formalization of the execution semantics of business process modeling languages is essential. In this paper, we focus on the OMG standard BP...

The BPMN standard is largely adopted by industry and academia due to its intuitive graphical notation. Nevertheless, fully understanding the behaviour of BPMN collaboration models may be difficult when dealing at the same time with multiple instances, exchange of messages, and data manipulation. Figuring out the interplay between such concepts by s...

BPMN 2.0 standard has a huge uptake in modelling business processes within the same organisation or collaborations involving multiple interacting participants. It results that providing a solid foundation to enable BPMN designers to understand their models in a consistent way is becoming more and more important. In our investigation we define and e...

BPMN 2.0 standard has a huge uptake in modelling business processes within the same organisation or collaborations involving multiple interacting participants. It results that providing a solid foundation to enable BPMN designers to understand their models in a consistent way is becoming more and more important. In our investigation we define and e...

Intelligent Environments (IEs) are physical spaces where Information Technology (IT) and other pervasive computing technologies are combined in order to achieve specific goals for the users and the environment. IEs have the goal of enriching user experience, increasing awareness of the environment. A number of applications are currently being deplo...

Estimating the effects of introducing a range of smart mobility solutions within an urban area is a crucial concern in urban planning. The lack of a Decision Support System (DSS) for the assessment of mobility initiatives, forces local public authorities and mobility service providers to base their decisions on guidelines derived from common heuris...

Business Process flexibility supports organizations in changing their everyday work activities to remain competitive. Since much research has been done on this topic a better awareness on the current state of knowledge is needed. This paper reports the results of a systematic literature review to develop a map on Business Process flexibility with a...

It is a general opinion that applicative cooperation represents a useful vehicle for the development of e-government. At the architectural level, solutions for applicative cooperation are quite stable, but organizational and methodological problems prevent the expected and needed development of cooperation among different administrations. Moreover,...

The increasing number of elderly people and chronic diseases asks for innovative care models enabled by technology. Considering house as the place where most of people spend their daily routine, we believe that smart house development and diffusion could lead to such innovation. In this paper we propose a smart house solution aiming to support the...

Business process modeling allows abstracting and reasoning on how work is structured within complex organizations. Business process models represent blueprints that can serve different purposes for a variety of stakeholders. For example, business analysts can use these models to better understand how the organization works; employees playing a role...

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 bee...

In recent years, BPMN has acquired a clear predominance among the notations for modeling business processes. This is mainly due to its capability to close the communication gap between business and IT people. As a consequence, the quality of produced models is more and more important and, among the others, understandability plays a relevant role to...