Categorical foundations for structured specifications in Z

DOI10.1007/S00165-015-0336-0MaRDI QIDQ903494zbMATH OpenOpenAlexFDO

Authors Pablo F. Castro, Nazareno Aguirre, Carlos Pombo, Tim Maibaum

Publication date 6 January 2016

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-015-0336-0

zbMATH Keywords

\(\mathsf{Z}\) notationcategory theoryheterogeneous specificationsinstitutionsystem specificationsystem verification

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Review text

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.

Recommendations

• scientific article; zbMATH DE number 1497815
• Structured theories and institutions
• scientific article; zbMATH DE number 1617308
• Algebraic Methodology and Software Technology
• Foundations of heterogeneous specification.

Cites work

• A calculus for schemas in Z
• A mathematical introduction to logic.
• A UTP semantics for \textsf{Circus}
• Categories for Software Engineering
• scientific article; zbMATH DE number 1617308 (Why is no real title available?)
• scientific article; zbMATH DE number 1617310 (Why is no real title available?)
• scientific article; zbMATH DE number 42431 (Why is no real title available?)
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 192880 (Why is no real title available?)
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• scientific article; zbMATH DE number 1086718 (Why is no real title available?)
• scientific article; zbMATH DE number 195199 (Why is no real title available?)
• Institution-independent model theory
• Institutions: abstract model theory for specification and programming
• Integrated Formal Methods
• Introduction to bicategories
• Model theory.
• Revising Z. I: Logic and semantics
• Revising Z. II: Logical development
• Structured CSP – A Process Algebra as an Institution
• Temporal theories as modularisation units for concurrent system specification
• Z

Cited in

(14)

• Heterogeneous notations for pure formal method integration
• Structured theories and institutions
• Specifying with syntactic theory functors
• Structure-preserving diagram operators
• scientific article; zbMATH DE number 1617308 (Why is no real title available?)
• The Foundations of Specification
• A composition-nominative approach for Z-notation language semantics construction
• scientific article; zbMATH DE number 1303992 (Why is no real title available?)
• scientific article; zbMATH DE number 1497815 (Why is no real title available?)
• Categorical concepts for parameterized partial specifications
• Building Specifications in the Event-B Institution
• Canonical selection of colimits
• Algebraic Methodology and Software Technology
• A categorical study on the finiteness of specifications

Describes a project that uses

Uses Software

• Z
• Eiffel
• Circus
• Hets

This page was built for publication: Categorical foundations for structured specifications in \(\mathsf{Z}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q903494)