English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

A number,of notations exist by which,a designer can specify the behavior,of a human-computer,interface in relatively formal terms. In this paper we,show,how,many,of the dia- logue,specifications described,using,these notations are amenable,to automated,analysis to detect potential problems such as user actions that are never enabled or have effects that are hard to reverse. In many situations, a dialogue spec- ification can be thought of as a finite state machine,in which the transition between,states is signalled as an event from the user or system. The trouble with this state transition model,is that states quickly multiply presenting two,prob- lems to the analyst: (i) how,to easily describe all of the pos- sible dialogue,states and,state transitions; and,(ii) how,to analyze a very large SIN. This paper reviews possible solu- tions to both,of these,problems. A tabular interface to Olsen’s Propositional Production System is described and goes,some,way,towards,solving the descriptive problem. This representation is also useful for simulating,require- ments,scenarios in a validation exercise. For the analytic problem, we make use of finite state model checking tech- nology that allows for automated,analysis of very large state machines. We demonstrate,how,eight categories of dialogue verification properties can be analyzed,with this approach. Together, dialogue simulation and automated verification leads to a more,complete,analytic framework,for dialogue

A formal technique for automated dialogue development