The Community for Technology Leaders
Web Engineering, International Conference on (2008)
July 14, 2008 to July 18, 2008
ISBN: 978-0-7695-3261-5
pp: 135-147
ABSTRACT
Information systems for the support of complex business processes are often equipped with web-based front-ends to allow convenient user access. To produce executable specifications of the users' interactions with such web-based applications, we use a visual language that enables developers to model their complex dialog structures. In this paper, we introduce the formal semantics of the core constructs of this Dialog Flow Notation: We define its syntax in terms of invariants about the permitted elements and their relations, and show how any words of the language (i.e. any syntactically correct dialog flow specifications) can be mapped to a deterministic pushdown automaton whose behavior defines the notation's semantics. This gives us and other tool developers a formal basis for the design and implementation of tools and frameworks that mirror the precise meaning of all DFN constructs.
INDEX TERMS
Dialog Flow Notation, Syntax, Semantics, Web Engineering
CITATION

V. Gruhn, S. Blom and M. Book, "Executable Semantics of Recursively Nestable Dialog Flow Specifications for Web Applications," Web Engineering, International Conference on(ICWE), vol. 00, no. , pp. 135-147, 2008.
doi:10.1109/ICWE.2008.25
89 ms
(Ver 3.3 (11022016))