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

Reinder J. Bril

doi:10.1007/3-540-54834-3_9

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

Reinder J. Bril

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-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 language	English
Title of host publication	VDM 1991 Formal Software Development Methods
Subtitle of host publication	Conference Contributions - 4th International Symposium of VDM Europe, Proceedings
Editors	Soren Prehn, W.J. Toetenel
Publisher	Springer
Pages	106-124
Number of pages	19
ISBN (Print)	9783540548348
DOIs	https://doi.org/10.1007/3-540-54834-3_9
Publication status	Published - 25 Oct 1991
Externally published	Yes
Event	4th International Symposium of VDM on Formal Software Development Methods, VDM 1991 - Noordwijkerhout, Netherlands Duration: 21 Oct 1991 → 25 Oct 1991

Publication series

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

Conference

Conference	4th International Symposium of VDM on Formal Software Development Methods, VDM 1991
Country/Territory	Netherlands
City	Noordwijkerhout
Period	21/10/91 → 25/10/91

Funding

In this paper, a model-oriented method for algebraic specifications is presented, using the design language COLD-11 as notation. The method is based upon standard algebraic concepts, like equivalence relations, congruence relations and epimorphisms (i.e. surjective *This work is partially supported by the ESPRIT II project ATMOSPHERE, ref #2565. ICOLD is an acronym for Common Object-oriented Language for Design.

Keywords

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

Access to Document

10.1007/3-540-54834-3_9

Cite this

Bril, R. J. (1991). A model-oriented method for algebraic specifications using COLD-1 as notation. In S. Prehn, & W. J. Toetenel (Eds.), VDM 1991 Formal Software Development Methods: Conference Contributions - 4th International Symposium of VDM Europe, Proceedings (pp. 106-124). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 551 LNCS). Springer. https://doi.org/10.1007/3-540-54834-3_9

Bril, Reinder J. / A model-oriented method for algebraic specifications using COLD-1 as notation. VDM 1991 Formal Software Development Methods: Conference Contributions - 4th International Symposium of VDM Europe, Proceedings. editor / Soren Prehn ; W.J. Toetenel. Springer, 1991. pp. 106-124 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{cd86564fc6ca42159d4ce62c3a17fd67,

title = "A model-oriented method for algebraic specifications using COLD-1 as notation",

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.",

keywords = "Algebraic specifications, Method support, Model-oriented methods, Wide-spectrum languages",

author = "Bril, \{Reinder J.\}",

year = "1991",

month = oct,

day = "25",

doi = "10.1007/3-540-54834-3\_9",

language = "English",

isbn = "9783540548348",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "106--124",

editor = "Soren Prehn and W.J. Toetenel",

booktitle = "VDM 1991 Formal Software Development Methods",

address = "Germany",

note = "4th International Symposium of VDM on Formal Software Development Methods, VDM 1991 ; Conference date: 21-10-1991 Through 25-10-1991",

}

Bril, RJ 1991, A model-oriented method for algebraic specifications using COLD-1 as notation. in S Prehn & WJ Toetenel (eds), VDM 1991 Formal Software Development Methods: Conference Contributions - 4th International Symposium of VDM Europe, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 551 LNCS, Springer, pp. 106-124, 4th International Symposium of VDM on Formal Software Development Methods, VDM 1991, Noordwijkerhout, Netherlands, 21/10/91. https://doi.org/10.1007/3-540-54834-3_9

A model-oriented method for algebraic specifications using COLD-1 as notation. / Bril, Reinder J.
VDM 1991 Formal Software Development Methods: Conference Contributions - 4th International Symposium of VDM Europe, Proceedings. ed. / Soren Prehn; W.J. Toetenel. Springer, 1991. p. 106-124 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 551 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

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

AU - Bril, Reinder J.

PY - 1991/10/25

Y1 - 1991/10/25

N2 - 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.

AB - 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.

KW - Algebraic specifications

KW - Method support

KW - Model-oriented methods

KW - Wide-spectrum languages

UR - https://www.scopus.com/pages/publications/85022116507

U2 - 10.1007/3-540-54834-3_9

DO - 10.1007/3-540-54834-3_9

M3 - Conference contribution

AN - SCOPUS:85022116507

SN - 9783540548348

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 106

EP - 124

BT - VDM 1991 Formal Software Development Methods

A2 - Prehn, Soren

A2 - Toetenel, W.J.

PB - Springer

T2 - 4th International Symposium of VDM on Formal Software Development Methods, VDM 1991

Y2 - 21 October 1991 through 25 October 1991

ER -

Bril RJ. A model-oriented method for algebraic specifications using COLD-1 as notation. In Prehn S, Toetenel WJ, editors, VDM 1991 Formal Software Development Methods: Conference Contributions - 4th International Symposium of VDM Europe, Proceedings. Springer. 1991. p. 106-124. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-54834-3_9

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

Abstract

Publication series

Conference

Funding

Keywords

Access to Document

Other files and links

Fingerprint

Cite this