IEEE Computer Graphics and Applications
Constraint-based tools for building user interfaces
ACM Transactions on Graphics (TOG) - Special issue on user interface software
Algorithms in graph theory and their use for solving problems in architectural design
Computer-Aided Design
OBJSA nets: a class of high-level nets having objects as domains
Advances in Petri Nets 1988
A system for interactive graphical modeling with three-dimensional constraints
CG International '90 Proceedings of the eighth international conference of the Computer Graphics Society on CG International '90: computer graphics around the world
Constructing three-dimensional geometric objects defined by constraints
I3D '86 Proceedings of the 1986 workshop on Interactive 3D graphics
Juno, a constraint-based graphics system
SIGGRAPH '85 Proceedings of the 12th annual conference on Computer graphics and interactive techniques
The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
ACM Transactions on Programming Languages and Systems (TOPLAS)
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
Sketchpad: a man-machine graphical communication system
AFIPS '63 (Spring) Proceedings of the May 21-23, 1963, spring joint computer conference
Inference-based procedural modeling of solids
Computer-Aided Design
Hi-index | 0.00 |
In this paper we introduce a formal specification of the problem of modelling geometric constrained objects adopting OBJSA nets, a high level Petri net. The geometric objects are defined imperatively while constructing them. The approach is innovative in that it solves constraints during manipulation, propagating messages among the objects involved in the geometric figure and it does not require numerical techniques. The formalization of the geometric constructions with OBJSA nets has been an important step to validate the system and in particular the constraint maintenance algorithm. Each class of the system is modelled by a OBJSA component and their compositions allows to describe a generic construction. The algorithm specified in OBJSA can be simulated in the ONE (OBJSA Net Environment) environment.