论文标题
行为规范理论：代数分类学
Behavioral Specification Theories: an Algebraic Taxonomy
论文作者
论文摘要
我们开发出不同行为规范理论的分类学，并揭示其代数特性。我们首先阐明哪些精确构成行为规范理论，然后引入逻辑和结构操作，并发展由此产生的代数特性。为了激励我们的发展，我们提供了许多具有不同操作的行为规范理论的例子。
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.
