We propose featured team automata to support variability in the development and analysis of teams, which are systems of reactive components that communicate according to specified synchronisation types. A featured team automaton concisely describes a family of concrete product models for specific configurations determined by feature selection. We focus on the analysis of communication-safety properties, but doing so product-wise quickly becomes impractical. Therefore, we investigate how to lift notions of receptiveness (no message loss) to the level of family models. We show that featured (weak) receptiveness of featured team automata characterises (weak) receptiveness for all product instantiations. A prototypical tool supports the developed theory.

中文翻译：

---

特色团队自动机

我们提出了特色团队自动机来支持团队开发和分析的可变性，团队是根据指定的同步类型进行通信的反应组件系统。特色团队自动机简洁地描述了一系列具体产品模型，用于由特征选择确定的特定配置。我们专注于通信安全属性的分析，但在产品层面这样做很快就变得不切实际。因此，我们研究如何将接受度（无信息丢失）的概念提升到家庭模型的水平。我们表明，特色团队自动机的特色（弱）接受度表征了所有产品实例的（弱）接受度。原型工具支持已开发的理论。