A Formal Specification of a Boundary Representation

dc.contributor.author	Baumann, Peter	en_US
dc.date.accessioned	2015-10-05T07:55:47Z
dc.date.available	2015-10-05T07:55:47Z
dc.date.issued	1988	en_US
dc.description.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.	en_US
dc.description.seriesinformation	EG 1988-Technical Papers	en_US
dc.identifier.doi	10.2312/egtp.19881012	en_US
dc.identifier.issn	1017-4656	en_US
dc.identifier.uri	https://doi.org/10.2312/egtp.19881012	en_US
dc.publisher	Eurographics Association	en_US
dc.title	A Formal Specification of a Boundary Representation	en_US