Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/978-3-540-68237-0_27 | FM |
Keywords | Field | DocType |
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 | Functional requirement,Software engineering,Computer science,Requirements engineering,Theoretical computer science,Product family | Conference |
Volume | ISSN | Citations |
5014 | 0302-9743 | 11 |
PageRank | References | Authors |
0.58 | 12 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Alexander Harhurin | 1 | 65 | 6.30 |
Judith Hartmann | 2 | 40 | 3.45 |