Algebras and formal specifications in geometric modelling

Visual Computer

Volumn 13, Issue 3, 1997, Pages 131-154

  Dufourd, Jean François ^a,b  

^a UNIVERSITÉ DE STRASBOURG   (France)

^b Informatique et de la Teledetection (UMR7005)   (France)

Author keywords

Boundary representation; Constructive solid geometry; Extended calculus; Formal specification; Geometric modeling; Parameterization; Universal algebra

Indexed keywords

COMPUTATIONAL GEOMETRY; MATHEMATICAL MODELS;

CONSTRUCTIVE SOLID GEOMETRY; FIRST ORDER EQUATIONAL LOGIC; UNIVERSAL ALGEBRA;

ALGEBRA;

EID: 0030673099     PISSN: 01782789     EISSN: None     Source Type: Journal    
DOI: 10.1007/s003710050095     Document Type: Article

References (75)

1. Aldefeld B (1988) Variation of geometries based on a geometric-reasoning method. Comput Aided Design 20:83-92
2. Barendregt HP (1984) The lambda calculus, its syntax and semantics. North-Holland, Amsterdam
3. Barendregt HP (1990) Functional programming and lambda calculus. In: Leeuwen van (ed) Formal models and semantics, Chap. 7, Handbook of Theoretical Computer Science, Elsevier, North-Holland, Amsterdam, pp 323-360
4. Baumgarl B (1975) A boundary representation for computer vision. AFIPS National Conference 44:589-596
5. Bergstra JA, Heering J, Klint PK (1988) Algebraic specification. ACM Press, New York
6. Bertrand Y. Dufourd JF, Françon J, Lienhardt P (1993) Algebraic specification and development in geometric modelling. EATCS Conference TAPSOFT, Orsay (Lecture Notes in Computer Science, vol 668). Springer, Berlin Heidelberg, pp 75-89
7. Bertrand Y, Dufourd JF (1994) Algebraic specification of a 3D modeler based on hypermaps. CVGIP: Graph Models Image Process 56:29-60
8. Bidoit M, Kreowski HJ, Lescanne P, Orejas F, Sannella D (1991) Algebraic system specification and development: a survey and annotated bibliography (Lecture Notes in Computer Science 501). Springer, Berlin Heidelberg
9. Braquelaire JP, Guitton P (1991) 2 1/2 D Scene update by insertion of contour. Comput Graph 15:41-48
10. Brisson P (1989) Representing geometric structures in D dimensions: topology and order. ACM Conference on Computational Geometry, Saarbrücken, Germany, pp 218-227
11. Cazier D, Dufourd JF (1995) A rewrite system to build planar subdivisions. 7th Canadian Conference on Computational Geometry, Québec, Canada, pp 235-240
12. Church A (1936) An unsolvable problem of elementary number theory. Am J Math 58.354-363
13. Cori R (1975) Un code pour les graphes planaires et ses applications. Astérisque 27. Soc Math de France, Paris
14. Dershowitz N, Jouannaud JP (1990) Rewrite systems. In: Leeuwen van (ed) Formal models and semantics, Chap. 6, Handbook of Theoretical Computer Science, Elsevier, North-Holland, Amsterdam, pp 243-320
15. Dershowitz N, Okada M (1990) A rationale for conditional equational programming. Theor Comput Sci 75:111-138
16. Dobkin D, Laszlo M (1987) Primitives for the manipulation of three-dimensional subdivisions. ACM Symposium on Computational Geometry, Waterloo, Canada, pp 86-99
17. Dowek G, Felty A, Herbelin H, Huck G, Murthy C, Parent C, Paulin-Mohring C, Werner B (1993) The Coq proof assistant user's guide V. 5.8. INRIA Research Report, no. 154, INRIA, Paris
18. Duce DA, Fielding EVC (1986) Towards a formal specification of GKS output primitives. Eurographics Conference Amsterdam, Elsevier, Amsterdam, pp 307-323
19. Duce DA, Fielding EVC, Marshall LS (1988) Formal specification of a small example based on GKS. ACM Trans Graph 7:180-197
20. Duce DA, Damnjanovic LB (1992) Formal specification in the revision of GKS: an illustrative example. Comput Graph Forum 11:17-30
21. Dufourd JF (1989) Algebraic map-based topological kernel for polyhedron modelers. Eurographics Conference Hamburg, Elsevier, Amsterdam, pp 301-312
22. Dufourd JF, Gross C, Spehner JC (1989) A digitisation algorithm for the entry of planar maps. Comput Graphics International Conference Leeds, UK, Springer, Tokyo, pp 649-662
23. Dufourd JF (1991a) Formal specification of topological subdivisions using hypermaps. Comput Aided Design 23:99-116
24. Dufourd JF (1991b) An OBJ3 functional specification for the boundary representation. 1st ACM-Siggraph Symposium on Solid Modeling and CAD/CAM Applications, Austin, Tex., pp 61-72
25. Dufourd JF, Mathis P, Schreck P (1997) Formal resolution of geometrical constraint systems by assembling ACM Solid Modelling Conference. Atlanta (to appear)
26. Ehrig H (1979) Introduction to the Algebraic Theory of Graph Grammars (Lecture Notes in Computer Science vol 73) Springer, Berlin Heidelberg, pp 1-69
27. Ehrig H, Mahr B (1985) Fundamentals of algebraic specification. EATCS Monographs, Springer, Berlin Heidelberg
28. Emmerick MJGM van (1991) Interactive design of 3D models with geometric constraints. Visual Comput 7:309-325
29. Emmerick MJGM van, Rappoport A, Rossignac J (1993) Simplifying interactive design of solid models: a hypertext approach, Visual Comput 9:239-254
30. Fuchs L, Bechmann D, Bertrand Y, Dufourd JF (1996) Formal specification for free-form curves and surfaces. 12th Spring Conference on Computer Graphics, Comenius University, Bratislava, pp 121-130
31. Gangnet M, Hervé JC, Pudet T, Van Thong JM (1989) Incremental computation of planar maps. ACM Siggraph Conference. Boston, Mass Comput Graph 23:345-354
32. Girard JY, Lafont Y, Taylor P (1989) Proofs and types. Cambridge Tracts in TCS 7, Cambridge University Press, Cambridge, Mass
33. Goguen JA (1988) Modular algebraic specification of some basic geometrical constructions. Artif Intel J 37:123-153
34. Goguen JA, Meseguer J (1989) Order sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions, and partial operations. Research Report SRI-CSL-89-10. SRI International, Menlo Park, Calif
35. Goguen JA, Winkler T. Meseguer J, Futatsugi K, Jouannaud JP (1992) Introducing OBJ In: Goguen JA, Coleman D, Gallimore R (eds) Applications of algebraic specifications using OBJ, Cambridge University Press, Cambridge, Mass
36. Gomes J, Velho L (1995) Abstraction paradigms for computer graphics. Visual Comput 11:227-239
37. Guibas L, Stolfi J (1985) Primitives for the manipulation of general subdivisions and the computation of Voronoi diagram. ACM Trans Graph 4:74-123
38. Heydon A, Nelson G (1994) The Juno-2 constraint-based drawing editor. Research Report. SRC-131a, Digital Systems Research Center. Palo Alto, Calif
39. Hoffmann CH (1993) On the semantics of generative geometry representations. 19th Design Automation Conference, Albuquerque, N.M. DE 65-2:411-419
40. Hoffmann CH, Juan R (1993) Erep - an editable, high-level representation for geometric modeling design and analysis. In: (eds) IFIP Geom modelling Product Realization, Elsevier Science, North-Holland, Amsterdam
41. Huet G (1991) Initiation au lambda-calcul, DEA Lecture Notes, INRIA, Paris
42. Jacques A (1970) Constellations et graphes topologiques. In: (eds) Combinatorial theory and applications, Budapest, pp 657-673
43. Knuth DE (1973) The art of computer programming, vol. 1. Addison-Wesley, Reading, Mass
44. Kramer GA, Using degrees of freedom analysis to solve geometric constraint systems, 1st ACM-Siggraph Symposium on Solid Modelling and CAD/CAM Applications Austin, Tex., pp 371-378
45. Kuratowski K., Mostowski A (1976) Set theory. North-Holland, Amsterdam
46. Lienhardt P (1988) Free-form surfaces modelling by evolution simulation. Eurographics Conference, Nice, France, Elsevier, Amsterdam, pp 439-452
47. Lienhardt P (1989) Subdivision of N-dimensional spaces and N-dimensional generalized maps. 5th ACM Conference on Computer Geometry, Saarbrücken, Germany, pp 228-236
48. Lienhardt P (1991) Topological models for boundary representation: a survey. Comput Aided Design 23:59-81
49. Loukipoudis EN (1996) Object management in a programming-by-example, parametric, computer-aided-design system. Visual Comput 12:296-306
50. Mallgren WR (1982) Formal specification of interactive graphics programming languages. ACM Distinguished Dissertation, MIT Press, Cambridge, Mass
51. Mäntylä M, Sulonen R (1982) GWB: a solid modeler with Euler operators. IEEE Comput Graph Appl 2:17-31
52. Mäntylä M (1984) A note of the modelling space of Euler operators. Comput Vision-GIP 26:45-60
53. Martin JJ (1986) Data types and data structures. In: Hoare CAR (ed) Series, Prentice-Hall International, New York, London
54. Maulsby DL, Witten IH, Kittlitz KA (1989) Metamouse: specifying graphical procedures by example. ACM Comput Graphics 23:127-136
55. Noma T, Kunii TL, Kin N, Enomoto H, Aso E, Yamamoto T (1988) Drawing input through geometrical constructions: specifications and applications. Computer Graphics International Conference, Geneva Springer, Tokyo, pp 403-415
56. Paoluzzi A, Bernardim F, Cattani C, Ferruci V (1993) Dimension-independent modelling with simplicial complexes. ACM Trans Graph 12:56-102
57. Paulin-Mohring C (1993) Inductive definitions in the system Coq; rules and properties. International Conference on Typed Lambda Calculi and Applications (Lecture Notes in Computer Science vol 664) Springer, Berlin Heidelberg, pp 328-345
58. Pierce BC (1990) A taste of category theory for computer scientists. Research Report, CMU-CS-90-113R, Carnegie-Mellon University, Pittsburgh, Penn
59. Piusmkiewicz P, Lindenmayer A (1990) The algorithmic beauty of plants. Springer. New York
60. Puitg F, Dufourd JF (1995) Spécifications en modélisation géométrique par la théorie des constructions. Journées du GDR de Programmation, Grenoble
61. Rappoport A (1995) Geometric modeling: a new fundamental framework and its practical implications. ACM Solid Modelling Conference, Salt Lake City, pp 31-41
62. Requicha AAG. Tilove RB (1978) Mathematical foundations of constructive solid geometry: general topology of regular closed sets. Technical Memo 27, Production Automation Project, University of Rochester, NY
63. Requicha AAG (1980) Representation for rigids solids. ACM Comput Surveys 12:437-464
64. Rossignac JR, Borrel P, Nackman LR (1988) Interactive design with sequences of parameterized transformations. IBM Research Report RC 13740; also (1988) In: Hagen P ten, Tomiyama T (eds) Intelligent CAD systems 2 implementational issues
65. Rossignac JR, Borrel P, Nackman LR (1988) Interactive design with sequences of parameterized transformations. IBM Research Report RC 13740; also (1988) In: Hagen P ten, Tomiyama T (eds) Intelligent CAD systems 2 implementational issues
66. Rossignac JR, Requicha AAG (1991) Constructive non-regularized geometry. Comput Aided Design 23:21-32
67. Rossignac JR (1994) Processing disjuonctive forms directly from CSG graphs. CSG'94 set-theoretical solid modelling: techniques and applications Conference, Information Geometers, pp 25-70
68. Shapiro V, Vossler DL (1991) Comparisons and optimization of CSG representations. Compul Aided Design 23:4-20
69. Shapiro V, Vossler DL (1993) Separation for boundary to CSG conversion. ACM Trans Graph 12:35-55
70. Tutte WE (1984) Graph theory. In: (eds) Encyclopedia of mathematics & its applications, Addison-Wesley, Reading, Mass
71. Weiler K (1985) Edge-based data structures for solid modelling in curved-surface environments. IEEE Comput Graph Appl 5:21-40
72. Weiler K (1988a) The radial edge structure: a topological representation for non-manifold geometric boundary modeling IFIP Conference on Geometric Modelling for CAD Applications, Elsevier, North-Holland, Amsterdam, pp 3-36
73. Weiler K (1988b) Boundary graph operators for non-manifold geometric modeling topology representation. IFIP Conference on Geometric Modelling for CAD Applications, Elsevier, North-Holland, Amsterdam, pp 37-66
74. Wechler W (1992) Universal algebra for computer scientists. EATCS Monograph, Springer, Berlin Heidelberg
75. Wirsing M (1990) Algebraic specification. In: Leeuwen van (ed) Formal models and semantics, Chap. 13, Handbook of Theoretical Computer Science, Elsevier, North-Holland, Amsterdam, pp 675-788