团队自动机Team Automata
Featured Team Automata
摘要：
我们提出了特色团队自动机，以支持团队的发展和分析，这是根据指定的同步类型进行通信的反应组件系统的变化。一个特色团队自动机简明地描述了由特征选择确定的特定配置的一系列具体产品模型。我们专注于通信安全属性的分析，但这样做很快就变得不切实际。因此，我们研究如何提升概念的接受性（没有信息丢失）的家庭模型的水平。我们发现，特色团队自动机的特色（弱）接受性的特点（弱）接受性的所有产品实例。一个原型工具支持开发的理论。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
