An Object-Oriented Framework for Explicit-State Model Checking

This paper presents a conceptual architecture for an object-oriented framework to support the development of formal verification tools (i.e. model checkers). The objective of the architecture is to support the reuse of algorithms and to encourage a modular design of tools. The conceptual framework is accompanied by a C++ implementation which provides reusable algorithms for the simulation and verification of explicit-state models as well as a model representation for simple models based on guard-based process descriptions. The framework has been successfully used to develop a model checker for a subset of PROMELA

From zero to hero: A process mining tutorial

Process mining is an emerging area that synergically combines model-based and data-oriented analysis techniques to obtain useful insights on how business processes are executed within an organization. This tutorial aims at providing an introduction to the key analysis techniques in process mining that allow decision makers to discover process models from data, compare expected and actual behaviors, and enrich models with key information about the actual process executions. In addition, the tutorial will present concrete tools and will provide practical skills for applying process mining in a variety of application domains, including the one of software development

Towards transnational interoperable PPDR communications: the European ISI cloud network

The European Council has been stressing the need for interoperability among technologies used for Public Protection and Disaster Relief (PPDR) communications across Europe for a long time. Nevertheless, while the introduction of TETRA and TETRAPOL technologies in the last two decades has increased the possibility to talk cross agency internally in a country, cross border communication for the public safety forces is not well solved as of today. This paper describes the communications interoperability solution that is being developed in the framework of the ISITEP project. This solution, referred to as the European Inter-System Interface (ISI) Cloud Network, aims to integrate the PPDR national/regional infrastructures to allow migration (i.e., roaming) and communication services between networks within a secure framework. The ISI Cloud Network involves, among other components, the specification of a new ISI interface to be deployed over IP transport networks and the development of a number of different gateways to cover the use of TETRA and TETRAPOL technologies as well as the use of legacy TETRA ISI by some networks.Peer ReviewedPostprint (author's final draft

Harvesting for disseminating, open archives and role of academic libraries

The Scholarly communication system is in a critical stage, due to a number of factors.The Open Access movement is perhaps the most interesting response that the scientific community has tried to give to this problem. The paper examines strengths and weaknesses of the Open Access strategy in general and, more specifically, of the Open Archives Initiative, discussing experiences, criticisms and barriers. All authors that have faced the problems of implementing an OAI compliant e-print server agree that technical and practical problems are not the most difficult to overcome and that the real problem is the change in cultural attitude required. In this scenario the university library is possibly the standard bearer for the advent and implementation of e-prints archives and Open Archives services. To ensure the successful implementation of this service the Library has a number of distinct roles to play

Semantic process mining tools: core building blocks

Process mining aims at discovering new knowledge based on information hidden in event logs. Two important enablers for such analysis are powerful process mining techniques and the omnipresence of event logs in today's information systems. Most information systems supporting (structured) business processes (e.g. ERP, CRM, and workflow systems) record events in some form (e.g. transaction logs, audit trails, and database tables). Process mining techniques use event logs for all kinds of analysis, e.g., auditing, performance analysis, process discovery, etc. Although current process mining techniques/tools are quite mature, the analysis they support is somewhat limited because it is purely based on labels in logs. This means that these techniques cannot benefit from the actual semantics behind these labels which could cater for more accurate and robust analysis techniques. Existing analysis techniques are purely syntax oriented, i.e., much time is spent on filtering, translating, interpreting, and modifying event logs given a particular question. This paper presents the core building blocks necessary to enable semantic process mining techniques/tools. Although the approach is highly generic, we focus on a particular process mining technique and show how this technique can be extended and implemented in the ProM framework tool

The Fast Health Interoperability Resources (FHIR) standard and homecare, a scoping review

The scoping review reported by this article aimed to analyze the state of the art of the use of Fast Health Interoperability Resources (FHIR) in the development of homecare applications and was informed by the following research questions: (i) what type of homecare applications benefit from the use of FHIR?; (ii) what FHIR resources are being implemented?; (iii) what publicly available development tools are being used?; and (iv) how privacy and security issues are being addressed? An electronic search was conducted, and 27 studies were included in the scoping review after the selection process. The results show a current interest in using FHIR to implement: i) applications to provide interoperable measurement devices for home monitoring; (ii) applications to remotely collected Patient Reported Outcome Measures (PROM); (iii) Personal Health Records (PHR); and (iv) specific applications for self-management. According to the results, the FHIR resources being implemented are quite diverse and contribute for the challenge of handling the variability caused by diverse healthcare processes. However, the use of publicly available development tools (e.g., SMART on FHIR or HAPI) is not yet generalized. Moreover, just a small number of studies reported the validation of the implemented resources using publicly available FHIR validators. Finally, in terms of privacy and security issues, different approaches were identified: authentication and authorizations mechanisms, end-to-end encrypted messaging mechanisms, and decentralized management and audit trail based on blockchain technologies.publishe

Patient generated health data and electronic health record integration, governance and socio-technical issues: A narrative review

Patients’ health records have the potential to include patient generated health data (PGHD), which can aid in the provision of personalized care. Access to these data can allow healthcare professionals to receive additional information that will assist in decision-making and the provision of additional support. Given the diverse sources of PGHD, this review aims to provide evidence on PGHD integration with electronic health records (EHR), models and standards for PGHD exchange with EHR, and PGHD-EHR policy design and development. The review also addresses governance and socio-technical considerations in PGHD management. Databases used for the review include PubMed, Scopus, ScienceDirect, IEEE Xplore, SpringerLink and ACM Digital Library. The review reveals the significance, but current deficiency, of provenance, trust and contextual information as part of PGHD integration with EHR. Also, we find that there is limited work on data quality, and on new data sources and associated data elements, within the design of existing standards developed for PGHD integration. New data sources from emerging technologies like mixed reality, virtual reality, interactive voice response system, and social media are rarely considered. The review recommends the need for well-developed designs and policies for PGHD-EHR integration that promote data quality, patient autonomy, privacy, and enhanced trust

Consuming Web Services on Mobile Platforms

Web services are an emerging technology that provides interoperability between applications running in different platforms. The Web services technology provide the best approach to Service Oriented Architecture envision of component collaboration for better business re-quirements fulfilment in large enterprise systems. The challenges in implementing Web services consuming clients for low-resources mobile devices connected through unreliable wireless connections are delimited. The paper also presents a communication architecture that moves the heavy load of XML-based messaging system from the mobile clients to an external middleware component. The middleware component will act like a gateway that lightly com-municates with the device in a client-server manner over a fast binary protocol and at the same time takes the responsibility of solving the request to the Web service.Web Services, SOA, Mobile Computing, Mobile Devices

FIT A Fog Computing Device for Speech TeleTreatments

There is an increasing demand for smart fogcomputing gateways as the size of cloud data is growing. This paper presents a Fog computing interface (FIT) for processing clinical speech data. FIT builds upon our previous work on EchoWear, a wearable technology that validated the use of smartwatches for collecting clinical speech data from patients with Parkinson's disease (PD). The fog interface is a low-power embedded system that acts as a smart interface between the smartwatch and the cloud. It collects, stores, and processes the speech data before sending speech features to secure cloud storage. We developed and validated a working prototype of FIT that enabled remote processing of clinical speech data to get speech clinical features such as loudness, short-time energy, zero-crossing rate, and spectral centroid. We used speech data from six patients with PD in their homes for validating FIT. Our results showed the efficacy of FIT as a Fog interface to translate the clinical speech processing chain (CLIP) from a cloud-based backend to a fog-based smart gateway.Comment: 3 pages, 5 figures, 1 table, 2nd IEEE International Conference on Smart Computing SMARTCOMP 2016, Missouri, USA, 201