{"title":"用于配置产品-服务系统的组件和依赖关系的形式化建模","authors":"Stephan Klingner, Michael Becker","doi":"10.18417/emisa.7.1.3","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":186216,"journal":{"name":"Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model.","volume":"38 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2012-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"10","resultStr":"{\"title\":\"Formal Modelling of Components and Dependencies for Configuring Product-Service-Systems\",\"authors\":\"Stephan Klingner, Michael Becker\",\"doi\":\"10.18417/emisa.7.1.3\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"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.\",\"PeriodicalId\":186216,\"journal\":{\"name\":\"Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model.\",\"volume\":\"38 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2012-11-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"10\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.18417/emisa.7.1.3\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.18417/emisa.7.1.3","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Formal Modelling of Components and Dependencies for Configuring Product-Service-Systems
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.