Behavioural approaches to algebraic specifications. A comparative study
type: Item
instance of: scholarly article
title: Behavioural approaches to algebraic specifications. A comparative study
zbMATH Open document ID: 0818.68110
DOI: 10.1007/BF01177550
author: Gilles Bernot
author: Michel Bidoit
author: Teodor Knapik
published in: Acta Informatica
publication date: 1994-12-18T00:00:00Z
review text: This paper focuses on observability issues in the framework of loose algebraic specifications. The main purpose of observability is to extend the model class of some given algebraic specification in order to consider not only the algebras that satisfy the axioms of the specification, but as well other ones, provided that the differences between the properties satisfied by these algebras and the properties required by the specification (i.e., the axioms) are not ``observable''. We compare various behavioural approaches developed so far. We point out their respective advantages and limitations. Expressive power is our main criterion for the discussion.
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 695013
zbMATH Keywords: algebraic specifications
zbMATH Keywords: observability
MaRDI profile type: Publication
cites work: Q3221381
cites work: Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
cites work: Q3197342
cites work: Observational implementation of algebraic specifications
cites work: Context induction: A proof principle for behavioural abstractions and algebraic implementations
cites work: Q3703312
cites work: Final Data Types and Their Specification
cites work: Q3687683
cites work: Q3780425
cites work: On observational equivalence and algebraic specification
cites work: Toward formal development of programs from algebraic specifications: Implementations revisited
cites work: Two impossibility theorems on behaviour specification of abstract data types
cites work: Final algebra semantics and data type extensions
description: scientific article; zbMATH DE number 695013