Proceedings of the 2nd EICS Workshop on Engineering Interactive Computer Systems with SCXML

The development process of in-vehicle spoken dialog systems (SDS) is characterized by intensive cooperation of different parties. Voice user interface designers specify the system requirements which are then implemented by integration experts. Therefore adequate specification formats are an important factor for the development process. Because the complexity of SDS quickly increases, new formats are of interest. Specification formats strongly influence the possibilities of specification and the quality of the final product and should be therefore based on the requirements and challenges. The aim of the paper is to outline the requirements of the modelling in-vehicle SDS and to explore the challenges that follow, such as specifying natural language input. Author

[1]  Max Mühlhäuser,et al.  JVoiceXML as a modality component in the W3C multimodal architecture , 2013, Journal on Multimodal User Interfaces.

[2]  Yacine Bellik,et al.  A framework for the intelligent multimodal presentation of information , 2006, Signal Process..

[3]  Manny Rayner,et al.  Adding intelligent help to mixed-initiative spoken dialogue systems , 2002, INTERSPEECH.

[4]  Trung Bui,et al.  Multimodal Dialogue Management - State of the art , 2006 .

[5]  Franck van Breugel,et al.  Towards model checking of computer games with Java PathFinder , 2013, 2013 3rd International Workshop on Games and Software Engineering: Engineering Computer Games to Enable Positive, Progressive Change (GAS).

[6]  Baltasar Fernández-Manjón,et al.  Model-checking for adventure videogames , 2009, Inf. Softw. Technol..

[7]  Yacine Bellik,et al.  WWHT: un modèle conceptuel pour la présentation multimodale d'information , 2005, IHM '05.

[8]  David Harel,et al.  Modeling Reactive Systems With Statecharts : The Statemate Approach , 1998 .

[9]  Philip R. Cohen,et al.  MULTIMODAL INTERFACES THAT PROCESS WHAT COMES NATURALLY , 2000 .

[10]  Iván Martínez-Ortiz,et al.  A documental approach to adventure game development , 2007, Sci. Comput. Program..

[11]  Max Mühlhäuser,et al.  Multimodal Fusion and Fission within W3C Standards for Nonverbal Communication with Blind Persons , 2014, ICCHP.

[12]  Petros Maragos,et al.  Adaptive multimodal fusion by uncertainty compensation , 2006, INTERSPEECH.

[13]  Mohan S. Kankanhalli,et al.  Multimodal fusion for multimedia analysis: a survey , 2010, Multimedia Systems.

[14]  Luis A. Hernández Gómez,et al.  Using SCXML to Integrate Semantic Sensor Information into Context-aware User Interfaces , 2010, SSW.

[15]  Klaus Havelund,et al.  Model checking JAVA programs using JAVA PathFinder , 2000, International Journal on Software Tools for Technology Transfer.

[16]  Torbjörn Lager,et al.  DEAL: dialogue management in SCXML for believable game characters , 2007, Future Play.

[17]  Gavin Kistner,et al.  Developing User Interfaces using SCXML Statecharts , 2014 .

[18]  Noah Wardrip-Fruin,et al.  What went wrong: a taxonomy of video game bugs , 2010, FDG.

[19]  Apostolos Ampatzoglou,et al.  Evaluation of object-oriented design patterns in game development , 2007, Inf. Softw. Technol..

[20]  Jing Huang,et al.  Far-Field Multimodal Speech Processing and Conversational Interaction in Smart Spaces , 2008, 2008 Hands-Free Speech Communication and Microphone Arrays.

[21]  Frédéric Landragin,et al.  Physical, semantic and pragmatic levels for multimodal fusion and fission , 2007 .

[22]  Víctor Peláez,et al.  Multimodal Interfaces for the Smart Home: Findings in the Process from Architectural Design to User Evaluation , 2012, UCAmI.

[23]  Carlos Duarte,et al.  Adapting Multimodal Fission to User's Abilities , 2011, HCI.

[24]  Sus Lundgren,et al.  Game Design Patterns , 2003, DiGRA Conference.

[25]  Amar Ramdane-Cherif,et al.  Multi levels semantic architecture for multimodal interaction , 2013, Applied Intelligence.

[26]  Marco Pistore,et al.  NuSMV 2: An OpenSource Tool for Symbolic Model Checking , 2002, CAV.

[27]  Philip R. Cohen,et al.  Sketch-Thru-Plan , 2015, Commun. ACM.

[28]  Sylvain Hallé,et al.  Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring , 2014, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation.

[29]  Minh Tue Vo,et al.  Building an application framework for speech and pen input integration in multimodal learning interfaces , 1996, 1996 IEEE International Conference on Acoustics, Speech, and Signal Processing Conference Proceedings.

[30]  Roger Villemaire,et al.  Runtime Enforcement of Web Service Message Contracts with Data , 2012, IEEE Transactions on Services Computing.

[31]  Dirk Schnelle-Walka,et al.  From Harel To Kripke: A Provable Datamodel for SCXML , 2014 .

[32]  Gerard J. Holzmann,et al.  The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[33]  Hitoshi Isahara,et al.  A methodology for comparing grammar-based and robust approaches to speech understanding , 2005, INTERSPEECH.