当前位置: 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

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
down
wechat
bug