Rapid Service Composition Reasoning for Agile Cyber Physical Systems

In some agile applications, cyber and physical entities need to be rapidly composed to cope with dynamically arising situations and to meet high dependability requirements. Automated service composition reasoning techniques can be leveraged to compose cyber and physical services in a timely way. However, the modeling of the physical services poses some challenges. In this paper, we present novel models for the specification of the physical services and the state of the world to facilitate real-time service composition of cyber physical systems (CPS).