A. G. Cohn and J. M. Gooday. Visual language syntax and semantics: A spatial logic approach, May 1996.  Home/Search   Document Details and Download   Summary   Related Articles   Check

.... has also been tried as in [NK91] A hierarchical classification of syntax formalisms for visual languages can be found in [Mey91] A logical approach to specification of syntax and semantics has been proposed recently, and its convenience evaluated in the definition of Pictorial Janus [Haa96] CG96] We follow a different path. In our view, the syntax of Cordial is formed out of graphical elements built on a layer above Higraphs. This layer should be high enough to allow ease of programming but also low enough to be directly translatable to it. In this way syntax and static semantics of ....

A. G. Cohn and J. M. Gooday. Visual language syntax and semantics: A spatial logic approach, May 1996.

....such as scope, security and authority. 2 The Time free Model An object can be understood as a mathematical structure; it inhabits a space of a particular shape. It is composed of substructures which inhabit subspaces; various relations link spatial locations together using a spatial logic (e.g. [1]) A location is here taken to be an open set; the structure of a program is a topological space (T 2 , i.e. Hausdorff) Some locations are understood as values; for example, the integers form a space in which each number is a distinct open set. There is a value relation between locations and ....

.... ) retract( in2, out, int, error( has non int input ) strict( in1, out, false V indeterminate ) strict( in2, out, false V indeterminate ) The duplications over the input interfaces can be resolved by introducing a subscripting naming scheme and quantifying over them: input in[1,2], output out) spec ( ForAll i: 1,2] type (value(in[i] int) value(out) value(in[1] value(in[2] ForAll i: 1,2] retract( in[i] out, int, error( has non int input ) strict( in[i] out, false V indeterminate ) Given specifications of this kind, we can introduce a ....

[Article contains additional citation context not shown here]

J M Gooday and A G Cohn, Visual Language Syntax and Semantics: A Spatial Logic Approach, in: AVI96 Workshop on the Theory of Visual Languages (ftp://soglio.colorado.edu/pub/berndm/TVL96papers/,1996).

....to vary; that is, defining operations that allow for the direct manipulation of languages as first class objects. This is explored here. 1 Introduction Work on general visual language description is proceeding in a number of places, using a variety of mathematical approaches. Gooday and Cohn [4] are looking at a spatial logic; Haarslev [5,6] prefers topology with spatial relations; while Dinesh and Uskurdarli [2] take a rewrite rule approach. These all seem to assume that a language is a static object, that once a language has been described then a statement in that language will have an ....

J M Gooday and A G Cohn, Visual Language Syntax and Semantics: A Spatial Logic Approach, in: AVI96 Workshop on the Theory of Visual Languages (ftp://soglio.colorado.edu/pub/berndm/ TVL96papers/, 1996).

....sense that the exact shape, size, length etc. of the various components of the diagram or picture is unimportant rather, what is important is the topological relationship between these components. Therein lies the promise of a theory of qualitative spatial reasoning in specifying such languages [95, 107]. 4. Aspects of Qualitative Spatial Representation Representing space has a rich history in the physical sciences and serves to locate objects in a quantitative framework. At the other extreme, spatial expressions tend to operate on a loose partitioning of the domain. Representation for this ....

Gooday, J. M. and Cohn, A. G.: \Visual language syntax and semantics: A spatial logic approach", K. Marriott and B. Meyer (eds.) Proc. AVI'96 Workshop on Theory of Visual Languages, Gubbio, Italy, 1996.

....that the exact shape, size, length etc. of the various components of the diagram or picture are unimportant rather, what is important is the topological relationship between these components and thus a theory of qualitative spatial representation may be applicable in specifying such languages [65, 64, 77, 78]. 4 Aspects of qualitative spatial representation There are many different aspects to space and therefore to its representation: not only do we have to decide on what kinds of spatial entity we will admit (i.e. commit to a particular ontology of space) but also we can consider developing ....

J Gooday and A G Cohn. Visual language syntax and semantics: A spatial logic approach. In K Marriott and B Meyer, editors, Proc Workshop on Theory of Visual Languages, Gubbio, Italy, 1996.

No context found.

Gooday, J. and Cohn, A. G.: 1996b, Visual language syntax and semantics: A spatial logic approach, in K. Marriott and B. Meyer (eds), Proc Workshop on Theory of Visual Languages, Gubbio, Italy.

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