A RESTful Interaction Model for Semantic Digital Twins

We provide a formal model based on extended state machines (EFSMs) with the addition of so-called admissibility functions to describe the state changes of an asset for interactions between HTTP agents and the asset by using the abstraction of properties, actions, and events. Furthermore, we describe the RESTful interface for assets that can be derived from EFSMs to offer assets' interactions in a clearly defined way and based on established standards. We use the continuous example of a robot arm to explain our results and provide the complete interaction model for the robot arm.