Sciweavers

Share
SIGSOFT
2008
ACM

Towards compositional synthesis of evolving systems

9 years 12 months ago
Towards compositional synthesis of evolving systems
Synthesis of system configurations from a given set of features is an important and very challenging problem. This paper makes a step towards this goal by describing an efficient technique for synthesizing pipeline configurations of feature-based systems. We identify and formalize a design pattern that is commonly used in featurebased development. We show that this pattern enables compositional synthesis of feature arrangements. In particular, the pattern allows us to add or remove features from an existing system without having to reconfigure the system from scratch. We describe an implementation of our technique and evaluate its applicability and effectiveness using a set of telecommunication features from AT&T, arranged within the DFC architecture. Categories and Subject Descriptors D.2.1 [Software Engineering]: Requirements/Specifications General Terms Design, Verification Keywords Feature-Based Development, Synthesis, Behavioural Design Patterns, Pipelines, I/O Automata.
Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik,
Added 20 Nov 2009
Updated 20 Nov 2009
Type Conference
Year 2008
Where SIGSOFT
Authors Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Sebastián Uchitel, Pamela Zave
Comments (0)
books