Syntactic/Semantic Formalizations and Metrics of Residential Applications Based on Gestural Interface

详细信息    查看全文

• 作者：Ana Carla de Carvalho Correia (16)
  Paulo Leonardo Souza Brizolara (16)
  Leonardo Cunha de Miranda (16)
  Juvane Nunes Marciano (16)
  
• 关键词：gestural interaction ; domotics ; organizational semiotics ; EBNF ; smart home ; home automation
• 刊名：Lecture Notes in Computer Science
• 出版年：2014
• 出版时间：2014
• 年：2014
• 卷：8518
• 期：1
• 页码：521-532
• 参考文献：1. Alahverdzhieva, K., Flickinger, D., Lascarides, A.: Multimodal Grammar Implementation. In: Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, pp. 582鈥?86 (2012)
  2. Basili, V., Caldiera, G., Rombach, H.: Goal Question Metric Paradigm. In: Encyclopedia of Software Engineering, pp. 528鈥?32. John Wiley & Sons (1994)
  3. Correia, A.C.C., Miranda, L.C., Hornung, H.H., Marciano, J.N.: Recommendations for Gesture-based Residential Interactive Systems Inspired by Diversity. In: 16th International Conference on Human-Computer Interaction. Springer (in press, 2014)
  4. de Carvalho Correia, A.C., de Miranda, L.C., Hornung, H.: Gesture-based Interaction in Domotic Environments: State of the Art and HCI Framework Inspired by the Diversity. In: Kotz茅, P., Marsden, G., Lindgaard, G., Wesson, J., Winckler, M. (eds.) INTERACT 2013, Part II. LNCS, vol.聽8118, pp. 300鈥?17. Springer, Heidelberg (2013) CrossRef
  5. Donmez, N., Singh, K.: Concepture: A Regular Language based Framework for Recognizing Gestures with Varying and Repetitive Patterns. In: International Symposium on Sketch-Based Interfaces and Modeling, pp. 29鈥?7 (2012)
  6. Doherty, G.J., Faconti, G., Massink, M.: Formal Verification in the Design of Gestural Interaction. Electronic Notes in Theoretical Computer Science聽43, 75鈥?6 (2001) CrossRef
  7. Hussain, A., Kutar, M.: Usability Metric Framework for Mobile Phone Application. In: 10th Annual Conference on the Convergence of Telecommunications, pp. 1鈥? (2008)
  8. Kammer, D., Wojdziak, J., Keck, M., Groh, R., Taranko, S.: Towards a Formalization of Multi-Touch Gestures. In: ACM International Conference on Interactive Tabletops and Surfaces, pp. 49鈥?8. ACM (2010)
  9. Kin, K., Hartmann, B., DeRose, T., Agrawala, M.: Proton: Multitouch Gestures as Regular Expressions. In: SIGCHI Conference on Human Factors in Computing Systems, pp. 2885鈥?894. ACM (2012)
  10. Kin, K., Hartmann, B., DeRose, T., Agrawala, M.: Proton++: A Customizable Declarative Multitouch Framework. In: 25th Annual ACM Symposium on User Interface Software and Technology, pp. 477鈥?86. ACM (2012)
  11. Liu, K.: Semiotics in Information Systems Engineering. Cambridge University Press (2000)
  12. Miranda, L.C., Hornung, H.H., Baranauskas, M.C.C.: Adjustable Interactive Rings for iDTV. IEEE Trans. Consum. Electron.聽56, 1988鈥?996 (2010) CrossRef
  13. Ouchi, K., Esaka, N., Tamura, Y., Hirahara, M., Doi, M.: Magic Wand: An Intuitive Gesture Remote Control for Home Appliances. In: International Conference on Active Media Technology. IEEE (2005)
  14. Spano, L.D., Cisternino, A., Patern貌, F., Fenu, G.: GestIT: A Declarative and Compositional Framework for Multiplatform Gesture Definition. In: 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp. 187鈥?96. ACM (2013)
  15. Spano, L.D., Cisternino, A., Patern貌, F.: A Compositional Model for Gesture Definition. In: Winckler, M., Forbrig, P., Bernhaupt, R. (eds.) HCSE 2012. LNCS, vol.聽7623, pp. 34鈥?2. Springer, Heidelberg (2012) CrossRef
  16. Wilson, A., Shafer, S.: XWand: UI for Intelligent Spaces. In: SIGCHI Conference on Human Factors in Computing Systems, pp. 545鈥?52. ACM (2003)
  
• 作者单位：Ana Carla de Carvalho Correia (16)
  Paulo Leonardo Souza Brizolara (16)
  Leonardo Cunha de Miranda (16)
  Juvane Nunes Marciano (16)
  
  16. Department of Informatics and Applied Mathematics, Federal University of Rio Grande do Norte (UFRN), Natal, Brazil
  
• ISSN：1611-3349

文摘

The development of residential applications with gestural interaction focuses often only on technological and physical aspects in the construction of its applications. The use of technologies that support gestural recognition might restrict the gestural commands of an application. We argue that an abstraction of gestural interaction is required for a more comprehensive interaction approach. In an attempt to reduce problems related to gestural interaction, in this work, we formalized gestural interaction syntactically and semantically. The syntactic formalization uses building blocks that produce a grammar of the Extended Backus-Naur Form (EBNF) type. The semantic information is described by the point of view of residential application, together with their actions or services offered in the application. Additionally, we analyze the relations and combinations of gestural interaction syntactically formalized in generating a set of metrics for evaluating qualities of interaction that are based on recommendations for residential systems, in which the entire description comes from the pre-established syntactic formalization.