Abstract
Rebeca is 20+ years old. Introduced by Marjan Sirjani and colleagues for modelling and analysing actor-based systems, it comes with a variety of tool support, including dedicated model checkers, simulators, and code generators. When encountering Rebeca for the first time, either as a student, as a researcher, or as a practitioner from industry, one needs to grasp the subtleties of Rebeca ’s semantics, which includes variants with probabilities and time. This paper presents a user-friendly web-based front-end, based on the Caos library for Scala, to animate different operational semantics of (timed) Rebeca. This can facilitate the dissemination and awareness of Rebeca, provide insights into the differences among existing semantics, and support quick experimentation of new variants (e.g., when the order of received messages is preserved). The tool is illustrated by means of a ticket service use case from the literature. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

Abstract

Abstract

Abstract
Non-adherence to medication is a pervasive issue worldwide, affecting 50% of prescription users, resulting in suboptimal therapy outcomes and premature death. One of the key factors contributing to non-adherence is the complexity associated with managing medication regimens. To address this challenge, an automated pill dispenser “SelfMed, your medication partner” has been proposed. This study focuses on studying determinants of medication non-adherence, its ramifications and alternatives available in the market in order to increase medication adherence among adults aged 60 and over. The overarching goal of this research is to evaluate whether digital solutions like SelfMed are required for addressing non-compliance issues in Portugal while assessing their effectiveness over time for our target audience within the marketplace. The research was conducted using primary data collected through a questionnaire distributed to users and care institutions/companies in Portugal (Northern area). According to the analysis, 40% of users and 40% of care companies are interested in obtaining SelfMed to simplify the complex medication management and prescription regimen for the end user. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

Abstract

Abstract