W. M. Beynon and Y. W. Yung. Implementing a definitive notation for interactive graphics. In New Trends in Computer Graphics, pages 456--468. Springer-Verlag, 1988.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....of DoNaLD are geometric entities such as points, lines and circles. Dependencies between these entities can be expressed using definitions, as 29 illustrated in Figure 2.2 8 . An implementation of the notation through translation into EDEN definitions is described by Beynon and Edward Yung in [BY88b] Communication between the translator and the EDEN interpreter in this implementation is via the UNIX command pipeline. For many years, this translation methodology remained a mechanism that could be used to implement newly designed definitive notations or improved versions of existing ones. For ....

W. M. Beynon and Y. W. Yung. Implementing a definitive notation for interactive graphics. In New Trends in Computer Graphics, pages 456--468. Springer-Verlag, 1988.

....section 1.2.2 by an explanation of the aims of this research work. 1.2. 1 Essential Empirical Modelling Concepts At this early point in the thesis, it is important to define some key concepts relating to Empirical Modelling related to the discussion throughout the document (see also [Tea, Bey85, BY88a, Bey97, Bey98a] Empirical modelling focusses on the construction of artefacts (models) for interaction and experiment in a doamin that is not yet well understood. Analyis of a domain or referent proceeds through the identification of the fundamental structure of our personal experience of that ....

W. M. Beynon and Y. W. Yung. Implementing a definitive notation for interactive graphics. In New Trends in Computer Graphics, pages 456-- 468. Springer---Verlag, 1988. Also Research Report 111, Department of Computer Science, University of Warwick. 353

....kinds of visual images. As to our previous interactive geometric modelling systems, Hypersurf [13] had a built in point sets oriented high level language that was, however, not definitive. There have been a few projects of applying a definitive approach to graphics aside using F rep, e.g. in [3], but geometric modelling functionality remained rather poor. In [1] we showed that a F rep geometric modeller and a definitive interactive environment can be integrated with joint benefits. The CADNORT project [6] based on the universal definitive environment EDEN was the first experience of ....

....object Gpart( inst: Ginfcylxn(2) Gpolygon2D1( Lp1) Gpolygon2D2( Lp2) Ttapering3Dzc( zt1, zt2) Tstretch3Dzs( scales, zt1) def: polygonc=Gpolygon2D1 Gpolygon2D2; extr=polygonc ( x3 . zt1) zt2 x3) poltag=Ttapering3Dzc(extr) f=Tstretch3Dzs(poltag Ginfcylxn) defining variables Lp1=[ 5, 0, 1, 4, 4, 3, 3, 4, 0, 4]; Lp2= 1, 2, 5, 2, 5, 2, 1, 2, 0, 0] zt1= 8; zt2=8. scales=0.5; instance of the final object Gpart1( now the user can visualize Gpart1 and make experiments redefining variables Figure 3: A HypeJazz code for an application example the example of behaviour modelling as a script for ....

M.Beynon, E. Yung "Implementing a definitive notation for interactive graphics", New Trends in Computer Graphics, ed. N.MagnenatThalman, D.Thalman, Springer-Verlag, (456-468), 1988.

....is to propose an approach to parallel computation based upon a novel programming paradigm definitive (for definition based ) programming. The development of this paradigm has been the focus of research carried out at the University of Warwick under the author s direction over several years [6,7,8,9,10,11]. At this stage, it is impossible to deal comprehensively and formally with the many issues raised by this research programme. The intention is rather to report upon work in progress, and to indicate some of the reasons, both abstract and technical, why there may be good prospects for ....

WM Beynon, YW Yung, Implementing a definitive notation for interactive graphics, New Trends in Computer Graphics, ed Magenat-Thalman & Thalman, Springer -Verlag 1988, 456-68

....the free parameters is independent of the order in which these assignments are made. Our purpose in this paper is (1) to describe an abstract machine model for parallel computation that exploits this principle, 2) to indicate its potential applications to the implementation of novel CAD systems [3,4], and to the simulation of concurrent systems [2,5] Our model for parallel computation is based upon generalising spreadsheet principles in two respects. We need to extend the concept of defining families of formulae to richer semantic domains. We must also consider the implications of ....

....based upon these principles. Several examples of definitive notations have already been developed. By judiciously choosing the underlying algebra of variable values it is possible to address a wide variety of applications; our present repertoire includes notations for interactive graphics [3], for geometric modelling [4] and for screen layout in textual windows. The research we shall 2 describe in this paper is intended to provide a common fundamental basis for two superficially unrelated subsequent developments of work on definitive notations for interaction : a) the application ....

[Article contains additional citation context not shown here]

WM Beynon, YW Yung, Implementing a definitive notation for interactive graphics, New Trends in Computer Graphics, ed N Magenat-Thalman, D Thalman, Springer-Verlag 1988, 456-68

....in its simplest form in the spreadsheet. The paper is in part an interim report on the broad programme of research that has been carried out so far on the definitive programming project. In the interests of brevity, some familiarity with the basic ideas, as set out in references such as [6,7,8,9,10,11,12,13,14], is assumed. The companion paper [10] is the most appropriate single source, since it illustrates the method of software specification considered in this paper with reference to the techniques and prototypes described elsewhere. When proposing and justifying a new programming paradigm, there are ....

....progress in respect of each of the three issues above. The representation of state transition systems using families of definitions (cf 3 below) is informally a characteristic principle that demonstrably has special qualities in connection with interactive systems and incremental design [6,7,8,12,13]. The extension of such models for user computer interaction to encompass several agents interacting in a computation has potential as a means of modelling and simulating concurrent systems [9] As formalised in the computational framework of the Abstract Definitive Machine [14,11] definitive ....

[Article contains additional citation context not shown here]

Beynon W M, Yung Y W Implementing a definitive notation for interactive graphics New Trends in Computer Graphics, Springer-Verlag 1988, 456-468

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC