当前位置:
X-MOL 学术
›
arXiv.cs.LO
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Behavioral Specification Theories: an Algebraic Taxonomy
arXiv - CS - Logic in Computer Science Pub Date : 2020-09-23 , DOI: arxiv-2009.11011 Uli Fahrenberg, Axel Legay
arXiv - CS - Logic in Computer Science Pub Date : 2020-09-23 , DOI: arxiv-2009.11011 Uli Fahrenberg, Axel Legay
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.
中文翻译:
行为规范理论:代数分类法
我们开发了不同行为规范理论的分类并揭示了它们的代数特性。我们首先澄清行为规范理论的确切构成,然后介绍逻辑和结构操作并开发由此产生的代数性质。为了激励我们的发展,我们给出了大量具有不同操作的行为规范理论的例子。
更新日期:2020-09-24
中文翻译:
行为规范理论:代数分类法
我们开发了不同行为规范理论的分类并揭示了它们的代数特性。我们首先澄清行为规范理论的确切构成,然后介绍逻辑和结构操作并开发由此产生的代数性质。为了激励我们的发展,我们给出了大量具有不同操作的行为规范理论的例子。