Hybrid Cloud xe2x80x93 Architecture for Administration Shells with RAMI4.0 Using Actor4j In this paper, the actororiented Java framework Actor4j is used to implement administration shells in a RAMI4.0 context to enable the implementation of hybrid cloud solutions. A novel architecture is conceptualized around the usage of the Actor Model, especially in the area of edge and cloud computing. The administration shell can be either implemented by an asset that is OPCUA ready or be mapped to a gateway in the device (service) cloud. The administration shell implemented with the Actor Model (predominantly for the public and private cloud) consists of four modules: the components module (describing the corresponding system), the publishsubscribe module, the additional logic module (conditions, alarms), and the interaction module (behavior). The main idea is to reuse an OPCUA compliant implementation for the internal actor logic. At the device cloud level, ITOT entities can be composed together in a domain specific point of view. This is implemented over three abstractions levels (data acquisition, data analytics and control u0026 monitoring). The proposed Actor Model fits very well for the implementation of large scale administrations shells.

Reactive Actors: Isolation for Efficient Analysis of Distributed Systems In this paper we explain how the isolation or decoupling of actors can help in developing efficient analysis techniques. The Reactive Object Language, Rebeca, and its timed extension are introduced as actorbased languages for modeling and analyzing distributed systems. We show how floatingtime transition system can be used for model checking of timed actor models when we are interested in eventbased properties, and how it helps in state space reduction. We explain how the model of computation of actors helps in devising an efficient state distribution policy in distributed model checking. We show how we use Rebeca to verify the routing algorithms of mobile adhoc networks. The paper is written in a way to make the ideas behind each technique clear such that it can be reused in similar domains.