OBSCURE, a specification language for abstract data types
type: Item
instance of: scholarly article
title: OBSCURE, a specification language for abstract data types
zbMATH Open document ID: 0790.68072
DOI: 10.1007/BF01209709
author: Thomas Lehmann
author: Jacques Loeckx
published in: Acta Informatica
publication date: 1994-05-10T00:00:00Z
review text: OBSCURE is a specification language for abstract data types. It differs from classical specification languages by handling models rather than theories. The goal of the paper is to present a complete and precise description of OBSCURE. First, the different language constructs are illustrated by the help of examples. The syntax and semantics of the language are then defined formally. The consistency of these definitions is stated in two theorems. Next, a set of formulas is associated with each specification. A further theorem states that these formulas guarantee the persistency or, more precisely, the absence of logical inconsistencies. A discussion of further language concepts -- such as parameterization and strong typing - - follows. Finally, a methodology for the development of software with the help of OBSCURE is sketched and some practical results are presented.
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 567294
zbMATH Keywords: software development
zbMATH Keywords: specification language for abstract data types
zbMATH Keywords: syntax
zbMATH Keywords: semantics
describes a project that uses: OBJ3
describes a project that uses: LCF
describes a project that uses: ML
describes a project that uses: Miranda
MaRDI profile type: Publication
cites work: Q4692466
cites work: How to make algebraic specifications more understandable: An experiment with the PLUSS specification language
cites work: Algebraic system specification and development. A survey and annotated bibliography
cites work: Q3906394
cites work: Q3993542
cites work: Q3221381
cites work: Q3995131
cites work: Q3995276
cites work: Institutions: abstract model theory for specification and programming
cites work: A constructive method for abstract algebraic software specification
cites work: Q3814782
cites work: Algorithmic specifications: a constructive specification method for abstract data types
cites work: Q3971275
cites work: Q3996676
cites work: Toward formal development of programs from algebraic specifications: Parameterisation revisited
cites work: Q3721784
cites work: Q3804237
cites work: Q4385539
cites work: Structured algebraic specifications: A kernel language
description: scientific article; zbMATH DE number 567294