Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2005)
Sept. 7, 2005 to Sept. 9, 2005
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2005.21
Hui Shi , Universitat Bremen, Germany
Robert J. Ross , Universitat Bremen, Germany
John Bateman , Universitat Bremen, Germany
The spoken language interface is now becoming an increasingly serious research topic with application to a wide range of highly engineered systems. Such systems not only include innocuous human-computer interactions, but also encompass shared-control safety critical devices such as automotive vehicles and robotic systems. Spoken Dialogue Systems (SDS) are the language architecture used to provide linguistic interaction in these applications, but they have to date been notoriously difficult to engineer in a robust and safe manner. In this paper we report on our efforts to improve the safety and overall usability of dialogue enabled applications through the employment of formal methods in SDS development and testing. Specifically, we use Communicating Sequential Processes (CSP) as the basis of a new approach to the specification, design and verification of dialogue manager control. Moreover, to support this approach, we introduce FDMSC - the Formal Dialogue Management for Shared Control toolkit - and illustrate its use in the construction of formal methods based spoken dialogue systems.
R. J. Ross, H. Shi and J. Bateman, "Formalising Control in Robust Spoken Dialogue Systems," Third IEEE International Conference on Software Engineering and Formal Methods(SEFM), Koblenz, 2005, pp. 332-341.