Behavioral Specification Theories: an Algebraic Taxonomy
Uli Fahrenberg, Axel Legay
TL;DR
This paper presents a comprehensive algebraic taxonomy of behavioral specification theories, clarifying their core properties and introducing logical and structural operations with illustrative examples.
Contribution
It introduces a formal algebraic framework for classifying and analyzing behavioral specification theories, highlighting their properties and operations.
Findings
Developed a taxonomy of behavioral specification theories
Identified algebraic properties of these theories
Provided numerous examples illustrating different operations
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.