1,721,140 research outputs found
Replacement freeness: A criterion for separating process calculi
No full textWe introduce a new criterion to discern the relative expressiveness of process calculi. Intuitively, a calculus is replacement free if replacing a sub-process that cannot perform any visible action by an arbitrary one never affects the capability of the resulting process to perform a visible action. By relying on two slightly different formulations of our criterion we partition the set of process calculi into three classes. Then, we prove that no suitable encodings between any two of such classes exist; hence calculi belonging to different classes have different relative expressiveness. Finally, we classify many well-known variants of the mainstream calculi CCS and the π-calculus, thus demonstrating their expressiveness gaps
Empowering trusted data sharing for data analytics in a federated environment: A blockchain-based approach
Full text linkAs data analytics is used in business to increase profits, organizations use it to pursue their goals. Even if enterprise data could be already valuable on its own, in many cases, combining it with external data sources would boost the value of the output, making data sharing a need in data analytics. At the same time, organizations are reluctant to share data, as they are scared of disclosing critical information. This calls for solutions that are able to safeguard data holders by regulating how data can be shared to ensure the so-called data sovereignty. This paper focuses on the usage of data lakes as well-established technology across enterprises for data analytics where internal or publicly available data are considered. The goal is to extend data lakes with functionalities that, respecting the data sovereignty, enable a data lake also to be ingested with data shared by other organizations and to share data to external organizations. Notable, the purpose of this work is to face this issue by defining an architecture that, inserted in a federated environment: restricts data access and enables monitoring that the actual usage of data respects the data sovereignty expressed in the policies agreed upon by the involved parties; makes use of Blockchain technology as a means for guaranteeing the traceability of data sharing; and allows for balancing computation movement and data movement. The proposed approach has been applied to a healthcare scenario where several institutions (e.g., hospitals and clinics, research institutes, and medical universities) produce and collect clinical data in local data lakes
Crossbreeding affects the production performance of dairy cows exposed to a range of temperature and humidity in a pasture-based system
No full text
Milk yield traits, somatic cell score, milking time and age at calving of pure Holstein versus crossbred cows
No full textAn Approach to Support Digital Process Twin
No full textNowadays, 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 keeping track of their execution status can be very difficult even using ad-hoc simulators. Therefore, there is the need for a digital process twin representing, simulating, and visualizing systems' behavior. In this regard, this work proposes an approach to support the digital process twins of autonomous systems by representing, simulating, and visualizing the system behavior. We demonstrate the benefits of the approach by applying it to a robotic scenario
Consistent modelling of hierarchical BPMN collaborations
No full textPurpose
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 diagrams. These guidelines address consistency issues related to the hiding capability provided by sub-process and call activity elements, which may obscure behaviours at inner levels, especially exchange of messages, that are inconsistent with those in other hierarchical levels. A laboratory experience validates the guidelines' effectiveness.
Findings
The paper points out the issues of hierarchical diagrams, and the lack of support in this context from the existing BPMN modelling tools. Moreover, through a laboratory experience, the paper shows the benefits carried by the proposed guidelines concerning the quality of the modelled diagrams.
Practical implications
The proposed guidelines have been implemented in a consistency checking tool that avoids consistency errors during the modelling activity. To foster its usage, the tool has been integrated into the Eclipse BPMN modelling environment.
Originality/value
The paper, employing consistency guidelines, provides a novel solution to the weaknesses of hierarchical modelling
RePROSitory: A Repository platform for sharing business PROcess models and logS
No full textThe BPM community can certainly benefit from the adoption of open science principles. The availability of business process models and logs can make BPM research results more controllable, replicable, and comparable. Unfortunately, finding suitable collections of models and logs is pretty difficult to validate research proposals in the BPM field. To address this issue, we have developed a web-based repository, named RePROSitory, for sharing business process models and logs making them accessible to the community. We have started to systematically populate the repository with a collection of business process models, selected from the literature, and business process logs from an Italian company. The experience of models and logs retrieval from RePROSitory is enhanced by using metrics and metadata that allow researchers to select from Re- PROSitory a set of models or logs that they judge more suitable for the experiments they want to run
Enhancing compatibility in QoS communication for the Internet of Robotic Things
No full textInternet 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 guarantee effective communication among the devices, we propose a model-driven approach that enables the integration of quality of service policies in communication among Internet of Robotic Things system devices, while ensuring their compatibility at the design time. We apply our approach in a smart agriculture scenario
- …
