Barbara Re

Verified

Barbara verified their affiliation via an institutional email.

Learn more

Verified

Barbara verified their affiliation via an institutional email.

Learn more

• Computer Science - University of Camerino
• Associate Professor at 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...

Solidity is the predominant programming language for blockchain-based smart contracts, and its characteristics pose significant challenges for code analysis and maintenance. Traditional software analysis approaches, while effective for conventional programming languages, often fail to address Solidity-specific features such as gas optimization and...

Voluntary Geographic Information initiatives are transforming the disaster response landscape. Our research provides insights into how the concept of collective intelligence is accomplished in humanitarian mapping initiatives. The main source originates from the data obtained in 746 mapping projects organised by the Humanitarian OpenStreetMap Team...

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

OpenStreetMap (OSM) is a Digital Commons platform, collaboratively developed, and centred on creating an accurate spatial representation of the world. Its flexibility and open nature have attracted multiple commercial organizations to use data from and contribute to the platform in several ways. This study examines the motivations and methods of co...

In scenarios where multiple autonomous systems collaborate to execute a business process, it is often necessary for them to exchange confidential or private data. In this setting, mechanisms need to be put in place to ensure that each participant accesses data in a way that respects confidentiality or privacy constraints. The PE-BPMN notation is an...

Business processes require continuous changes or interventions to remain efficient and competitive. However, implementing such changes (i.e., reordering tasks, adding new tasks or resources) is nontrivial since they can negatively affect overall process performance. A longstanding problem in Business Process Management is the challenge of forecasti...

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

Geographic information is vital for organising humanitarian campaigns and helping those in need. The leading Humanitarian OpenStreetMap Team (HOT) organises projects to create the necessary geographical information and connect to the organisations that need to make decisions on the ground. This work provides insights into project management dynamic...

Ushered by competition and technological change, a growing number of human activities are situated in environments requiring situation recognition and dynamic response to unpredicted events. This chapter presents the vision and structure of a novel computational model, called Bidirectional Responsive IoT Collaboration and Knowledge System (BRICKS),...

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

The objective of this chapter is to present the vision and overall structure of Fluidware, an approach toward an innovative architectural and programming model to ease the development of flexible and robust large-scale IoT services and applications. The key distinctive idea of Fluidware is to abstract collectives of devices of the IoT fabric as sou...

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 capability to integrate Internet of Things (IoT) technologies into business processes (BPs) has emerged as a transformative paradigm, offering unprecedented opportunities for organisations to enhance their operational efficiency and productivity. Interacting with the physical world and leveraging real-world data to make more informed business d...

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

Process mining collects a variety of techniques. To test and compare these techniques, we need event logs tailored to their specific mining purposes, e.g., process discovery and conformance checking. To this aim, we propose the PURPLE tool, a generator of event logs supporting different mining purposes. PURPLE performs guided simulations of a busin...

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

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

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

Process mining is a prominent discipline that collects a variety of techniques fulfilling different mining purposes by gathering information from event logs. This involves the continuous necessity of event logs suitable for testing mining techniques with respect to different purposes. Unfortunately, event logs are hard to find and usually contain n...

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

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

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

Current open data systems lag behind in their promised value creation and sustainability. The objective of the current study is twofold: 1) to investigate whether existing open data systems meet the requirements of open data ecosystems, and 2) to develop a research agenda that discusses the gaps between current open data systems on the one hand and...

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

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

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

We propose a technique to automatically generate a formal specification of the model of a system from a set of observations of its behaviour. We aim to free systems modellers from the burden of explicitly formalising the behaviour of an existing system to analyse it. We take advantage of an algorithm introduced by the process mining community, whic...

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

This book constitutes the proceedings of the 11th IFIP WG 8.5 International Conference on Electronic Participation, ePart 2019, held in San Benedetto del Tronto, Italy, in September 2019, in conjunction with the 18th IFIP WG 8.5 IFIP International Conference on Electronic Government (EGOV 2019) and the International Conference for E-Democracy and O...

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

In this paper we present the integration of BProVe - Business Process Verifier - into the Apromore open-source process analytics platform. Given a BPMN model BProVe enables the verification of properties such as soundness and safeness. Differently from established techniques for BPMN verification, that rely on the availability of a mapping into a t...

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

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

BPMN has acquired a clear predominance in the modeling of organization processes. Since it is a fairly complex modeling language, in some cases it is important to clarify the behavior of a modeled process, especially when concurrency comes into play. We consider unsafe process models with arbitrary topology, and we focus on the effects of concurren...

In order to help organizations in providing similar services without the need to structure each of them separately, this chapter presents a modeling notation that supports variability for Business Process modeling. Variability is particularly relevant for Public Administration institutions where different offices organize the provisioning of servic...

This chapter describes a modeling method that has been conceived to support learning in public administrations. The modeling method foresees the description of both procedures in the public administrations, and the working context of the civil servants. The approach relies on several model types that are used to organize and to relate the knowledge...

Due to the continuous market change the enterprises need to react fast. To do that a better understanding of the way to work is needed. Indeed this was a real need of a manufacturing enterprise working in the production of coffee machines and selling them all over the world. In this paper, we present the experience made in the application of proces...