A Topological Map-Based Kernel for Polyhedron Modelers: Algebraic Specification and Logic Prototyping
Loading...
Date
1989
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Eurographics Association
Abstract
This paper deals with the topology of surfaces, in the boundary representation of three dimensional objects. Orientable, not orientable, closed or open surfaces are efficiently described and handled when considered as combinatorial generalized maps. An algebra of such maps is first described. Using this algebra, operations to build polyhedra step by step are next defined. That is the basis of a graphical modeler presently under consideration. The presentation uses algebraic software specification techniques in an abstract way. Finally, a systematical validation of the specification by logic prototyping is described.
Description
@inproceedings{10.2312:egtp.19891022,
booktitle = {EG 1989-Technical Papers},
editor = {},
title = {{A Topological Map-Based Kernel for Polyhedron Modelers: Algebraic Specification and Logic Prototyping}},
author = {Dufourd, Jean-Francois},
year = {1989},
publisher = {Eurographics Association},
ISSN = {1017-4656},
ISBN = {},
DOI = {10.2312/egtp.19891022}
}