Precise visual modeling: A case-study

Howse, John; Schuman, Steve

doi:10.1007/s10270-004-0074-x

Cited by 29 publications

(12 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Constraint diagrams were designed with this application area in mind and extend the spider diagram language. Constraint diagrams have been used in a variety of areas including formal object oriented specification [37,44] and a visual semantic web editing environment [51,81]. Prototype tools to support their use are available from [64].…”

Section: Spider and Constraint Diagramsmentioning

confidence: 99%

The Advent of Formal Diagrammatic Reasoning Systems

Dau¹

2009

Formal Concept Analysis

View full text Add to dashboard Cite

Abstract. In knowledge representation and reasoning systems, diagrams have many practical applications and are used in numerous settings. Indeed, it is widely accepted that diagrams are a valuable aid to intuition and help to convey ideas and information in a clear way. On the other side, logicians have viewed diagrams as informal tools, but which cannot be used in the manner of formal argumentation. Instead, logicians focused on symbolic representations of logics. Recently, this perception was overturned in the mid 1990s, first with seminal work by Shin on an extended version of Venn diagrams. Since then, certainly a growth in the research field of formal reasoning with diagrams can be witnessed. This paper discusses the evolution of formal diagrammatic logics, focusing on those systems which are based on Euler and Venn-Peirce diagrams, and Peirces existential graphs. Also discussed are some challenges faced in the area, some of which are specifically related to diagrams.

show abstract

Section: Spider and Constraint Diagramsmentioning

confidence: 99%

The Advent of Formal Diagrammatic Reasoning Systems

Dau¹

2009

Formal Concept Analysis

View full text Add to dashboard Cite

show abstract

“…Another major application area is that of logical reasoning [15] and such logics are used for formal object oriented specification [10]. Currently, in all but some restricted cases, Euler diagrams must be laid out by hand.…”

Section: Introductionmentioning

confidence: 99%

Embedding Wellformed Euler Diagrams

Rodgers

Zhang

Fish

2008

2008 12th International Conference Information Visualisation

View full text Add to dashboard Cite

show abstract

“…In [70], constraint diagrams were shown to be no more expressive than dyadic first-order logic and a system of generalised constraint diagrams which is at least as expressive as dyadic firstorder logic was proposed. An example of the use of constraint diagrams for modelling a software system was presented in [45], together with a parallel construction in the symbolic language Z. The spider diagram notation has also been extended for practical usage by explicitly linking to types and instances in an object oriented setting as well as extending to incorporate a temporal component, along the lines of Allen's interval calculus [2], in the policy specification domain [8].…”

Section: Introductionmentioning

confidence: 99%

Equivalences in Euler-based diagram systems through normal forms

Fish¹,

Taylor²

2014

LMS J. Comput. Math.

View full text Add to dashboard Cite

The form of information presented can influence its utility for the conveying of knowledge by affecting an interpreter's ability to reason with the information. There are distinct types of representational systems (for example, symbolic versus diagrammatic logics), various sub-systems (for example, propositional versus predicate logics), and even within a single representational system there may be different means of expressing the same piece of information content. Thus, to display information, choices must be made between its different representations, depending upon many factors such as: the context, the reasoning tasks to be considered, user preferences or desires (for example, for short symbolic sentences or minimal clutter within diagrammatic systems). The identification of all equivalent representations with the same information content is a sensible precursor to attempts to minimise a metric over this class. We posit that defining notions of semantic redundancy and identifying the syntactic properties that encapsulate redundancy can help in achieving the goal of completely identifying equivalences within a single notational system or across multiple systems, but that care must be taken when extending systems, since refinements of redundancy conditions may be necessary even for conservative system extensions. We demonstrate this theory within two diagrammatic systems, which are Euler-diagram-based notations. Such notations can be used to represent logical information and have applications including visualisation of database queries, social network visualisation, statistical data visualisation, and as the basis of more expressive diagrammatic logics such as constraint languages used in software specification and reasoning. The development of the new associated machinery and concepts required is important in its own right since it increases the growing body of knowledge on diagrammatic logics. In particular, we consider Euler diagrams with shading, and then we conservatively extend the system to include projections, which allow for a much greater degree of flexibility of representation. We give syntactic properties that encapsulate semantic equivalence in both systems, whilst observing that the same semantic concept of redundancy is significantly more difficult to realise as syntactic properties in the extended system with projections.

show abstract

Precise visual modeling: A case-study

Abstract: We develop an abstract model for our casestudy: software to support a "video rental service." This illustrates how a visual formalism, constraint diagrams, may be used in order to specify such systems precisely.

Cited by 29 publications

References 12 publications

The Advent of Formal Diagrammatic Reasoning Systems

The Advent of Formal Diagrammatic Reasoning Systems

Embedding Wellformed Euler Diagrams

Equivalences in Euler-based diagram systems through normal forms

Contact Info

Product

Resources

About