2020 IEEE Tenth International Model-Driven Requirements Engineering (MoDRE)最新文献

Using Colorimetric Concepts for the Evaluation of Goal Models 用比色概念评价目标模型

2020 IEEE Tenth International Model-Driven Requirements Engineering (MoDRE) Pub Date : 2020-08-01 DOI: 10.1109/MoDRE51215.2020.00011

R. Oliveira, Julio Cesar Sampaio do Prado Leite

{"title":"Using Colorimetric Concepts for the Evaluation of Goal Models","authors":"R. Oliveira, Julio Cesar Sampaio do Prado Leite","doi":"10.1109/MoDRE51215.2020.00011","DOIUrl":"https://doi.org/10.1109/MoDRE51215.2020.00011","url":null,"abstract":"Goal-oriented models have become important tools for the analysis of non-functional requirements (NFRs). However, the treatment of NFRs is a non-trivial task, considering that this class of requirements covers quality characteristics. This implies that when dealing with subjective requirements, we need to focus on mechanisms that can enrich the semantics of their representation. This is the case of assigning and propagating labels in the evaluation of goal-oriented models. The definition of labels on existing models has low granularity and often fails to reflect the full in-formational potential that this type of artifact could offer. This is the case of the NFR Framework. Propagation in the model is bot-tom-up and understanding about the degree of satisficing a goal becomes difficult. This paper explores a rationale to increase the informative power of the labels assigned to the goals, using the concepts of colorimetry in the SIG (Softgoal Interdependency Graph). We discuss how color may mitigate the challenge of increasing the granularity of goal models analysis, thus improving the evaluation of these models.","PeriodicalId":174751,"journal":{"name":"2020 IEEE Tenth International Model-Driven Requirements Engineering (MoDRE)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134549578","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}

引用次数: 3

Self-Directed Creation and Editing of UML Class Diagrams on Mobile Devices for Visually Impaired People 针对视障人士的移动设备上UML类图的自主创建和编辑

2020 IEEE Tenth International Model-Driven Requirements Engineering (MoDRE) Pub Date : 2020-08-01 DOI: 10.1109/MoDRE51215.2020.00012

Fabian Wildhaber, Nadim Salloum, Marcel Gygli, Andrea R. Kennel

引用次数: 1

ALDB: Debugging Alloy Models of Behavioural Requirements ALDB:调试行为需求合金模型

2020 IEEE Tenth International Model-Driven Requirements Engineering (MoDRE) Pub Date : 2020-08-01 DOI: 10.1109/MoDRE51215.2020.00009

Aman Dureja, Aditya Keerthi, A. Liang, Paul Zhang, N. Day

引用次数: 1

Is There a Need to Address Human Values in Domain Modelling? 在领域建模中是否需要解决人的价值?

2020 IEEE Tenth International Model-Driven Requirements Engineering (MoDRE) Pub Date : 2020-08-01 DOI: 10.1109/MoDRE51215.2020.00015

G. Mussbacher, Waqar Hussain, J. Whittle

引用次数: 4

Model-Driven Requirements for Humans-on-the-Loop Multi-UAV Missions 人在环多无人机任务的模型驱动需求

2020 IEEE Tenth International Model-Driven Requirements Engineering (MoDRE) Pub Date : 2020-08-01 DOI: 10.1109/MoDRE51215.2020.00007

Ankit Agrawal, Jan-Philipp Steghöfer, J. Cleland-Huang

{"title":"Model-Driven Requirements for Humans-on-the-Loop Multi-UAV Missions","authors":"Ankit Agrawal, Jan-Philipp Steghöfer, J. Cleland-Huang","doi":"10.1109/MoDRE51215.2020.00007","DOIUrl":"https://doi.org/10.1109/MoDRE51215.2020.00007","url":null,"abstract":"The use of semi-autonomous Unmanned Aerial Vehicles (UAVs or drones) to support emergency response scenarios, such as fire surveillance and search-and-rescue, has the potential for huge societal benefits. Onboard sensors and artificial intelligence (AI) allow these UAVs to operate autonomously in the environment. However, human intelligence and domain expertise are crucial in planning and guiding UAVs to accomplish the mission. Therefore, humans and multiple UAVs need to collaborate as a team to conduct a time-critical mission successfully. We propose a meta-model to describe interactions among the human operators and the autonomous swarm of UAVs. The meta-model also provides a language to describe the roles of UAVs and humans and the autonomous decisions. We complement the meta-model with a template of requirements elicitation questions to derive models for specific missions. We also identify common scenarios where humans should collaborate with UAVs to augment the autonomy of the UAVs. We introduce the meta-model and the requirements elicitation process with examples drawn from a search-and-rescue mission in which multiple UAVs collaborate with humans to respond to the emergency. We then apply it to a second scenario in which UAVs support first responders in fighting a structural fire. Our results show that the meta-model and the template of questions support the modeling of the human-on-the-loop human interactions for these complex missions, suggesting that it is a useful tool for modeling the human-on-the-loop interactions for multi-UAVs missions.","PeriodicalId":174751,"journal":{"name":"2020 IEEE Tenth International Model-Driven Requirements Engineering (MoDRE)","volume":"122 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114945263","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}

引用次数: 14

An Optimization Modeling Method for Adaptive Systems Based on Goal and Feature Models 基于目标模型和特征模型的自适应系统优化建模方法

2020 IEEE Tenth International Model-Driven Requirements Engineering (MoDRE) Pub Date : 2020-08-01 DOI: 10.1109/MoDRE51215.2020.00008

A. Anda, Daniel Amyot

{"title":"An Optimization Modeling Method for Adaptive Systems Based on Goal and Feature Models","authors":"A. Anda, Daniel Amyot","doi":"10.1109/MoDRE51215.2020.00008","DOIUrl":"https://doi.org/10.1109/MoDRE51215.2020.00008","url":null,"abstract":"Adaptive Socio-Cyber-Physical Systems (SCPSs) need a comprehensive requirements modeling approach to embed social concerns (goals) in their development activities. Since these kinds of systems often involve complicated and dynamic interactions with their environment, they must react to environmental changes using different potential solutions that satisfy social concerns as well as system objectives and qualities. This paper presents an optimization modeling method that monitors an SCPS's environment and qualities to provide design-time and runtime solutions that satisfy required goals of the system and its stakeholders, as well as imposed correctness constraints specified in a feature model. We combine arithmetic functions generated automatically from goal and feature models as an objective function input to an optimization tool (IBM CPLEX) in order to compute, at design time, optimal solutions for common situations. Runtime optimization can also be used for unforeseen situations. An illustrative example is used to assess the feasibility of the method. The results show that optimizing the mathematical functions of goal/feature models together is beneficial in exploring SCPS requirements and detecting weaknesses in common adaptation situations.","PeriodicalId":174751,"journal":{"name":"2020 IEEE Tenth International Model-Driven Requirements Engineering (MoDRE)","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115969015","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}

引用次数: 6

Specification of Software Requirements for Condition Monitoring of Automation Systems 自动化系统状态监测软件要求规范

2020 IEEE Tenth International Model-Driven Requirements Engineering (MoDRE) Pub Date : 2020-08-01 DOI: 10.1109/MoDRE51215.2020.00013

Faruk Pasic, B. Wohlers

{"title":"Specification of Software Requirements for Condition Monitoring of Automation Systems","authors":"Faruk Pasic, B. Wohlers","doi":"10.1109/MoDRE51215.2020.00013","DOIUrl":"https://doi.org/10.1109/MoDRE51215.2020.00013","url":null,"abstract":"Condition monitoring is a fundamental technology that enables predictive maintenance of automation systems. However, as automation systems increase in complexity, the development of condition monitoring software becomes a challenging task that requires extensive knowledge from multiple engineering disciplines. In this context, the identification and specification of condition monitoring software requirements play a key role. Neglecting these tasks often results in costly problems during later stages of systems development. Currently, means to support interdisciplinary requirements engineering within condition monitoring software development are missing. In particular, there is a need for a systematic process that supports modeling condition monitoring requirements. In this paper, we present our solution - a profile based on the extension of the SysML, which is commonly used to engineer requirements in automation systems. The profile allows specification of condition monitoring software requirements and thus enables a more domain-specific requirements engineering approach. We illustrate this approach on a heat exchanger condition monitoring system, explain the particular modeling steps, and present lessons learned.","PeriodicalId":174751,"journal":{"name":"2020 IEEE Tenth International Model-Driven Requirements Engineering (MoDRE)","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115028223","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}

引用次数: 1

[Copyright notice] (版权)

2020 IEEE Tenth International Model-Driven Requirements Engineering (MoDRE) Pub Date : 2020-08-01 DOI: 10.1109/modre51215.2020.00003

引用次数: 0

Detecting Emergent Behavior in Scenario-Based Specifications using a Probabilistic Model 使用概率模型检测基于场景的规范中的紧急行为

2020 IEEE Tenth International Model-Driven Requirements Engineering (MoDRE) Pub Date : 2020-08-01 DOI: 10.1109/MoDRE51215.2020.00010

Munima Jahan, Zahra Shakeri Hossein Abad, B. Far

引用次数: 1

[Title page iii] [标题页iii]

2020 IEEE Tenth International Model-Driven Requirements Engineering (MoDRE) Pub Date : 2020-08-01 DOI: 10.1109/modre51215.2020.00002

引用次数: 0