Abstract | ||
---|---|---|
This paper presents an experiment that demonstrates the feasibility of successfully applying CASL to design 3D geometric modelling software. It presents an abstract specification of a 3D geometric model, its basic constructive primitives together with the definition of the rounding high-level operation. A novel methodology for abstractly specifying geometric operations is also highlighted. It allows one to faithfully specify the requirements of this specific area and reveals new mathematical definitions of geometric operations. The key point is to introduce an inclusion notion between geometric objects, in such a way that the result of an operation is defined as the smallest or largest object satisfying some pertinent criteria. This work has been made easier by using different useful CASL features, like first-order logic, free types or structured specifications. Some assets of this specification are to be abstract, readable by researchers in geometric modelling and to simplify the programming process. |
Year | DOI | Venue |
---|---|---|
2001 | 10.1007/3-540-45645-7_9 | WADT |
Keywords | Field | DocType |
geometric model,geometric modelling software,geometric operation,geometric object,basic constructive primitive,abstract specification,geometric modelling,structured specification,rounding high-level operation,different useful casl feature,first order logic,satisfiability | Constructive,Computer science,Geometric modeling,Geometric networks,Algorithm,Theoretical computer science,Formal specification,Rounding,Geometric design,Software,Programming process | Conference |
Volume | ISSN | ISBN |
2267 | 0302-9743 | 3-540-43159-4 |
Citations | PageRank | References |
2 | 0.38 | 9 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Franck Ledoux | 1 | 60 | 8.55 |
Agnès Arnould | 2 | 69 | 7.13 |
Pascale Le Gall | 3 | 287 | 32.95 |
Yves Bertrand | 4 | 2 | 0.38 |