Dynamic structure in software architectures
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Software product lines: practices and patterns
Software product lines: practices and patterns
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Building product populations with software components
Proceedings of the 24th International Conference on Software Engineering
Architecting families of software systems with process algebras
ACM Transactions on Software Engineering and Methodology (TOSEM)
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
Systematic Integration of Variability into Product Line Architecture Design
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
An Environment for Managing Evolving Product Line Architectures
ICSM '03 Proceedings of the International Conference on Software Maintenance
A taxonomy of variability realization techniques: Research Articles
Software—Practice & Experience
Component composition errors and update atomicity: static analysis: Research Articles
Journal of Software Maintenance and Evolution: Research and Practice - Unanticipated Software Evolution
Modelling Requirements Variability across Product Lines
RE '05 Proceedings of the 13th IEEE International Conference on Requirements Engineering
Component-interaction automata as a verification-oriented component-based system specification
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Analyzing architectural styles with alloy
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Modeling Product Line Architectures through Change Sets and Relationships
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Model-Based Software Design and Adaptation
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Modeling features in aspect-based product lines with use case slices: an exploratory case study
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Modes for software architectures
EWSA'06 Proceedings of the Third European conference on Software Architecture
Architecture and behaviour analysis for engineering Service Modes
PESOS '09 Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems
UML extensions for service-oriented systems
Rigorous software engineering for service-oriented systems
Specification and analysis of dynamically-reconfigurable service architectures
Rigorous software engineering for service-oriented systems
Developing mode-rich satellite software by refinement in Event-B
Science of Computer Programming
Hi-index | 0.00 |
The concept of software product lines (SPL) is a modern approach to software development simplifying construction of related variants of a product thus lowering development costs and shortening time-to-market. In SPL, software components play an important role. In this paper, we show how the original idea of component mode can be captured and further developed in behavior specification via the formalism of extended behavior protocols (EBP). Moreover, we demonstrate how the modes in behavior specification can be used for modeling behavior of an entire product line. The main benefits include (i) the existence of a single behavior specification capturing the behavior of all product variants, and (ii) automatic verification of absence of communication errors among the cooperating components taking the variability into account. These benefits are demonstrated on a part of a non-trivial case study.