A Formal Specification of a Boundary Representation

Thumbnail Image
Date
1988
Authors
Baumann, Peter
Journal Title
Journal ISSN
Volume Title
Publisher
Eurographics Association
Abstract
Geometric modellers are used in a wide spectrum of applications in computer graphics. As many other applications use the generated internal representation of solids, semantic correctness is of special importance. On the other hand, the methodology of formal specification offers, in particular, the advantage of ensuring correctness by mathematical means. It is therefore a good idea to formally specify a geometric modeller. This paper describes an abstract data type defining a boundary representation. Special attention is paid to the operations for manipulating solids, i.e. the so-called Euler operations. The operation mfe (make face & edge) is used to show in detail how pre- and post-condition can be derived. Finally, mappings of this abstract data type onto implementations with different data models are discussed.
Description

        
@inproceedings{
10.2312:egtp.19881012
,
booktitle = {
EG 1988-Technical Papers
},
editor = {},
title = {{
A Formal Specification of a Boundary Representation
}},
author = {
Baumann, Peter
},
year = {
1988
},
publisher = {
Eurographics Association
},
ISSN = {
1017-4656
},
ISBN = {},
DOI = {
10.2312/egtp.19881012
}
}
Citation
URI
https://doi.org/10.2312/egtp.19881012
Collections
EG1988 Proceedings (Technical Papers)
EG1988 Proceedings (Technical Papers)