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 consistency of 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. © 2008 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Harhurin, A., & Hartmann, J. (2008). Towards consistent specifications of product families. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5014 LNCS, pp. 390–405). https://doi.org/10.1007/978-3-540-68237-0_27
Mendeley helps you to discover research relevant for your work.