A model-oriented method for algebraic specifications using COLD-1 as notation

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

Abstract

A model-oriented method for algebraic specifications is described, using the design language COLD-1 as notation. The method is based upon standard algebraic concepts, such as equivalence relations, congruence relations and homomorphisms. The method makes a clear distinction between the abstract type being defined and the model used as representation. The advantage of this approach is that the problem of implementation bias does not apply and that the operations of the model do not need to satisfy a property usually termed representation invariant. As such, the method deviates in an essential way from model-oriented methods like VDM and Z. Conceivable tool support for the method is briefly sketched.

Original languageEnglish
Title of host publicationVDM 1991 Formal Software Development Methods
Subtitle of host publicationConference Contributions - 4th Intenational Symposium of VDM Europe, Proceedings
EditorsSoren Prehn, W.J. Toetenel
PublisherSpringer
Pages106-124
Number of pages19
ISBN (Print)9783540548348
DOIs
Publication statusPublished - 25 Oct 1991
Externally publishedYes
Event4th International Symposium of VDM on Formal Software Development Methods, VDM 1991 - Noordwijkerhout, Netherlands
Duration: 21 Oct 199125 Oct 1991

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume551 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference4th International Symposium of VDM on Formal Software Development Methods, VDM 1991
CountryNetherlands
CityNoordwijkerhout
Period21/10/9125/10/91

Keywords

  • Algebraic specifications
  • Method support
  • Model-oriented methods
  • Wide-spectrum languages

Fingerprint

Dive into the research topics of 'A model-oriented method for algebraic specifications using COLD-1 as notation'. Together they form a unique fingerprint.

Cite this