Propositional Statecharts for Agent Interaction Protocols

Dunn-Davies, Hywel; Cunningham, Ryan; Paurobally, Shamimabi

doi:10.1016/j.entcs.2005.02.020

Cited by 13 publications

(17 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The varied areas in which augmented Euler diagrams are used for information visualization include: crime control [Farrell and Sousa 2001], computer file organization [DeChiara et al 2003], classification systems [Thièvre et al 2005], education [Ip 2001], genetics [Kestler et al 2005], and medicine [Soriano et al 2003]. They form the basis of constraint diagrams [Kent 1997], spider diagrams [Gil et al 1999], concept diagrams [Howse et al 2011], and can even be thought of as a basis of statecharts [Dunn-Davies and Cunningham 2005].…”

Section: Visual Languages: Applications and Propertiesmentioning

confidence: 99%

Combining Sketching and Traditional Diagram Editing Tools

Plimmer

Delaney

Rodgers

2015

ACM Trans. Intell. Syst. Technol.

View full text Add to dashboard Cite

The least cognitively demanding way to create a diagram is to draw it with a pen. Yet there is also a need for more formal visualizations, that is diagrams created using both traditional keyboard and mouse interaction. Our objective is to allow the creation of diagrams using traditional and stylus-based input. Having two diagram creation interfaces requires that changes to a diagram should be automatically rendered in the other visualization. Because sketches are imprecise, there is always the possibility that conversion between visualizations results in a lack of syntactic consistency between the two visualizations. We propose methods for converting diagrams between forms, checking them for equivalence and rectifying inconsistencies. As a result of our theoretical contributions, we present an intelligent software system allowing users to create and edit diagrams in sketch or formal mode. Our proof of concept tool supports diagrams with connected and spatial syntactic elements. Two user studies show that this approach is viable and participants found the software easy to use. We conclude that supporting such diagram creation is now possible in practice.

show abstract

Section: Visual Languages: Applications and Propertiesmentioning

confidence: 99%

Combining Sketching and Traditional Diagram Editing Tools

Plimmer

Delaney

Rodgers

2015

ACM Trans. Intell. Syst. Technol.

View full text Add to dashboard Cite

show abstract

“…State chart diagram describes objects' dynamic behavior only in one class (Dunn-Davies, 2005;Pan, 2009). State changes may happen because of inside transformations and actions from outside objects.…”

Section: Auml For Modeling Intelligent Systemmentioning

confidence: 99%

Software Agent Finds Its Way in the Changing Environment

Sokas¹

2012

Practical Applications of Agent-Based Technology

View full text Add to dashboard Cite

“…Shin's rebirth of Peirce's α and β systems for reasoning [15] has produced a variety of Euler diagram based visual logics, for example [7,4,17,18]. Euler diagram based visual logics allow reasoning about sets, their elements and their relationships.…”

Section: Introductionmentioning

confidence: 99%

A normal form for spider diagrams of order

Delaney¹,

Taylor²,

Thompson³

2014

Journal of Visual Languages & Computing

View full text Add to dashboard Cite

We develop a reasoning system for an Euler diagram based visual logic, called spider diagrams of order. We define a normal form for spider diagrams of order and provide an algorithm, based on the reasoning system, for producing diagrams in our normal form. Normal forms for visual logics have been shown to assist in proving completeness of associated reasoning systems. We wish to use the reasoning system to allow future direct comparison of spider diagrams of order and linear temporal logic.

show abstract

Propositional Statecharts for Agent Interaction Protocols

Cited by 13 publications

References 9 publications

Combining Sketching and Traditional Diagram Editing Tools

Combining Sketching and Traditional Diagram Editing Tools

Software Agent Finds Its Way in the Changing Environment

A normal form for spider diagrams of order

Contact Info

Product

Resources

About