Chris Reade

Learn More
This paper describes a formal method for checking the equivalence between the finite state machine with data path (FSMD) model of the high-level behavioural specification and the FSMD model of the behaviour transformed by the scheduler. The method consists in introducing cutpoints in one FSMD, visualizing its computations as concatenation of paths from(More)
This paper is concerned with the mathematics and formal specification of " set-like " operations for the mixed dimension cellular objects of the Djinn Application Programming Interface. The relationships between these operations and stratifications of dimensionally heterogeneous semi-analytic point-sets are uncovered and formalised. Semianalytic geometry is(More)
This paper provides a rationale for its abstract data definitions of geometric features. These definitions are used as the basis of a suite of functions to support feature modelling. It assumes that implementations of the proposed functions will make use of a solid modelling kernel that supports objects with a disjoint cellular structure and persistent cell(More)
Results from the study of O-minimal structures are used to formalise fundamental objects and operations for geometric modelling kernels. O-minimal structures provide a more general setting than the traditional semialgebraic sets; they allow semianalytic sets such as screw-threads to be modelled accurately. O-minimality constrains the class of sets to ensure(More)