Abstract Service-oriented computing is now acknowledged as a central paradigm for Internet computing, supported by tremendous research and technology development over the last 10 years. However, evolution of Internet, in particular, latest Future vision, challenges paradigm. Indeed, service-oriented has to face ultra large scale heterogeneity which are orders magnitude higher than those today’s systems. This article aims at contributing this objective identifying key directions be followed...

Formal methods offer an effective means to assert the correctness of software systems through mathematical reasoning. However, need formulate system properties in a purely fashion can create pragmatic barriers application these techniques. For this reason, Dwyer et al. invented property specification patterns which is recurring solutions deal with temporal intricacies that would make construction reactive very hard otherwise. Today, provide general rules help practitioners qualify order and...

As testified by new regulations like the European AI Act, worries about human and societal impact of (autonomous) software technologies are becoming public concern. Human, societal, environmental values, alongside traditional quality, increasingly recognized as essential for sustainability long-term well-being. Traditionally, systems engineered taking into account business goals technology drivers. Considering growing awareness in community, this paper, we argue that engineering should also...

With the emerging connected automated vehicles, 5G and Internet of Things (IoT), vehicles road infrastructure become cooperative, enabling Cooperative Intelligent Transport Systems (C-ITS). C-ITS are transport system systems that involves many stakeholders from different sectors. While running their own providing services independently, cooperate with each other for improving overall performance such as safety, efficiency sustainability. Massive information on traffic is already available...

SYNTHESIS is a tool for automatically assembling correct and distributed component-based systems. In our context, system when it deadlock-free performs only specified component interactions. order to synthesize the composition code, takes as input an high-level behavioural description each that must form be built specification of interactions enforced in system. The derived code implemented set wrappers cooperatively interact with other their wrapped components prevent possible deadlocks...

Future Internet research promotes the production of a distributed-computing environment that will be increasingly surrounded by virtually infinite number software services can composed to meet user needs. Services active entities that, communicating peer-to-peer, proactively make decisions and autonomously perform tasks. Service choreography is form decentralized service composition describes peer-to-peer message exchanges among participant from global perspective. In distributed setting,...

To protect the privacy of end users from intended or unintended malicious behaviour, Android operating system provides a permissions-based security model that restricts access to privacy-relevant parts platform. Starting with 6, permission has been revamped, moving run-time model. Users are now prompted for confirmation when an app attempts restricted part

Citizens of the digital world are threatened. The systems that surround them increasingly able to make autonomous decisions over and above on their behalf. They feel moral rights, as well social, economic, political spheres, can be affected by behavior such systems. Although unavoidable, is becoming uncomfortable potentially hostile its users human beings citizens. Notwithstanding introduction GDPR initiatives establish criteria software transparency accountability, vulnerable unprotected....

Temporal logics are commonly used for reasoning about concurrent systems. Model checkers and other finite-state verification techniques allow automated checking of system model compliance to given temporal properties. These properties typically specified as linear-time formulae in logics. Unfortunately, the level inherent sophistication required by these formalisms too often represents an impediment move from research theory industry practice. The objective this work is facilitate non...

In this paper we share our experience in the CHOReOS EU project. provides solutions for development and execution of large scale choreographies Future Internet. Our main involvement project concerns definition a choreography process based on automated synthesis out service base user-centric requirements specification. By focusing work package WP2, whose outcome is realization process, discuss WP2 activities by also summarizing objectives related achievements.

Adaptation of software components is an important issue in Component Based Software Engineering (CBSE). Building a system from reusable or Commercial-Off-The-Shef (COTS) introduces set problems, mainly related to compatibility and communication aspects. On one hand, may have incompatible interaction behavior. the other it might be necessary enhance current protocol. We address these problems by means our tool (called SYNTHESIS) which allows both for preventing interactions enhancing protocol...

Building a distributed system from third-party components introduces set of problems, mainly related to compatibility and communication. Our approach solve these problems is build an adaptor which forces the exhibit only safe or desired behaviors. By exploiting abstract partial specification global behavior that must be enforced, we automatically centralized adaptor. It mediates interaction among by both performing specified and, simultaneously, avoiding possible deadlocks. However in...

Modern service-oriented systems are often built by reusing, and composing together, existing services distributed over the Internet. Service choreography is a possible form of service composition whose goal to specify interactions among participant from global perspective. In this paper, we formalize method for automated enforcement choreographies, prove its correctness with respect realization specified choreography. The formalized implemented as part model-based tool chain released support...