Behavioral types in programming languages

A recent trend in programming language research is to use behav- ioral type theory to ensure various correctness properties of large- scale, communication-intensive systems. Behavioral types encompass concepts such as interfaces, communication protocols, contracts, and choreography. The successful application of behavioral types requires a solid understanding of several practical aspects, from their represen- tation in a concrete programming language, to their integration with other programming constructs such as methods and functions, to de- sign and monitoring methodologies that take behaviors into account. This survey provides an overview of the state of the art of these aspects, which we summarize as the pragmatics of behavioral types

Desempenho de QoS e mobilidade de sessões multicast em redes dinâmicasMes

Mestrado em Engenharia Electrónica e TelecomunicaçõesThe increasing demand in multimedia group services, contextawareness and seamless mobility implies strict requirements that cannot be satisfactorily addressed by the traditional transport control architectures for session content delivery. Moreover, context-aware networks introduce personalized concepts: any change in context can change the overall services and network environments, requiring the network and multicast sessions to be completely restructured in a very dynamic way. Regarding the complexity of maintaining scalability in context-aware networks, this Thesis has as main goal the development of an intelligent module, included in C-CAST architecture, capable of managing the entire network scheme. This mechanism depending on the scenario and the context of users and sources, and in cooperation with other network entities, must decide the most suitable network transport path in order to provide the best multiparty content delivery to the users, and manage the dynamicity of the network whenever changes occur. To perform its implementation, it was used an approach based in the interaction of different network components, exchanging context information between them. The intelligent module, using the updated network information, decides the better network connection to serve each user. In order to simulate the network behaviour in various situations, several scenarios were tested to evaluate its performance. The network is evaluated according to the several configured parameters, evaluating the improvements achieved in the network performance concerning different metrics, e.g. delay, lost packets ratio, overhead introduced by the architecture signalling. Through the implemented simulation setup, it is possible to conclude that the deployment of the solution proposed effectively provides an enhanced service to the users, distributing the multiparty content with QoS assurance using context information.O aumento da exigência em serviços de grupo, redes baseadas em contexto e mobilidade transparente implicam requisitos rígidos que não podem ser satisfeitos pelas arquitecturas tradicionais de controlo de transporte para entrega de conteúdos de sessão. Não obstante, redes baseadas em contexto introduzem conceitos personalizados: qualquer mudança no contexto pode mudar completamente os serviços e a própria rede, sendo necessário que a rede e as sessões multicast sejam completamente reestruturadas de uma forma dinâmica. Tendo em conta a complexidade de manter a escalabilidade em redes baseadas em contexto, esta Tese tem como principal objectivo o desenvolvimento de um módulo inteligente, que faz parte da arquitectura do projecto C-CAST, capaz de gerir toda a rede. Este mecanismo, dependendo do cenário da rede e do contexto dos utilizadores e das fontes, e em cooperação com outras entidades da rede, deve seleccionar a o caminho mais apropriado da rede de modo a fornecer da melhor forma o conteúdo aos utilizadores, e gerir a dinâmicidade da rede sempre que ocorrem mudanças. Para o implementar foi usada um método baseado na interacção de vários componentes, que trocam informação sobre contextos entre eles. O componente inteligente, usando informação actualizada da rede decide qual a melhor conexão da rede para servir cada utilizador. De forma a simular o comportamento da rede em várias situações, foram testados diversos cenários para avaliar a sua performance. A rede é avaliada de acordo com os vários parâmetros configurados, avaliando as melhorias conseguidas na performance da rede, por exemplo em termos de atrasos, rácio de pacotes perdidos e a carga imposta pelas mensagens de controlo da arquitectura. Através das simulações efectuadas é possível concluir que aplicando a arquitectura proposta, é fornecido de forma eficiente um serviço melhorado aos utilizadores, distribuindo o serviço de grupo com garantias de Qualidade de Serviço e usando informação de contexto

Process-aware web programming with Jolie

We extend the Jolie programming language to capture the native modelling of process-aware web information systems, i.e., web information systems based upon the execution of business processes. Our main contribution is to offer a unifying approach for the programming of distributed architectures on the web, which can capture web servers, stateful process execution, and the composition of services via mediation. We discuss applications of this approach through a series of examples that cover, e.g., static content serving, multiparty sessions, and the evolution of web systems. Finally, we present a performance evaluation that includes a comparison of Jolie-based web systems to other frameworks and a measurement of its scalability.Comment: IMADA-preprint-c

A Decade of Research in Fog computing: Relevance, Challenges, and Future Directions

Recent developments in the Internet of Things (IoT) and real-time applications, have led to the unprecedented growth in the connected devices and their generated data. Traditionally, this sensor data is transferred and processed at the cloud, and the control signals are sent back to the relevant actuators, as part of the IoT applications. This cloud-centric IoT model, resulted in increased latencies and network load, and compromised privacy. To address these problems, Fog Computing was coined by Cisco in 2012, a decade ago, which utilizes proximal computational resources for processing the sensor data. Ever since its proposal, fog computing has attracted significant attention and the research fraternity focused at addressing different challenges such as fog frameworks, simulators, resource management, placement strategies, quality of service aspects, fog economics etc. However, after a decade of research, we still do not see large-scale deployments of public/private fog networks, which can be utilized in realizing interesting IoT applications. In the literature, we only see pilot case studies and small-scale testbeds, and utilization of simulators for demonstrating scale of the specified models addressing the respective technical challenges. There are several reasons for this, and most importantly, fog computing did not present a clear business case for the companies and participating individuals yet. This paper summarizes the technical, non-functional and economic challenges, which have been posing hurdles in adopting fog computing, by consolidating them across different clusters. The paper also summarizes the relevant academic and industrial contributions in addressing these challenges and provides future research directions in realizing real-time fog computing applications, also considering the emerging trends such as federated learning and quantum computing.Comment: Accepted for publication at Wiley Software: Practice and Experience journa

Blockchain-based mobile edge computing framework for secure therapy applications

Mobile edge computing (MEC) is being introduced and leveraged in many domains, but few studies have addressed MEC for secure in-home therapy management. To this end, this paper presents an in-home therapy management framework, which leverages the IoT nodes and the blockchain-based decentralized MEC paradigm to support low-latency, secure, anonymous, and always-available spatiotemporal multimedia therapeutic data communication within an on-demand data-sharing scenario. To the best of our knowledge, this non-invasive, MEC-based IoT therapy platform is first done by our group. This platform can provide a full-body joint range of motion data for physically challenged individuals in a decentralized manner. With MEC, the framework can provide therapy diagnostic and analytical data on demand to a large portion of humanity who are either born with disabilities or became disabled due to accidents, war-time injuries, or old age. For security, the framework uses blockchain–Tor-based distributed transactions to preserve the therapeutic data privacy, ownership, generation, storage, and sharing. Our initial test results from a complete implementation of the framework show that it can support a sufficiently large number of users without considerable increase in mean processing time

Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication

Collective adaptive systems are new emerging computational systems consisting of a large number of interacting components and featuring complex behaviour. These systems are usually distributed, heterogeneous, decentralised and interdependent, and are operating in dynamic and possibly unpredictable environments. Finding ways to understand and design these systems and, most of all, to model the interactions of their components, is a difficult but important endeavour. In this article we propose a language-based approach for programming the interactions of collective-adaptive systems by relying on attribute-based communication; a paradigm that permits a group of partners to communicate by considering their run-time properties and capabilities. We introduce AbC, a foundational calculus for attribute-based communication and show how its linguistic primitives can be used to program a complex and sophisticated variant of the well-known problem of Stable Allocation in Content Delivery Networks. Also other interesting case studies, from the realm of collective-adaptive systems, are considered. We also illustrate the expressive power of attribute-based communication by showing the natural encoding of other existing communication paradigms into AbC