TY - GEN
T1 - Executable semantics of recursively nestable dialog flow specifications for web applications
AU - Blom, Sören
AU - Book, Matthias
AU - Gruhn, Volker
PY - 2008
Y1 - 2008
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=51749094626&partnerID=8YFLogxK
U2 - 10.1109/ICWE.2008.25
DO - 10.1109/ICWE.2008.25
M3 - Conference contribution
AN - SCOPUS:51749094626
SN - 9780769532615
T3 - Proceedings - 8th International Conference on Web Engineering, ICWE 2008
SP - 135
EP - 147
BT - Proceedings - 8th International Conference on Web Engineering, ICWE 2008
T2 - 8th International Conference on Web Engineering, ICWE 2008
Y2 - 14 July 2008 through 18 July 2008
ER -