2022 IEEE 30th International Requirements Engineering Conference Workshops (REW)最新文献

{"title":"Modeling of Natural Language Requirements based on States and Modes","authors":"Yinling Liu, J. Bruel","doi":"10.1109/REW56159.2022.00043","DOIUrl":"https://doi.org/10.1109/REW56159.2022.00043","url":null,"abstract":"The relationship between states (status of a system) and modes (capabilities of a system) used to describe system requirements is often poorly defined. The unclear relationship could make systems of interest out of control because of the out of boundaries of the systems caused by the newly added modes. Formally modeling requirements can clarify the relationship between states and modes, making the system safe.To this end, the MoSt language (a Domain Specific Language implemented on the Xtext framework) is proposed to modeling requirements based on states and modes. In this article, the relationship between states and modes is firstly provided. The metamodel and grammar of the language are then proposed. Finally, a validator is implemented to realise static checks of the MoSt model. The grammar and the validator are integrated into a publicly available Eclipse-based tool. A case study on requirements for designing cars has been conducted to illustrate the feasibility of the MoSt language. In this case study, we injected 9 errors. The results show that all the errors were detected in the static analysis.","PeriodicalId":360738,"journal":{"name":"2022 IEEE 30th International Requirements Engineering Conference Workshops (REW)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121326231","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":"An RE’22 Workshop on Environment-Driven Requirements Engineering (EnviRE’22)","authors":"Z. Jin, Nan Niu, Y. Yu","doi":"10.1109/REW56159.2022.00007","DOIUrl":"https://doi.org/10.1109/REW56159.2022.00007","url":null,"abstract":"We organize a one-day workshop on Environment-Driven Requirements Engineering (EnviRE’22) in conjunction with the 30th IEEE International Requirements Engineering Conference. With the rising influence of AI, IoT, and cyber-physical systems, we realize that the environment, in which the software operates, becomes more open and evolves rapidly with stakeholders’ changing needs. EnviRE’22 features one keynote and five accepted papers. Overall, the workshop is aimed at bringing the interested researchers and practitioners together, exchanging ideas and visions, and exploring a set of open problems to pursue in the years to come.","PeriodicalId":360738,"journal":{"name":"2022 IEEE 30th International Requirements Engineering Conference Workshops (REW)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123211930","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":"Expanding the Horizon of Linear Temporal Logic Inference for Explainability","authors":"D. Neider, Rajarshi Roy","doi":"10.1109/REW56159.2022.00026","DOIUrl":"https://doi.org/10.1109/REW56159.2022.00026","url":null,"abstract":"Linear Temporal Logic (LTL), a logical formalism originally developed for the verification of reactive systems, has emerged as a popular model for explaining the behavior of complex systems. The popularity of LTL as explanations can mainly be attributed to its similarity to natural language and its ease of use owing to its simple syntax and semantics. To aid the explanations using LTL, a task commonly known as inference of Linear Temporal Logic formulas, or LTL inference in short, has been of growing interest in recent years. Roughly, this task asks to infer succinct LTL formulas that describe a system based on its recorded observations. Inferring LTL formulas from a given set of positive and negative examples is a well-studied setting, with a number of competing approaches to tackle it. However, for the widespread applicability of LTL as explanations, we argue that one still needs to consider a number of different settings. In this vision paper, we, thus, discuss different problem settings of LTL inference and highlight how one can expand the horizon of LTL inference by investigating these settings.","PeriodicalId":360738,"journal":{"name":"2022 IEEE 30th International Requirements Engineering Conference Workshops (REW)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115209393","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":"RE 2022 Organizing Committee","authors":"","doi":"10.1109/rew56159.2022.00006","DOIUrl":"https://doi.org/10.1109/rew56159.2022.00006","url":null,"abstract":"","PeriodicalId":360738,"journal":{"name":"2022 IEEE 30th International Requirements Engineering Conference Workshops (REW)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129540292","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":"Domain Model Extraction from User-authored Scenarios and Word Embeddings","authors":"Yuchen Shen, T. Breaux","doi":"10.1109/REW56159.2022.00036","DOIUrl":"https://doi.org/10.1109/REW56159.2022.00036","url":null,"abstract":"Domain models are used by requirements analysts to rationalize domain phenomena into discrete entities that drive requirements elicitation and analysis. Domain models include entities, actors or agents, their actions, and desired qualities assigned to states in the domain. Domain models are acquired through a wide range of sources, including interviews with subject matter experts, and by analyzing text-based scenarios, regulations and policies. Requirements automation to assist with elicitation or text analysis can be supported using masked language models (MLM), which have been used to learn contextual information from natural language sentences and transfer this learning to natural language processing (NLP) tasks. The MLM can be used to predict the most likely missing word in a sentence, and thus be used to explore domain concepts encoded in a word embedding. In this paper, we explore an approach of extracting domain knowledge from user-authored scenarios using typed dependency parsing techniques. We also explore the efficacy of a complementary approach of using a BERT-based MLM to identify entities and associated qualities to build a domain model from a single-word seed term.","PeriodicalId":360738,"journal":{"name":"2022 IEEE 30th International Requirements Engineering Conference Workshops (REW)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114789739","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":"Towards Integrating Human-Centric Characteristics into the Goal-Oriented Requirements Language","authors":"Sanaa A. Alwidian","doi":"10.1109/REW56159.2022.00045","DOIUrl":"https://doi.org/10.1109/REW56159.2022.00045","url":null,"abstract":"In Requirements Engineering (RE), goal-oriented techniques have captured significant attention due to their ability to bridge the gap between stakeholders’ goals and the means by which these goals can be achieved. However, current goal-oriented modeling frameworks suffer from the lack of an in-depth and thorough understanding of human-centric requirements during the design and modelling of the system. Human-centric characteristics of users are mainly related to user’s gender, culture, language, age, personality traits, emotions, and any special requirements stemmed from physical and/or mental impairments. These aspects are vital, and they play an essential role in the acceptance and usage of the developed systems. Hence, neglecting or oversighting such characteristics while designing and modeling a system will lead to ineffective and hard to use systems for some end users. This paper proposes a vision for integrating human-centric characteristics into goal modeling, with the latter being one of the most important early activities in requirements engineering. We aim to characterize the different aspects of human-centric characteristics (which we call them user profiles), and to provide a framework for the systematic integration of user profiles with goal modeling. This in turn will help identify and prioritize critical human-centric characteristics of end users, which will affect the design, modelling, and development of systems. We thus propose a long-term research agenda and urge community contributions in this research direction to achieve enhanced human-centric modelling.","PeriodicalId":360738,"journal":{"name":"2022 IEEE 30th International Requirements Engineering Conference Workshops (REW)","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123661216","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":"Welcome to the Sixth International Workshop on Crowd-Based Requirements Engineering (CrowdRE’22)","authors":"Oliver Karras, N. Seyff, Miroslav Tushev, Farnaz Fotrousi","doi":"10.1109/REW56159.2022.00029","DOIUrl":"https://doi.org/10.1109/REW56159.2022.00029","url":null,"abstract":"Welcome to the 6th International Workshop on Crowd-Based Requirements Engineering (CrowdRE’22), where scientists and representatives of industry meet to exchange ideas, experiences, and other contributions regarding the state of the art of Crowd-Based Requirements Engineering (CrowdRE). The discipline of CrowdRE seeks to address the challenges of traditional requirements engineering (RE) in scaling up to settings with thousands to millions of users of (software) products or (software-driven) services, who form a large and heterogeneous group that can be denoted as a ‘crowd’ [1], [2]. The user feedback generated by the crowd, such as texts or usage data, can be a valuable source of requirements, problems, wishes, and needs. Responding quickly, effectively, and iteratively to this feedback can greatly increase a product’s success. CrowdRE comprises any approach that provides RE with suitable means for this crowd paradigm, especially by involving the crowd and by collecting, harmonizing, analyzing, and interpreting their user feedback.","PeriodicalId":360738,"journal":{"name":"2022 IEEE 30th International Requirements Engineering Conference Workshops (REW)","volume":"3 8","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120807464","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":"Towards Ontology-Based Requirements Engineering for IoT-Supported Well-Being, Aging and Health","authors":"H. Belani, P. Šolić, T. Perković","doi":"10.1109/REW56159.2022.00019","DOIUrl":"https://doi.org/10.1109/REW56159.2022.00019","url":null,"abstract":"Ontologies serve as a one of the formal means to represent and model knowledge in computer science, electrical engineering, system engineering and other related disciplines. Ontologies within requirements engineering may be used for formal representation of system requirements. In the Internet of Things, ontologies may be used to represent sensor knowledge and describe acquired data semantics. Designing an ontology comprehensive enough with an appropriate level of knowledge expressiveness, serving multiple purposes, from system requirements specifications to modeling knowledge based on data from IoT sensors, is one of the great challenges. This paper proposes an approach towards ontology-based requirements engineering for well-being, aging and health supported by the Internet of Things. Such an ontology design does not aim at creating a new ontology, but extending the appropriate one already existing, SAREF4EHAW, in order align with the well-being, aging and health concepts and structure the knowledge within the domain. Other contributions include a conceptual formulation for Well-Being, Aging and Health and a related taxonomy, as well as a concept of One Well-Being, Aging and Health. New attributes and relations have been proposed for the new ontology extension, along with the updated list of use cases and particular ontological requirements not covered by the original ontology. Future work envisions full specification of the new ontology extension, as well as structuring system requirements and sensor measurement parameters to follow description logic.","PeriodicalId":360738,"journal":{"name":"2022 IEEE 30th International Requirements Engineering Conference Workshops (REW)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129637192","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":"Welcome to the Second International Workshop on Requirements Engineering for Explainable Systems (RE4ES)","authors":"V. Klös, Mersedeh Sadeghi, Maike Schwammberger","doi":"10.1109/REW56159.2022.00021","DOIUrl":"https://doi.org/10.1109/REW56159.2022.00021","url":null,"abstract":"Welcome to the Second International Workshop on Requirements Engineering for Explainable Systems (RE4ES), where we aim to advance requirements engineering (RE), and engineering in general, for explainable systems, foster interdisciplinary exchange, and build a community. To this end, we have based our agenda on a mix of paper presentations from authors of different domains, two keynotes from research projects that investigate explainable software systems, as well as interactive activities to stimulate lively discussions.","PeriodicalId":360738,"journal":{"name":"2022 IEEE 30th International Requirements Engineering Conference Workshops (REW)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130021203","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":"Towards Adapting Questionnaires for Long-Term Online Dynamic Monitoring of Patients","authors":"Farhat-ul-Ain, V. Tomberg, Hugo Silva","doi":"10.1109/rew56159.2022.00015","DOIUrl":"https://doi.org/10.1109/rew56159.2022.00015","url":null,"abstract":"Dynamic monitoring of psychological constructs (e.g., emotions, self-efficacy, motivation) is essential for patients diagnosed with long-term medical conditions to promote health and well-being. Psychometrically validated paper-based questionnaires are not efficient for indicating dynamic changes and require face-to-face administration. Digital adaptation of questionnaires offers a potential solution for dynamic monitoring. Digital monitoring also has constraints, e.g., they need to deal with multiple questionnaires measuring the same psychological constructs and different target age groups. Selecting the appropriate questionnaires for digitalization is critical for measuring psychological changes. However, there is no methodological approach for adapting multiple questionnaires for digitalization. The current study aimed at a generalized methodological approach for designing a digital questionnaire-based engine for dynamic, long-term online health monitoring. A four-step methodological approach is proposed and utilized: i) Selecting and reviewing questionnaires based on specific characteristics (e.g., number of questions and sub-types, target age of patients); ii) Development of a conceptual hierarchy of constructs based on an appropriate psychological model (to facilitate the selection of a set of questions and sub-constructs); iii) Putting the pool of questions with markups into one database, and iv) Designing system rules that allow the clinician to select constructs and support the delivery of the appropriate questions to specific patients. A case study on diabetes has been selected to benchmark the application of the methodological approach. Thirty-four questionnaires measuring psychological constructs for children with diabetes were reviewed based on the specific characteristics, and eighteen questionnaires were selected. Next, the sub-construct for each variable was linked with an existing psychological model. Lastly, questionnaires were combined into one pool of questions intended for the dynamic monitoring of patients. As a result, we propose an approach to design dynamic, long-term online health monitoring questionnaires that can be defined on the level of system requirements.","PeriodicalId":360738,"journal":{"name":"2022 IEEE 30th International Requirements Engineering Conference Workshops (REW)","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131525340","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}