Formal Modelling of Components and Dependencies for Configuring Product-Service-Systems

  • Stephan Klingner University Leipzig
  • Michael Becker University Leipzig


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. Due to these requirements, software support is needed for customer-specific configuration of complex PSS. 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.
Research Articles