Formal modelling of components and dependencies for configuring product-service-systems

Formal modelling of components and dependencies for configuring product-service-systems

Autor_innen: Stephan Klingner, Michael Becker

Enterprise Modelling and Information Systems Architecture

The increasing entwinement of products and services in combined offers — so called Product-Service Systems (PSS) — leads to various requirements regarding the modelling of those systems. For customer-specific configurations of complex PSS software support is needed. To provide such software a formal description of the structure of products and services is required. Furthermore, complex logical interdependencies between products and services need to be described. Based on an existing service modelling notation the following paper develops a holistic notation for PSS. To describe the interdependencies within PSS, dependency rules are formally specified.