Communicating sequential processes
Communicating sequential processes
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Defining families: the commonality analysis (tutorial)
ICSE '97 Proceedings of the 19th international conference on Software engineering
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Strongest postcondition semantics as the formal basis for reverse engineering
Reverse engineering
Software architecture in practice
Software architecture in practice
A systematic approach to derive the scope of software product lines
Proceedings of the 21st international conference on Software engineering
A specification matching based approach to reverse engineering
Proceedings of the 21st international conference on Software engineering
A reusable architecture for federated client/server systems
SSR '99 Proceedings of the 1999 symposium on Software reusability
Software product-line engineering: a family-based software development process
Software product-line engineering: a family-based software development process
Extending the product family approach to support safe reuse
Journal of Systems and Software
Scenario-Based Analysis of Software Architecture
IEEE Software
An Event-Based Architecture Definition Language
IEEE Transactions on Software Engineering
Acme: an architecture description interchange language
CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
Evaluating COTS Based Architectures
ICCBSS '03 Proceedings of the Second International Conference on COTS-Based Software Systems
Analysis of a software product line architecture: an experience report
Journal of Systems and Software - Special issue on: Software architecture - Engineering quality attributes
Using classic problems to teach Java framework design
Science of Computer Programming - Special issue: Principles and practices of programming in Java (PPPJ 2004)
A holistic architecture assessment method for software product lines
Information and Software Technology
The software product line architecture: An empirical investigation of key process activities
Information and Software Technology
Gathering current knowledge about quality evaluation in software product lines
Proceedings of the 13th International Software Product Line Conference
Evolution of a bluetooth test application product line: a case study
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
An architecture process maturity model of software product line engineering
Innovations in Systems and Software Engineering
Product-line architecture: new issues for evaluation
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Hi-index | 0.00 |
This paper addresses the issue of how to perform architectural analysis on an existing product line architecture. The con tribution of the paper is to identify and demonstrate a repeatable product line architecture analysis process. The approach defines a “good” product line architecture in terms of those quality attributes required by the particular product line under development. It then analyzes the architecture against these criteria by both manual and tool-supported methods. The phased approach described in this paper provides a structured analysis of an existing product line architecture using (1) formal specification of the high-level architecture, (2) manual analysis of scenarios to exercise the architecture's support for required variabilities, and (3) model checking of critical behaviors at the architectural level that are required for all systems in the product line. Results of an application to a software product line of spaceborne telescopes are used to explain and evaluate the approach.