Applying real-time analytics to data streams in digital health

In this presentation we will describe the benefits of real-time analytics, specifically complex event processing technology, in addressing a number of challenges in digital health applications. We will focus on three uses cases. The first use case is a real-time detection of unusual or inappropriate laboratory orders, the problem which leads to significant and unnecessary costs to many healthcare providers. The second use case is the detection of potential data quality issues associated with source systems in pathology labs, by using a novel idea of applying syndromic surveillance method to the legacy clinical data streams, achieved through statistical analysis of pathology messages to identify “outliers”. The third use case is about supporting clinicians in making timely decisions regarding patient care, taking into account a combination of real-time information about patient conditions and their existing medical conditions taken from electronic health records. We will demonstrate how we used the EventSwarm software framework for complex event processing to support this real-time analytics and will discuss a number of future research directions.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

On the Optimized Utilization of Smart Contracts in DLTs from the Perspective of Legal Representation and Legal Reasoning

Smart contracts are computer programs stored in blockchain which open a wide range of applications but also raise some important issues. When we convert traditional legal contracts written in natural language into smart contracts written in lines of code, problems will arise. Translation errors will exist in the process of conversion since the law in natural language is ambiguous and imprecise, full of conflicts, and the emergence of new evidence may influence the processing of reasoning. This research project has three purposes: the first aims at the resolution of these problems from logic and technical perspective to develop the accuracy and human-readability of smart contracts, by exploring a more novel and advanced logic-based language to represent legal contracts, and analyzing an extended argumentation framework with rich expressiveness; the second purpose is to investigate various existing technologies like Akoma Ntoso and Legal- RuleML, making the legal knowledge and reasoning machine-readable and be linked with the real world; third, to investigate the implementation of a mature multi-agent system incorporating the software agents with sensing, inferring, learning, decision-making and social abilities that can be fitted onto DLTs

Blockchain and Smart Contract for Peer-to-Peer Energy Trading Platform: Legal Obstacles and Regulatory Solutions

This is the author accepted manuscript. The final version is available from the publisher via the link in this recordThis paper discusses the implications of smart contracts in energy trading for the protection of consumer and individual rights. It examines the legal risks and regulatory solutions for a peer-to-peer energy trading platform (P2P-ETP) in creating a sustainable energy ecosystem. Part I discusses the conceptual framework of P2P-ETP, which enables consumers to become energy ‘producers' and traders. Smart technologies—smart contracts, smart meters, and distributed ledger technology (DLT) platforms, are the main components of this platform. The study examines the legal basis for these components. Part II analyses the legal uncertainty of the smart contract, such as its enforceability, and the inadequate protection for consumers and their individual rights through price manipulation, violation of rights to privacy, and data breaches. Part III discusses the potential policy implementations and the principles behind a legal and regulatory framework for establishing a trusted peer-to-peer energy trading platform

On the Convergence of Blockchain and Internet of Things (IoT) Technologies

The Internet of Things (IoT) technology will soon become an integral part of our daily lives to facilitate the control and monitoring of processes and objects and revolutionize the ways that human interacts with the physical world. For all features of IoT to become fully functional in practice, there are several obstacles on the way to be surmounted and critical challenges to be addressed. These include, but are not limited to cybersecurity, data privacy, energy consumption, and scalability. The Blockchain decentralized nature and its multi-faceted procedures offer a useful mechanism to tackle several of these IoT challenges. However, applying the Blockchain protocols to IoT without considering their tremendous computational loads, delays, and bandwidth overhead can let to a new set of problems. This review evaluates some of the main challenges we face in the integration of Blockchain and IoT technologies and provides insights and high-level solutions that can potentially handle the shortcomings and constraints of both IoT and Blockchain technologies.Comment: Includes 11 Pages, 3 Figures, To publish in Journal of Strategic Innovation and Sustainability for issue JSIS 14(1

I can get some satisfaction: Fuzzy ontologies for partial agreements in blockchain smart contracts

This paper proposes a novel extension of blockchain systems with fuzzy ontologies. The main advantage is to let the users have flexible restrictions, represented using fuzzy sets, and to develop smart contracts where there is a partial agreement among the involved parts. We propose a general architecture based on four fuzzy ontologies and a process to develop and run the smart contracts, based on a reduction to a well-known fuzzy ontology reasoning task (Best Satisfiability Degree). We also investigate different operators to compute Pareto-optimal solutions and implement our approach in the Ethereum blockchain

A Comparison of Approaches for Visualizing Blockchains and Smart Contracts

The use of blockchains and smart contracts is currently explored in various fields of science and engineering due to their potential of radically changing the ways of doing business and the assumed elimination of traditional legal entities. Thereby, the complexity of the underlying technical relationships and mechanisms typically hampers the understanding by non-technical experts. In this paper we review approaches for visualizing blockchains and smart contracts. The investigation focuses on design and analysis approaches, concluding with requirements for a visual modelling language

Mitigating the Legal Challenges Associated with Blockchain Smart Contracts: The Potential of Hybrid On-Chain/Off-Chain Contracts

Tantamount with the increasing application of blockchain technologies around the world, the use of blockchain-based smart contracts has rapidly risen. In a “smart contract,” computer protocols automatically facilitate, verify, and enforce arrangements made between parties on a blockchain. Such smart contracts offer a variety of commercial benefits, notably immutability and increased efficiency facilitated by removing the need for a trusted intermediary. However, as discussed in recent legal scholarship, it is difficult for smart contracts to uphold certain fundamental principles of contract law. Translating concepts of individual intention and responsibility into the decentralized space of blockchain is problematic. Aggregating such individual intention into the combined will and intention of the blockchain entity is at best challenging, and at worst unfeasible. Further, while traditional contracts accommodate change and allow for the amendment of terms in response to evolving circumstances, blockchain smart contracts do not. As the difficulties of blockchain smart contracts become apparent, attention is turning to hybrid smart contracts. “Hybrid” smart contracts are commonly described in legal discourse as arrangements that consist of both a traditional contract (natural language) and a blockchain-based smart contract (formal computer code) component. In comparison, computer science scholarship provides a more complex and nuanced articulation, framing hybrid smart contracts as arrangements that combine code running inside the blockchain (on-chain) with data and computations from outside the blockchain (off-chain). The link between these on-chain and off-chain operations is created through a decentralized oracle network. Such hybrid contracts maintain the immutability of blockchain, and the trustless contracting this facilitates, with the flexibility that comes from connecting to real-world, real-time data sources. In such a context, the objective of this Essay is to examine the nature and operation of hybrid smart contracts, integrating both legal and computer science discourse, and to critically analyze whether such arrangements have the potential to mitigate some of the legal challenges that have been identified with respect to fully on-chain smart contracts

Decomposition-based Verification of Global Compliance in Process Choreographies

The verification of global compliance rules (GCR) in process choreographies (e.g., partner-spanning quality assurance in supply chains) is crucial and challenging due to the restricted visibility of the private processes of the collaborating partners. This paper provides a novel algorithm that decomposes global compliance rules into assertions that can be verified by the partners in a distributed way without revealing any private process details. The decomposition is based on transitivity properties of the underlying GCR specification. This work uses GCR based on antecedent and occurrence patterns and illustrates the transitivity properties based on their specification in first order predicate logic. It is formally shown that the original GCR can be reconstructed from the assertions, which ensures the viability of the approach. The algorithms are prototypically implemented and applied to several scenarios. The ability of checking global compliance constitutes a fundamental pillar of any approach implementing process choreographies with multiple partners

Standardizing Smart Contracts

In the evolving context of distributed ledger technologies, the standardization of smart contracts is necessary. Smart contracts are tamper-proof computer programs. Due to their security and flexibility, it is possible to exploit smart contracts in a wide variety of use cases. In particular, it could be possible to automate legally recognized contracts by leveraging smart contracts. To this extent, some standards regarding the proper management of smart contracts are surging. However, there are still many technological misconceptions regarding smart contracts. This study describes smart contracts from multiple perspectives and identifies and clarifies some of the most common misconceptions regarding smart contracts. This study also provides some guidelines and insights on the proper management of smart contracts. This study can be a valuable resource for future standards on smart contracts