Towards Consistent Specifications of Product Families
FM 2008: FORMAL METHODS, PROCEEDINGS(2008)
摘要
Addressing the challenges faced today during the development of multi-functional system families, we suggest a service-oriented approach to formally specifying the functionality and, in particular, the functional variability already in the requirement engineering phase. In this paper, we precisely define the underlying concepts, such as the notion of individual services, the combination of services, inter-service dependencies, and variability. Thereby, we especially focus on establishing the consistencyof the overall specification. To that end, we formally define conflicts between requirements and describe how they can be detected and resolved based on the introduced formal concepts.
更多查看译文
关键词
underlying concept,requirement engineering phase,multi-functional system family,functional variability,overall specification,service-oriented approach,formal concept,individual service,inter-service dependency,towards consistent specifications,product families,requirement engineering
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要