We develop a taxonomy of different behavioral specification theories and expose their algebraic properties. We start by clarifying what precisely constitutes a behavioral specification theory and then introduce logical and structural operations and develop the resulting algebraic properties. In order to motivate our developments, we give plenty of examples of behavioral specification theories with different operations.

中文翻译：

---

行为规范理论：代数分类法

我们开发了不同行为规范理论的分类并揭示了它们的代数特性。我们首先澄清行为规范理论的确切构成，然后介绍逻辑和结构操作并开发由此产生的代数性质。为了激励我们的发展，我们给出了大量具有不同操作的行为规范理论的例子。