A declarative specification and semantics for visual languages

Richard Helm, Kim Marriott

Research output: Contribution to journalArticleResearchpeer-review

36 Citations (Scopus)

Abstract

A key issue in visual languages is the specification of the relationship between pictures and their meaning. To do this, we introduce a class of declarative, constraint-based picture specification languages. These extend previous approaches to picture specification based on constraints and grammar formalisms. As the languages are defined as instances of an abstract language scheme, we ensure they share a common declarative semantics and operational semantics. The declarative semantics allows both people and machines easily to reason about a specification independently of any underlying implementation. The operational semantics permit both the generation and recognition of pictures defined by the specification.

Original languageEnglish
Pages (from-to)311-331
Number of pages21
JournalJournal of Visual Languages and Computing
Volume2
Issue number4
DOIs
Publication statusPublished - 1 Jan 1991
Externally publishedYes

Cite this

@article{b976af6ae74a438593f0577746155120,
title = "A declarative specification and semantics for visual languages",
abstract = "A key issue in visual languages is the specification of the relationship between pictures and their meaning. To do this, we introduce a class of declarative, constraint-based picture specification languages. These extend previous approaches to picture specification based on constraints and grammar formalisms. As the languages are defined as instances of an abstract language scheme, we ensure they share a common declarative semantics and operational semantics. The declarative semantics allows both people and machines easily to reason about a specification independently of any underlying implementation. The operational semantics permit both the generation and recognition of pictures defined by the specification.",
author = "Richard Helm and Kim Marriott",
year = "1991",
month = "1",
day = "1",
doi = "10.1016/S1045-926X(05)80002-3",
language = "English",
volume = "2",
pages = "311--331",
journal = "Journal of Visual Languages and Computing",
issn = "1045-926X",
publisher = "Elsevier",
number = "4",

}

A declarative specification and semantics for visual languages. / Helm, Richard; Marriott, Kim.

In: Journal of Visual Languages and Computing, Vol. 2, No. 4, 01.01.1991, p. 311-331.

Research output: Contribution to journalArticleResearchpeer-review

TY - JOUR

T1 - A declarative specification and semantics for visual languages

AU - Helm, Richard

AU - Marriott, Kim

PY - 1991/1/1

Y1 - 1991/1/1

N2 - A key issue in visual languages is the specification of the relationship between pictures and their meaning. To do this, we introduce a class of declarative, constraint-based picture specification languages. These extend previous approaches to picture specification based on constraints and grammar formalisms. As the languages are defined as instances of an abstract language scheme, we ensure they share a common declarative semantics and operational semantics. The declarative semantics allows both people and machines easily to reason about a specification independently of any underlying implementation. The operational semantics permit both the generation and recognition of pictures defined by the specification.

AB - A key issue in visual languages is the specification of the relationship between pictures and their meaning. To do this, we introduce a class of declarative, constraint-based picture specification languages. These extend previous approaches to picture specification based on constraints and grammar formalisms. As the languages are defined as instances of an abstract language scheme, we ensure they share a common declarative semantics and operational semantics. The declarative semantics allows both people and machines easily to reason about a specification independently of any underlying implementation. The operational semantics permit both the generation and recognition of pictures defined by the specification.

UR - http://www.scopus.com/inward/record.url?scp=0001239364&partnerID=8YFLogxK

U2 - 10.1016/S1045-926X(05)80002-3

DO - 10.1016/S1045-926X(05)80002-3

M3 - Article

VL - 2

SP - 311

EP - 331

JO - Journal of Visual Languages and Computing

JF - Journal of Visual Languages and Computing

SN - 1045-926X

IS - 4

ER -