Categorical foundations for structured specifications in \(\mathsf{Z}\) (Q903494)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Categorical foundations for structured specifications in \(\mathsf{Z}\) |
scientific article |
Statements
Categorical foundations for structured specifications in \(\mathsf{Z}\) (English)
0 references
6 January 2016
0 references
The paper uses the category-theoretic form of abstract model theory known as ``institution theory'' for providing foundations for the Z formal specification language. In particular this applies to the structuring mechanism of Z. Morever, the proposed foundations allow for heterogenous combinations of Z with other specification formalisms; this is illustrated with the combination of Z and CSP.
0 references
\(\mathsf{Z}\) notation
0 references
system specification
0 references
system verification
0 references
category theory
0 references
heterogeneous specifications
0 references
institution
0 references
