Skip to main content

2019 | OriginalPaper | Buchkapitel

My IoT Puzzle: Debugging IF-THEN Rules Through the Jigsaw Metaphor

verfasst von : Fulvio Corno, Luigi De Russis, Alberto Monge Roffarello

Erschienen in: End-User Development

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

End users can nowadays define applications in the format of IF-THEN rules to personalize their IoT devices and online services. Along with the possibility to compose such applications, however, comes the need to debug them, e.g., to avoid unpredictable and dangerous behaviors. In this context, different questions are still unexplored: which visual languages are more appropriate for debugging IF-THEN rules? Which information do end users need to understand, identify, and correct errors? To answer these questions, we first conducted a literature analysis by reviewing previous works on end-user debugging, with the aim of extracting design guidelines. Then, we developed My IoT Puzzle, a tool to compose and debug IF-THEN rules based on the Jigsaw metaphor. My IoT Puzzle interactively assists users in the debugging process with different real-time feedback, and it allows the resolution of conflicts by providing textual and graphical explanations. An exploratory study with 6 participants preliminary confirms the effectiveness of our approach, showing that the usage of the Jigsaw metaphor, along with real-time feedback and explanations, helps users understand and fix conflicts among IF-THEN rules.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Anhänge
Nur mit Berechtigung zugänglich
Fußnoten
1
https://​ifttt.​com, last visited on February 26, 2019.
 
2
https://​zapier.​com, last visited on February 26, 2019.
 
3
https://​angular.​io/​, last visited on February 26, 2019.
 
4
https://​jquery.​com/​, last visited on February 26, 2019.
 
5
https://​getbootstrap.​com/​, last visited on February 26, 2019.
 
6
A detailed description of the rules used in the evaluation can be found in the Appendix.
 
Literatur
1.
Zurück zum Zitat Akiki, P.A., Bandara, A.K., Yu, Y.: Visual simple transformations: empowering end-users to wire internet of things objects. ACM Trans. Comput.-Hum. Interact. 24(2), 10:1–10:43 (2017)CrossRef Akiki, P.A., Bandara, A.K., Yu, Y.: Visual simple transformations: empowering end-users to wire internet of things objects. ACM Trans. Comput.-Hum. Interact. 24(2), 10:1–10:43 (2017)CrossRef
3.
Zurück zum Zitat Brich, J., Walch, M., Rietzler, M., Weber, M., Schaub, F.: Exploring end user programming needs in home automation. ACM Trans. Comput.-Hum. Interact. 24(2), 11:1–11:35 (2017)CrossRef Brich, J., Walch, M., Rietzler, M., Weber, M., Schaub, F.: Exploring end user programming needs in home automation. ACM Trans. Comput.-Hum. Interact. 24(2), 11:1–11:35 (2017)CrossRef
4.
Zurück zum Zitat Brush, A.B., Lee, B., Mahajan, R., Agarwal, S., Saroiu, S., Dixon, C.: Home automation in the wild: challenges and opportunities. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI 2011, pp. 2115–2124. ACM, New York (2011) Brush, A.B., Lee, B., Mahajan, R., Agarwal, S., Saroiu, S., Dixon, C.: Home automation in the wild: challenges and opportunities. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI 2011, pp. 2115–2124. ACM, New York (2011)
5.
Zurück zum Zitat Caivano, D., Fogli, D., Lanzilotti, R., Piccinno, A., Cassano, F.: Supporting end users to control their smart home: design implications from a literature review and an empirical investigation. J. Syst. Softw. 144, 295–313 (2018)CrossRef Caivano, D., Fogli, D., Lanzilotti, R., Piccinno, A., Cassano, F.: Supporting end users to control their smart home: design implications from a literature review and an empirical investigation. J. Syst. Softw. 144, 295–313 (2018)CrossRef
6.
Zurück zum Zitat Cao, J., Rector, K., Park, T.H., Fleming, S.D., Burnett, M., Wiedenbeck, S.: A debugging perspective on end-user mashup programming. In: 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, pp. 149–156, September 2010 Cao, J., Rector, K., Park, T.H., Fleming, S.D., Burnett, M., Wiedenbeck, S.: A debugging perspective on end-user mashup programming. In: 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, pp. 149–156, September 2010
7.
Zurück zum Zitat Cerf, V., Senges, M.: Taking the internet to the next physical level. IEEE Comput. 49(2), 80–86 (2016)CrossRef Cerf, V., Senges, M.: Taking the internet to the next physical level. IEEE Comput. 49(2), 80–86 (2016)CrossRef
8.
Zurück zum Zitat Corno, F., De Russis, L., Monge Roffarello, A.: Empowering end users in debugging trigger-action rules. In: Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, CHI 2019. ACM, New York (2019, in press) Corno, F., De Russis, L., Monge Roffarello, A.: Empowering end users in debugging trigger-action rules. In: Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, CHI 2019. ACM, New York (2019, in press)
9.
Zurück zum Zitat Corno, F., De Russis, L., Monge Roffarello, A.: A high-level semantic approach to end-user development in the internet of things. Int. J. Hum.-Comput. Stud. 125, 41–54 (2019)CrossRef Corno, F., De Russis, L., Monge Roffarello, A.: A high-level semantic approach to end-user development in the internet of things. Int. J. Hum.-Comput. Stud. 125, 41–54 (2019)CrossRef
11.
Zurück zum Zitat Danado, J., Paternò, F.: Puzzle: a mobile application development environment using a jigsaw metaphor. J. Vis. Lang. Comput. 25(4), 297–315 (2014)CrossRef Danado, J., Paternò, F.: Puzzle: a mobile application development environment using a jigsaw metaphor. J. Vis. Lang. Comput. 25(4), 297–315 (2014)CrossRef
12.
Zurück zum Zitat Desolda, G., Ardito, C., Matera, M.: Empowering end users to customize their smart environments: model, composition paradigms, and domain-specific tools. ACM Trans. Comput.-Hum. Interact. 24(2), 12:1–12:52 (2017)CrossRef Desolda, G., Ardito, C., Matera, M.: Empowering end users to customize their smart environments: model, composition paradigms, and domain-specific tools. ACM Trans. Comput.-Hum. Interact. 24(2), 12:1–12:52 (2017)CrossRef
13.
Zurück zum Zitat Evans, D.: The internet of things: how the next evolution of the internet is changing everything. Technical report, Cisco Internet Business Solutions Group (2011) Evans, D.: The internet of things: how the next evolution of the internet is changing everything. Technical report, Cisco Internet Business Solutions Group (2011)
14.
Zurück zum Zitat Ghiani, G., Manca, M., Paternò, F., Santoro, C.: Personalization of context-dependent applications through trigger-action rules. ACM Trans. Comput.-Hum. Interact. 24(2), 14:1–14:33 (2017)CrossRef Ghiani, G., Manca, M., Paternò, F., Santoro, C.: Personalization of context-dependent applications through trigger-action rules. ACM Trans. Comput.-Hum. Interact. 24(2), 14:1–14:33 (2017)CrossRef
15.
Zurück zum Zitat Grigoreanu, V., Burnett, M., Wiedenbeck, S., Cao, J., Rector, K., Kwan, I.: End-user debugging strategies: a sensemaking perspective. ACM Trans. Comput.-Hum. Interact. 19(1), 5:1–5:28 (2012)CrossRef Grigoreanu, V., Burnett, M., Wiedenbeck, S., Cao, J., Rector, K., Kwan, I.: End-user debugging strategies: a sensemaking perspective. ACM Trans. Comput.-Hum. Interact. 19(1), 5:1–5:28 (2012)CrossRef
16.
Zurück zum Zitat Huang, J., Cakmak, M.: Supporting mental model accuracy in trigger-action programming. In: Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing, UbiComp 2015, pp. 215–225. ACM, New York (2015) Huang, J., Cakmak, M.: Supporting mental model accuracy in trigger-action programming. In: Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing, UbiComp 2015, pp. 215–225. ACM, New York (2015)
17.
Zurück zum Zitat Huang, T.H.K., Azaria, A., Bigham, J.P.: Instructablecrowd: creating if-then rules via conversations with the crowd. In: Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems, CHI EA 2016, pp. 1555–1562. ACM, New York (2016) Huang, T.H.K., Azaria, A., Bigham, J.P.: Instructablecrowd: creating if-then rules via conversations with the crowd. In: Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems, CHI EA 2016, pp. 1555–1562. ACM, New York (2016)
18.
Zurück zum Zitat Ko, A.J., Myers, B.A.: Designing the whyline: a debugging interface for asking questions about program behavior. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI 2004, pp. 151–158. ACM, New York (2004) Ko, A.J., Myers, B.A.: Designing the whyline: a debugging interface for asking questions about program behavior. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI 2004, pp. 151–158. ACM, New York (2004)
19.
Zurück zum Zitat Ko, A.J., Myers, B.A., Coblenz, M.J., Aung, H.H.: An exploratory study of how developers seek, relate, and collect relevant information during software maintenance tasks. IEEE Trans. Softw. Eng. 32(12), 971–987 (2006)CrossRef Ko, A.J., Myers, B.A., Coblenz, M.J., Aung, H.H.: An exploratory study of how developers seek, relate, and collect relevant information during software maintenance tasks. IEEE Trans. Softw. Eng. 32(12), 971–987 (2006)CrossRef
20.
Zurück zum Zitat Ko, A.J., Myers, B.A.: Finding causes of program output with the Java whyline. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI 2009, pp. 1569–1578. ACM, New York (2009) Ko, A.J., Myers, B.A.: Finding causes of program output with the Java whyline. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI 2009, pp. 1569–1578. ACM, New York (2009)
21.
Zurück zum Zitat Kulesza, T., Burnett, M., Wong, W.K., Stumpf, S.: Principles of explanatory debugging to personalize interactive machine learning. In: Proceedings of the 20th International Conference on Intelligent User Interfaces, IUI 2015, pp. 126–137. ACM, New York (2015) Kulesza, T., Burnett, M., Wong, W.K., Stumpf, S.: Principles of explanatory debugging to personalize interactive machine learning. In: Proceedings of the 20th International Conference on Intelligent User Interfaces, IUI 2015, pp. 126–137. ACM, New York (2015)
22.
Zurück zum Zitat Lee, J., Garduño, L., Walker, E., Burleson, W.: A tangible programming tool for creation of context-aware applications. In: Proceedings of the 2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing, UbiComp 2013, pp. 391–400. ACM, New York (2013) Lee, J., Garduño, L., Walker, E., Burleson, W.: A tangible programming tool for creation of context-aware applications. In: Proceedings of the 2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing, UbiComp 2013, pp. 391–400. ACM, New York (2013)
24.
Zurück zum Zitat Lim, B.Y., Dey, A.K.: Toolkit to support intelligibility in context-aware applications. In: Proceedings of the 12th ACM International Conference on Ubiquitous Computing, UbiComp 2010, pp. 13–22. ACM, New York (2010) Lim, B.Y., Dey, A.K.: Toolkit to support intelligibility in context-aware applications. In: Proceedings of the 12th ACM International Conference on Ubiquitous Computing, UbiComp 2010, pp. 13–22. ACM, New York (2010)
25.
Zurück zum Zitat Lim, B.Y., Dey, A.K., Avrahami, D.: Why and why not explanations improve the intelligibility of context-aware intelligent systems. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI 2009, pp. 2119–2128. ACM, New York (2009) Lim, B.Y., Dey, A.K., Avrahami, D.: Why and why not explanations improve the intelligibility of context-aware intelligent systems. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI 2009, pp. 2119–2128. ACM, New York (2009)
26.
Zurück zum Zitat Manca, M., Santoro, C., Corcella, L.: Supporting end-user debugging of trigger-action rules for IoT applications. Int. J. Hum. Comput. Stud. 123, 56–69 (2019)CrossRef Manca, M., Santoro, C., Corcella, L.: Supporting end-user debugging of trigger-action rules for IoT applications. Int. J. Hum. Comput. Stud. 123, 56–69 (2019)CrossRef
28.
Zurück zum Zitat Namoun, A., Daskalopoulou, A., Mehandjiev, N., Xun, Z.: Exploring mobile end user development: existing use and design factors. IEEE Trans. Softw. Eng. 42(10), 960–976 (2016)CrossRef Namoun, A., Daskalopoulou, A., Mehandjiev, N., Xun, Z.: Exploring mobile end user development: existing use and design factors. IEEE Trans. Softw. Eng. 42(10), 960–976 (2016)CrossRef
29.
Zurück zum Zitat Reisinger, M., Schrammel, J., Fröhlich, P.: Visual end-user programming in smart homes: complexity and performance. In: 2017 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), pp. 331–332, October 2017 Reisinger, M., Schrammel, J., Fröhlich, P.: Visual end-user programming in smart homes: complexity and performance. In: 2017 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), pp. 331–332, October 2017
30.
Zurück zum Zitat Reisinger, M.R., Schrammel, J., Fröhlich, P.: Visual languages for smart spaces: end-user programming between data-flow and form-filling. In: 2017 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), pp. 165–169, October 2017 Reisinger, M.R., Schrammel, J., Fröhlich, P.: Visual languages for smart spaces: end-user programming between data-flow and form-filling. In: 2017 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), pp. 165–169, October 2017
31.
Zurück zum Zitat Repenning, A., Sumner, T.: Agentsheets: a medium for creating domain-oriented visual languages. Computer 28(3), 17–25 (1995)CrossRef Repenning, A., Sumner, T.: Agentsheets: a medium for creating domain-oriented visual languages. Computer 28(3), 17–25 (1995)CrossRef
32.
Zurück zum Zitat Resnick, M., et al.: Scratch: programming for all. Commun. ACM 52(11), 60–67 (2009)CrossRef Resnick, M., et al.: Scratch: programming for all. Commun. ACM 52(11), 60–67 (2009)CrossRef
33.
Zurück zum Zitat Rietzler, M., Greim, J., Walch, M., Schaub, F., Wiedersheim, B., Weber, M.: homeBLOX: introducing process-driven home automation. In: Proceedings of the 2013 ACM Conference on Pervasive and Ubiquitous Computing Adjunct Publication, UbiComp 2013, pp. 801–808. ACM, New York (2013) Rietzler, M., Greim, J., Walch, M., Schaub, F., Wiedersheim, B., Weber, M.: homeBLOX: introducing process-driven home automation. In: Proceedings of the 2013 ACM Conference on Pervasive and Ubiquitous Computing Adjunct Publication, UbiComp 2013, pp. 801–808. ACM, New York (2013)
34.
Zurück zum Zitat Rode, J., Rosson, M.B.: Programming at runtime: requirements and paradigms for nonprogrammer web application development. In: Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003, pp. 23–30. IEEE Computer Society, Washington, DC (2003) Rode, J., Rosson, M.B.: Programming at runtime: requirements and paradigms for nonprogrammer web application development. In: Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003, pp. 23–30. IEEE Computer Society, Washington, DC (2003)
35.
Zurück zum Zitat Subrahmaniyan, N., et al.: Explaining debugging strategies to end-user programmers. In: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, VLHCC 2007, pp. 127–136. IEEE Computer Society, Washington, DC (2007) Subrahmaniyan, N., et al.: Explaining debugging strategies to end-user programmers. In: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, VLHCC 2007, pp. 127–136. IEEE Computer Society, Washington, DC (2007)
36.
Zurück zum Zitat Ur, B., et al.: Trigger-action programming in the wild: An analysis of 200,000 IFTTT recipes. In: Proceedings of the 34rd Annual ACM Conference on Human Factors in Computing Systems, CHI 2016, pp. 3227–3231. ACM, New York (2016) Ur, B., et al.: Trigger-action programming in the wild: An analysis of 200,000 IFTTT recipes. In: Proceedings of the 34rd Annual ACM Conference on Human Factors in Computing Systems, CHI 2016, pp. 3227–3231. ACM, New York (2016)
37.
Zurück zum Zitat Ur, B., McManus, E., Pak Yong Ho, M., Littman, M.L.: Practical trigger-action programming in the smart home. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI 2014, pp. 803–812. ACM, New York (2014) Ur, B., McManus, E., Pak Yong Ho, M., Littman, M.L.: Practical trigger-action programming in the smart home. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI 2014, pp. 803–812. ACM, New York (2014)
38.
Zurück zum Zitat User Interface Group, U.: Alice: rapid prototyping for virtual reality. IEEE Comput. Graph. Appl. 15(3), 8–11 (1995) User Interface Group, U.: Alice: rapid prototyping for virtual reality. IEEE Comput. Graph. Appl. 15(3), 8–11 (1995)
Metadaten
Titel
My IoT Puzzle: Debugging IF-THEN Rules Through the Jigsaw Metaphor
verfasst von
Fulvio Corno
Luigi De Russis
Alberto Monge Roffarello
Copyright-Jahr
2019
DOI
https://doi.org/10.1007/978-3-030-24781-2_2