Damiano Distante, M. Winckler, R. Bernhaupt, Judy Bowen, J. C. Campos, Florian Müller, Philippe A. Palanque, J. V. D. Bergh, B. Weyers, Alexandra Voit
{"title":"Trends on engineering interactive systems: an overview of works presented in workshops at EICS 2019","authors":"Damiano Distante, M. Winckler, R. Bernhaupt, Judy Bowen, J. C. Campos, Florian Müller, Philippe A. Palanque, J. V. D. Bergh, B. Weyers, Alexandra Voit","doi":"10.1145/3319499.3335655","DOIUrl":"https://doi.org/10.1145/3319499.3335655","url":null,"abstract":"Workshops are a great opportunity for identifying innovative topics of research that might require discussion and maturation. This paper summarizes the outcomes of the workshops track of the 11th Engineering Interactive Computing Systems conference (EICS 2019), held in Valencia (Spain) on 18-21 June 2019. The track featured three workshops, one half-day, one full-day and one two-days workshop, each focused on specific topics of the ongoing research in engineering usable and effective interactive computing systems. In particular, the list of discussed topics include novel forms of interaction and emerging themes in HCI related to new application domains, more efficient and enjoyable interaction possibilities associated to smart objects and smart environments, challenges faced in designing, developing and using interactive systems involving multiple stakeholders.","PeriodicalId":185267,"journal":{"name":"Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127710454","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Quid","authors":"P. J. Molina","doi":"10.1145/3319499.3330294","DOIUrl":"https://doi.org/10.1145/3319499.3330294","url":null,"abstract":"Quid is a web modeling tool aiming to create a complete modeling environment for prototyping Web Components in the browser. The approach presented introduces a concise DSL based on minimal syntax and indentation to implement containment relationships. A WYSIWYG editor is also provided to allow users to explore in real-time the design been constructed. Model-driven techniques and code generation are used to explore different implementation choices with different Web Components frameworks.","PeriodicalId":185267,"journal":{"name":"Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124449056","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Combining Design-time Generation of Web-pages with Responsive Design for Improving Low-vision Accessibility","authors":"Thomas Rathfux, Jasmin Thöner, H. Kaindl, R. Popp","doi":"10.1145/3220134.3220141","DOIUrl":"https://doi.org/10.1145/3220134.3220141","url":null,"abstract":"Accessibility of Web-pages and of graphical user interfaces (GUIs) in general is a major concern for their creation and, in particular, their automated generation. While automated runtime generation and adaptation addressed such problems some time ago for native GUIs, Web-pages generated at design-time are not flexible enough. In this paper, we specifically address low-vision accessibility of Web-pages. Recent advances of responsive design help in this regard, but it usually has to be created manually. Instead, we study combining automated design-time generation of Web-pages with responsive design for improving accessibility. We built a prototype using Bootstrap as a potential Final User Interface of automated design-time generation of Web-pages. It demonstrates the feasibility and even reveals new insights for such a combination.","PeriodicalId":185267,"journal":{"name":"Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116256628","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Interactive System Testing using Interaction Sequences","authors":"Jessica Turner","doi":"10.1145/3220134.3220148","DOIUrl":"https://doi.org/10.1145/3220134.3220148","url":null,"abstract":"Interaction sequences (ISeqs) are an abstraction of interactive systems which allow us to inspect the interactive system behaviour. In this research, ISeqs are used to support interactive system testing. In interactive system testing the components of an interactive system, the functional and the interactive, are often tested separately. However, errors can still occur when these components overlap. Therefore, we must investigate ways to test this overlap as part of a more comprehensive testing approach. ISeqs provide a clear view of this overlap, which we use to inform a model-based testing approach. By testing not only the functional and interactive components of a system, but also this overlap, ISeqs provide us with a way to better cover the interactive system state space, improving system reliability and safety.","PeriodicalId":185267,"journal":{"name":"Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129632508","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Test Stub Generation from Interaction and Behavioural Models","authors":"Judy Bowen, S. Khanal","doi":"10.1145/3220134.3220138","DOIUrl":"https://doi.org/10.1145/3220134.3220138","url":null,"abstract":"Testing strategies for interactive systems require that we find suitable ways of incorporating tests of functionality with tests of interfaces and interactivity. For safety-critical interactive systems the problem is harder due to the necessity to ensure higher thresholds for testing to ensure safety is preserved. Conversely however, for safety-critical systems we are more likely to have a larger set of artefacts such as formal models, specifications etc. which can be used as the basis for test generation. The challenge is in finding ways of making use of (what may be a diverse set of) such models and specifications to assist with the testing process. In this paper we describe how we incorporate interactive system models with behavioural specifications to automatically generate test stubs. We show how the declarative test language Gherkin and its associated Cucumber tool can be integrated into an interactive system modelling environment to achieve this. The tool can either convert interaction models into behavioural models or vice versa, and both sets of models are then used to generate test stubs.","PeriodicalId":185267,"journal":{"name":"Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems","volume":"86 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130250290","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Continuous User Understanding for the Evolution of Interactive Systems","authors":"Jan Ole Johanssen","doi":"10.1145/3220134.3220149","DOIUrl":"https://doi.org/10.1145/3220134.3220149","url":null,"abstract":"Continuous Software Engineering (CSE) activities, i.e., rapidly delivering new software functionality to software users and implementing received feedback, have became an established development practice for creating interactive systems. The frequency of software changes turns the feedback loop with users into a critical element of CSE that has not been addressed sufficiently; thus, it may be challenging for developers to understand users' software usage. This research project aims to enable a better understanding of users during CSE. We investigate relevant usage knowledge needs, the unobtrusive collection of usage data by software and hardware sensors, how usage data can be related to feature increments, and ways to externalize tacit usage knowledge. Leveraging these insights, we develop a platform to monitor, visualize, and understand usage knowledge to support developers during the design and development of interactive systems. The overall goal is to accurately fit the functionality of interactive systems to user needs.","PeriodicalId":185267,"journal":{"name":"Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128958196","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Reconciling Context-Oriented Programming and User Interface Adaptation","authors":"Benoît Duhoux","doi":"10.1145/3220134.3220150","DOIUrl":"https://doi.org/10.1145/3220134.3220150","url":null,"abstract":"Context-oriented programs take into account detected contexts to alter an application so that it exhibits the most appropriate behaviour for that particular context. However Context-Oriented Programming (COP) focuses mostly on adapting behavioural aspects while mostly ignoring adaptation of the user interface aspect. In the HCI community, on the other hand, much research has been done on user interface adaptation but without paying much attention to the behavioural aspect. This PhD work seeks to reconcile both communities to allow programmers to build realistic applications that are more sensitive to their surrounding environment, as well as to evaluate the user acceptance of such systems.","PeriodicalId":185267,"journal":{"name":"Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130731800","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Simulating Interaction Sequences","authors":"Jessica Turner, Judy Bowen, S. Reeves","doi":"10.1145/3220134.3220139","DOIUrl":"https://doi.org/10.1145/3220134.3220139","url":null,"abstract":"Modelling interactive systems is an important part of a sound software engineering process. In order to support this and reduce the amount of time it takes to create and update the models we typically need tools to support this process. Interaction sequences are a particular type of model used for interactive systems which allow us to reason about their behaviour when a user interacts with the system. In this paper we describe the 'Sequence Simulator' tool which allows us to build, modify, and manipulate interaction sequence models. The tool also supports model abstraction using the 'self-containment' property and we show how this automatically abstracts and expands the state space of the models as required.","PeriodicalId":185267,"journal":{"name":"Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122850817","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Model-Based Approach to Design and Develop Usable and Dependable Recommender Systems","authors":"Elodie Bouzekri","doi":"10.1145/3220134.3220147","DOIUrl":"https://doi.org/10.1145/3220134.3220147","url":null,"abstract":"Large companies rely on recommender systems to support users' processes of decision-making and analysis of large datasets of items. In critical context, such as civil aircraft cockpit, recommender systems can be a powerful tool for operators to support their tasks. Operators can be confronted with choosing the right option depending on the current alerts and context from a set of alternatives. The main goal of the presented PhD is to propose a model-based approach for the design and the development of dependable and usable recommender systems. This paper elaborates on challenges and approaches for engineering dependable and usable recommender systems.","PeriodicalId":185267,"journal":{"name":"Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems","volume":"99 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127105024","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The MAL Interactors Animator: Supporting model validation through animation","authors":"J. C. Campos, N. Sousa","doi":"10.1145/3220134.3220142","DOIUrl":"https://doi.org/10.1145/3220134.3220142","url":null,"abstract":"The IVY workbench is a model checking based tool for the analysis of interactive system designs. Experience shows that there is a need to complement the analytic power of model checking with support for model validation and analysis of verification results. Animation of the model provides this support by allowing iterative exploration of its behaviour. This paper introduces a new model animation plugin for the IVY workbench. The plugin (AniMAL) complements the modelling and verification capabilities of IVY by providing users with the possibility to interact directly with the model.","PeriodicalId":185267,"journal":{"name":"Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127676872","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}