Hierarchical correctness proofs for distributed algorithms
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
In transition from global to modular temporal reasoning about programs
Logics and models of concurrent systems
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Reachability analysis of feature interactions: a progress report
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Distributed Feature Composition: A Virtual Architecture for Telecommunications Services
IEEE Transactions on Software Engineering
On Communicating Finite-State Machines
Journal of the ACM (JACM)
Model checking
Feature combination and interaction detection via foreground/background models
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on the feature interactions in telecommunications systems
Composing features and resolving interactions
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Feature integration using a feature construct
Science of Computer Programming
Communication and Concurrency
Verifying cross-cutting features as open systems
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
A Constraint Oriented Proof Methodology Based on Modal Transition Systems
TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Reducing Model Checking of the Many to the Few
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
Feature specification and automated conflict detection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Feature-Oriented Programming and the AHEAD Tool Suite
Proceedings of the 26th International Conference on Software Engineering
Modular Verification of Open Features Using Three-Valued Model Checking
Automated Software Engineering
Concurrency: State Models And Java Programs
Concurrency: State Models And Java Programs
Application of design for verification with concurrency controllers to air traffic control software
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Compositional reasoning for port-based distributed systems
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Design for Verification with Dynamic Assertions
SEW '05 Proceedings of the 29th Annual IEEE/NASA on Software Engineering Workshop
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
Prioritizing features through categorization: an approach to resolving feature interactions
Prioritizing features through categorization: an approach to resolving feature interactions
Learning assumptions for compositional verification
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Lessons learned from automated analysis of industrial UML class models (an experience report)
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Multifunctional software systems: Structured modeling and specification of functional requirements
Science of Computer Programming
Compositional model checking of software product lines using variation point obligations
Automated Software Engineering
Weak Alphabet Merging of Partial Behavior Models
ACM Transactions on Software Engineering and Methodology (TOSEM)
Journal of Systems and Software
| Hi-index | 0.00 |
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.