The paper describes a model that includes an explicit description of the information resources that are assumed to guide use, enabling a focus on properties of "plausible interactions". The information resources supported by an interactive system should be designed to encourage the correct use of the system. These resources signpost a user's interaction, helping to achieve desired goals. Analysing assumptions about information resource support is particularly relevant when a system is safety critical that is when interaction failure consequences could be dangerous, or walk-up-and-use where interaction failure may lead to reluctance to use with expensive consequences. The paper shows that expressing these resource constraints still provides a wider set of behaviours than would occur in practice. A resource may be more or less salient at a particular stage of the interaction and as a result potentially overlooked. For example, the resource may be accessible but not used because it does not seem relevant to the current goal. The paper describes how the resource framework can be augmented with additional information about the salience of the assumed resources. A medical device that is in common use in many hospitals is used as illustration.
{"title":"Modelling information resources and their salience in medical device design","authors":"M. Harrison, J. C. Campos, R. Ruksenas, P. Curzon","doi":"10.1145/2933242.2933250","DOIUrl":"https://doi.org/10.1145/2933242.2933250","url":null,"abstract":"The paper describes a model that includes an explicit description of the information resources that are assumed to guide use, enabling a focus on properties of \"plausible interactions\". The information resources supported by an interactive system should be designed to encourage the correct use of the system. These resources signpost a user's interaction, helping to achieve desired goals. Analysing assumptions about information resource support is particularly relevant when a system is safety critical that is when interaction failure consequences could be dangerous, or walk-up-and-use where interaction failure may lead to reluctance to use with expensive consequences. The paper shows that expressing these resource constraints still provides a wider set of behaviours than would occur in practice. A resource may be more or less salient at a particular stage of the interaction and as a result potentially overlooked. For example, the resource may be accessible but not used because it does not seem relevant to the current goal. The paper describes how the resource framework can be augmented with additional information about the salience of the assumed resources. A medical device that is in common use in many hospitals is used as illustration.","PeriodicalId":287624,"journal":{"name":"Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127933941","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}
Language engineering underpins model-driven engineering and the application of domain-specific languages. In this talk, I will introduce language engineering and its principles and practices, using model-driven engineering as an exemplar. I will suggest how the engineering of interactive systems offers opportunities, challenges and the potential for chaos for language engineering.
{"title":"Language engineering: challenges, opportunities and potential disasters for interactive systems","authors":"R. Paige","doi":"10.1145/2933242.2948132","DOIUrl":"https://doi.org/10.1145/2933242.2948132","url":null,"abstract":"Language engineering underpins model-driven engineering and the application of domain-specific languages. In this talk, I will introduce language engineering and its principles and practices, using model-driven engineering as an exemplar. I will suggest how the engineering of interactive systems offers opportunities, challenges and the potential for chaos for language engineering.","PeriodicalId":287624,"journal":{"name":"Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems","volume":"97 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124728679","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}
Stefan Radomski, Dirk Schnelle-Walka, D. Dahl, M. Mühlhäuser
The W3C SCXML standard for Harel state-charts, in unison with the W3C MMI architecture specification and related work from the W3C MMI working group are a promising suite of recommendations for interoperable Internet-of-Things applications and appliances. Either in its role as a dialog manager for multi-modal user interfaces or as a general description for reactive systems, SCXML fills an important void in the landscape of available W3C recommendation. This 3rd installment of the workshop will provide a forum for academia and industry alike to present and discuss recent developments with regard to SCXML and to identify extensions and adaptations as part of a continued standardization effort.
{"title":"Engineering interactive systems with SCXML","authors":"Stefan Radomski, Dirk Schnelle-Walka, D. Dahl, M. Mühlhäuser","doi":"10.1145/2933242.2948130","DOIUrl":"https://doi.org/10.1145/2933242.2948130","url":null,"abstract":"The W3C SCXML standard for Harel state-charts, in unison with the W3C MMI architecture specification and related work from the W3C MMI working group are a promising suite of recommendations for interoperable Internet-of-Things applications and appliances. Either in its role as a dialog manager for multi-modal user interfaces or as a general description for reactive systems, SCXML fills an important void in the landscape of available W3C recommendation. This 3rd installment of the workshop will provide a forum for academia and industry alike to present and discuss recent developments with regard to SCXML and to identify extensions and adaptations as part of a continued standardization effort.","PeriodicalId":287624,"journal":{"name":"Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125130741","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}
J. C. Campos, Camille Fayollas, C. Martinie, D. Navarre, Philippe A. Palanque, Miguel Pinto
Ensuring the effectiveness factor of usability consists in ensuring that the application allows users to reach their goals and perform their tasks. One of the few means for reaching this goal relies on task analysis and proving the compatibility between the interactive application and its task models. Synergistic execution enables the validation of a system against its task model by co-executing the system and the task model and comparing the behavior of the system against what is prescribed in the model. This allows a tester to explore scenarios in order to detect deviations between the two behaviors. Manual exploration of scenarios does not guarantee a good coverage of the analysis. To address this, we resort to model-based testing (MBT) techniques to automatically generate scenarios for automated synergistic execution. To achieve this, we generate, from the task model, scenarios to be co-executed over the task model and the system. During this generation step we explore the possibility of including considerations about user error in the analysis. The automation of the execution of the scenarios closes the process. We illustrate the approach with an example.
{"title":"Systematic automation of scenario-based testing of user interfaces","authors":"J. C. Campos, Camille Fayollas, C. Martinie, D. Navarre, Philippe A. Palanque, Miguel Pinto","doi":"10.1145/2933242.2948735","DOIUrl":"https://doi.org/10.1145/2933242.2948735","url":null,"abstract":"Ensuring the effectiveness factor of usability consists in ensuring that the application allows users to reach their goals and perform their tasks. One of the few means for reaching this goal relies on task analysis and proving the compatibility between the interactive application and its task models. Synergistic execution enables the validation of a system against its task model by co-executing the system and the task model and comparing the behavior of the system against what is prescribed in the model. This allows a tester to explore scenarios in order to detect deviations between the two behaviors. Manual exploration of scenarios does not guarantee a good coverage of the analysis. To address this, we resort to model-based testing (MBT) techniques to automatically generate scenarios for automated synergistic execution. To achieve this, we generate, from the task model, scenarios to be co-executed over the task model and the system. During this generation step we explore the possibility of including considerations about user error in the analysis. The automation of the execution of the scenarios closes the process. We illustrate the approach with an example.","PeriodicalId":287624,"journal":{"name":"Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132386318","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}
Sara Bouzit, Gaëlle Calvary, D. Chêne, J. Vanderdonckt
This paper presents a design space for exploring design options of adaptive graphical menus based on Bertin's eight visual variables: position, size, shape, value, color, orientation, texture, and motion. In order to transform a traditional (static) menu into an adaptive one, at least one visual variable should be exploited to convey which menu items have been promoted or demoted depending on five characteristics: select, associative, quantitative, order, and length. The paper reviews selected adaptive menu interaction techniques belonging to each of these variables, classifies them according to the variables and characteristics and suggests not yet explored adaptive menu designs. It then defines four stability properties depending on which variables remain constant after adaptivity. A supporting software for prototyping the rendering of graphical adaptive menus is then introduced.
{"title":"A design space for engineering graphical adaptive menus","authors":"Sara Bouzit, Gaëlle Calvary, D. Chêne, J. Vanderdonckt","doi":"10.1145/2933242.2935874","DOIUrl":"https://doi.org/10.1145/2933242.2935874","url":null,"abstract":"This paper presents a design space for exploring design options of adaptive graphical menus based on Bertin's eight visual variables: position, size, shape, value, color, orientation, texture, and motion. In order to transform a traditional (static) menu into an adaptive one, at least one visual variable should be exploited to convey which menu items have been promoted or demoted depending on five characteristics: select, associative, quantitative, order, and length. The paper reviews selected adaptive menu interaction techniques belonging to each of these variables, classifies them according to the variables and characteristics and suggests not yet explored adaptive menu designs. It then defines four stability properties depending on which variables remain constant after adaptivity. A supporting software for prototyping the rendering of graphical adaptive menus is then introduced.","PeriodicalId":287624,"journal":{"name":"Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116763849","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}
Marie-Christin Ostendorp, S. Feuerstack, Thomas Friedrichs, A. Lüdtke
Automotive HMI design is driven by systematic model-based user engineering methods focusing on traceability and functional validation. User-centered design processes can open up the design space to discover new creative design solutions whereas model-based engineering methods offer a rigorous design derivation process. We present Konect, a user-centered design derivation process that fosters creativity and also ensures a systematic design derivation to end up with new interface designs that are optimized for correct and fast readability. Five Human Factor Experts applied the method and ended up with 5 creative and very different design results. In a follow-up experiment with 33 car drivers, we figured out that all designs could be perceived faster and more frequently correct than automotive interfaces for the same assistant system that have been designed with other design methods.
{"title":"Engineering automotive HMIs that are optimized for correct and fast perception","authors":"Marie-Christin Ostendorp, S. Feuerstack, Thomas Friedrichs, A. Lüdtke","doi":"10.1145/2933242.2935869","DOIUrl":"https://doi.org/10.1145/2933242.2935869","url":null,"abstract":"Automotive HMI design is driven by systematic model-based user engineering methods focusing on traceability and functional validation. User-centered design processes can open up the design space to discover new creative design solutions whereas model-based engineering methods offer a rigorous design derivation process. We present Konect, a user-centered design derivation process that fosters creativity and also ensures a systematic design derivation to end up with new interface designs that are optimized for correct and fast readability. Five Human Factor Experts applied the method and ended up with 5 creative and very different design results. In a follow-up experiment with 33 car drivers, we figured out that all designs could be perceived faster and more frequently correct than automotive interfaces for the same assistant system that have been designed with other design methods.","PeriodicalId":287624,"journal":{"name":"Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124952766","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}
Interactive system design is typically more successful if it is an iterative process involving collaboration between multi-disciplinary teams with different viewpoints. While some sub-teams may focus on the creative aspects of the user interface design and other sub-groups on the implementation of required functionality, all must ensure that they are working towards the same goal. They must also satisfy the requirements and needs of all stakeholders. Although many suggestions have been made as to how such design might be supported in a more formal way (such as by using a model-driven process), less focus has been given to managing the co-ordination of design sub-teams following a creative process. In this paper we propose a semi-formal framework to describe and to compare design spaces, and the external design representations within those spaces. The framework is based on ideas from interaction design and on formal refinement approaches. It suggests a distinction of design options into alternatives and variants to describe and guide processes of idea generation and convergence within, and between, different design sub-spaces and sub-groups. We provide a small example to illustrate our approach and to show how it can be implemented by using standard formal approaches alongside less formal design notations and human-computer interaction processes.
{"title":"A semi-formal framework for describing interaction design spaces","authors":"Judy Bowen, Anke Dittmar","doi":"10.1145/2933242.2933247","DOIUrl":"https://doi.org/10.1145/2933242.2933247","url":null,"abstract":"Interactive system design is typically more successful if it is an iterative process involving collaboration between multi-disciplinary teams with different viewpoints. While some sub-teams may focus on the creative aspects of the user interface design and other sub-groups on the implementation of required functionality, all must ensure that they are working towards the same goal. They must also satisfy the requirements and needs of all stakeholders. Although many suggestions have been made as to how such design might be supported in a more formal way (such as by using a model-driven process), less focus has been given to managing the co-ordination of design sub-teams following a creative process. In this paper we propose a semi-formal framework to describe and to compare design spaces, and the external design representations within those spaces. The framework is based on ideas from interaction design and on formal refinement approaches. It suggests a distinction of design options into alternatives and variants to describe and guide processes of idea generation and convergence within, and between, different design sub-spaces and sub-groups. We provide a small example to illustrate our approach and to show how it can be implemented by using standard formal approaches alongside less formal design notations and human-computer interaction processes.","PeriodicalId":287624,"journal":{"name":"Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems","volume":"7 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130281722","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}
Although numerous cross-device frameworks have been proposed in recent years, we know of only a few cross-device applications that have been implemented and many of these are prototypes to showcase the frameworks. Fewer still have been deployed and are accessible to the public. To go beyond prototyping, applications need to be carefully tested and bugs eliminated but current cross-device frameworks provide little support for this and it therefore remains a challenge. Tied to the lack of real-world applications, there is also a lack of cross-device developers who could be studied to gather requirements for better support. However, based on principles of responsive design, there are many tools available and widely used in practice to support the development of web applications that can be accessed from diverse devices, including ones to facilitate testing and debugging. Inspired by these tools, we have created XDTools -- a new integrated set of tools for testing and debugging cross-device applications. A preliminary qualitative evaluation with 12 developers produced promising results.
{"title":"Is a framework enough?: cross-device testing and debugging","authors":"Maria Husmann, Nina Heyder, M. Norrie","doi":"10.1145/2933242.2933249","DOIUrl":"https://doi.org/10.1145/2933242.2933249","url":null,"abstract":"Although numerous cross-device frameworks have been proposed in recent years, we know of only a few cross-device applications that have been implemented and many of these are prototypes to showcase the frameworks. Fewer still have been deployed and are accessible to the public. To go beyond prototyping, applications need to be carefully tested and bugs eliminated but current cross-device frameworks provide little support for this and it therefore remains a challenge. Tied to the lack of real-world applications, there is also a lack of cross-device developers who could be studied to gather requirements for better support. However, based on principles of responsive design, there are many tools available and widely used in practice to support the development of web applications that can be accessed from diverse devices, including ones to facilitate testing and debugging. Inspired by these tools, we have created XDTools -- a new integrated set of tools for testing and debugging cross-device applications. A preliminary qualitative evaluation with 12 developers produced promising results.","PeriodicalId":287624,"journal":{"name":"Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems","volume":"187 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116391391","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}
Sven Charleer, J. Klerkx, E. Duval, T. Laet, K. Verbert
Large interactive displays and surfaces are useful modalities for visualizing big multi-dimensional data sets. They can offer simultaneous views on different facets of the data which lead to an efficient and effective environment for data exploration and analysis. While every data analyst and enthusiast can benefit from these advantages, large interactive systems are not yet available to everyone. Meanwhile, tablets have become ubiquitous and relatively cheap. Combining multiple tablets to replicate a single, large display has therefore become an affordable option. This paper compares the difference in search performance and user perception of a faceted search system for Cultural Heritage data on a single large interactive tabletop with a system composed of multiple coordinated tablet devices. We conclude that, while users generally prefer the tabletop system, there is no negative impact on search performance using tablets. This makes coordinated tablets a viable and portable solution in the absence of interactive tabletops.
{"title":"Faceted search on coordinated tablets and tabletop: a comparison","authors":"Sven Charleer, J. Klerkx, E. Duval, T. Laet, K. Verbert","doi":"10.1145/2933242.2935867","DOIUrl":"https://doi.org/10.1145/2933242.2935867","url":null,"abstract":"Large interactive displays and surfaces are useful modalities for visualizing big multi-dimensional data sets. They can offer simultaneous views on different facets of the data which lead to an efficient and effective environment for data exploration and analysis. While every data analyst and enthusiast can benefit from these advantages, large interactive systems are not yet available to everyone. Meanwhile, tablets have become ubiquitous and relatively cheap. Combining multiple tablets to replicate a single, large display has therefore become an affordable option. This paper compares the difference in search performance and user perception of a faceted search system for Cultural Heritage data on a single large interactive tabletop with a system composed of multiple coordinated tablet devices. We conclude that, while users generally prefer the tabletop system, there is no negative impact on search performance using tablets. This makes coordinated tablets a viable and portable solution in the absence of interactive tabletops.","PeriodicalId":287624,"journal":{"name":"Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems","volume":"56 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115203049","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}
Valéria Lelli, Arnaud Blouin, B. Baudry, F. Coulon, Olivier Beaudoux
Graphical User Interfaces (GUIs) intensively rely on event-driven programming: widgets send GUI events, which capture users' interactions, to dedicated objects called controllers. Controllers implement several GUI listeners that handle these events to produce GUI commands. In this work, we conducted an empirical study on 13 large Java Swing open-source software systems. We study to what extent the number of GUI commands that a GUI listener can produce has an impact on the change- and fault-proneness of the GUI listener code. We identify a new type of design smell, called Blob listener that characterizes GUI listeners that can produce more than two GUI commands. We show that 21% of the analyzed GUI controllers are Blob listeners. We propose a systematic static code analysis procedure that searches for Blob listener that we implement in InspectorGuidget. We conducted experiments on six software systems for which we manually identified 37 instances of Blob listener. InspectorGuidget successfully detected 36 Blob listeners out of 37. The results exhibit a precision of 97.37% and a recall of 97.59%. Finally, we propose coding practices to avoid the use of Blob listeners.
{"title":"Automatic detection of GUI design smells: the case of Blob listener","authors":"Valéria Lelli, Arnaud Blouin, B. Baudry, F. Coulon, Olivier Beaudoux","doi":"10.1145/2933242.2933260","DOIUrl":"https://doi.org/10.1145/2933242.2933260","url":null,"abstract":"Graphical User Interfaces (GUIs) intensively rely on event-driven programming: widgets send GUI events, which capture users' interactions, to dedicated objects called controllers. Controllers implement several GUI listeners that handle these events to produce GUI commands. In this work, we conducted an empirical study on 13 large Java Swing open-source software systems. We study to what extent the number of GUI commands that a GUI listener can produce has an impact on the change- and fault-proneness of the GUI listener code. We identify a new type of design smell, called Blob listener that characterizes GUI listeners that can produce more than two GUI commands. We show that 21% of the analyzed GUI controllers are Blob listeners. We propose a systematic static code analysis procedure that searches for Blob listener that we implement in InspectorGuidget. We conducted experiments on six software systems for which we manually identified 37 instances of Blob listener. InspectorGuidget successfully detected 36 Blob listeners out of 37. The results exhibit a precision of 97.37% and a recall of 97.59%. Finally, we propose coding practices to avoid the use of Blob listeners.","PeriodicalId":287624,"journal":{"name":"Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115987635","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：