2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE)最新文献

Goal modeling for sustainability: The case of time 可持续发展的目标建模:时间的例子

2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE) Pub Date : 2014-09-08 DOI: 10.1109/MoDRE.2014.6890821

G. Mussbacher, D. Nuttall

{"title":"Goal modeling for sustainability: The case of time","authors":"G. Mussbacher, D. Nuttall","doi":"10.1109/MoDRE.2014.6890821","DOIUrl":"https://doi.org/10.1109/MoDRE.2014.6890821","url":null,"abstract":"Goal models have established themselves as a means to capture often conflicting needs of stakeholders and reason about how alternative solutions may impact those needs, allowing for trade-off assessments at the early stages of development. More recently, goal models have been extended with the notion of indicators that allow quantitative, real-life measurements to be used in addition to qualitative measurements to more precisely assess trade-offs. While goal models are most often used in the context of systems or software development, they are well suited to any type of development effort that involves a large set of diverse stakeholders. Sustainability Engineering is an emerging discipline that fits this profile, requiring everyone from individuals to large communities to be considered to maximize social benefit while minimizing negative ecological impact. This paper proposes a method to combine the high-level, qualitative assessment from goal models with the rigorous, detailed, quantitative sustainability assessment based on time cost that is applicable to varied types of development projects. The method is demonstrated through a development project from the construction industry and modeled with the Goal-oriented Requirement Language.","PeriodicalId":308776,"journal":{"name":"2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE)","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123702645","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}

引用次数: 12

Requirement traceability: A model-based approach 需求可追溯性:基于模型的方法

2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE) Pub Date : 2014-09-08 DOI: 10.1109/MODRE.2014.6890829

O. Badreddin, A. Sturm, T. Lethbridge

引用次数: 10

Context transformations for goal models 目标模型的上下文转换

2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE) Pub Date : 2014-09-08 DOI: 10.1109/MoDRE.2014.6890822

P. Spoletini, Alessio Ferrari, S. Gnesi

引用次数: 1

A requirements engineering methodology combining models and controlled natural language 结合模型和受控自然语言的需求工程方法

2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE) Pub Date : 2014-09-08 DOI: 10.1109/MoDRE.2014.6890827

Markus Fockel, Jörg Holtmann

{"title":"A requirements engineering methodology combining models and controlled natural language","authors":"Markus Fockel, Jörg Holtmann","doi":"10.1109/MoDRE.2014.6890827","DOIUrl":"https://doi.org/10.1109/MoDRE.2014.6890827","url":null,"abstract":"The use of models in requirements engineering (RE) for software-intensive embedded systems is considered beneficial. The main advantages of requirements models as documentation format are that they facilitate requirements understanding and foster automatic analysis techniques. However, natural language (NL) is still the dominant documentation format for requirements specifications, particularly in the domain of embedded systems. This is due to the facts that NL-based requirements can be used within legally binding documents and are more appropriate for reviews than models. In order to bridge the gap between both of these documentation formats, this paper proposes a model-driven RE methodology that makes use of requirements models along with a controlled natural language. The methodology combines the advantages of model-based and NL-based documentation by means of a bidirectional multi-step model transformation between both documentation formats. We illustrate the approach by means of an automotive example, explain the particular steps of the model transformation, and present performance results.","PeriodicalId":308776,"journal":{"name":"2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126876695","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}

引用次数: 25

Combined propagation-based reasoning with goal and feature models 将基于传播的推理与目标和特征模型相结合

2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE) Pub Date : 2014-09-08 DOI: 10.1109/MoDRE.2014.6890823

Yanji Liu, Yukun Su, Xinshang Yin, G. Mussbacher

{"title":"Combined propagation-based reasoning with goal and feature models","authors":"Yanji Liu, Yukun Su, Xinshang Yin, G. Mussbacher","doi":"10.1109/MoDRE.2014.6890823","DOIUrl":"https://doi.org/10.1109/MoDRE.2014.6890823","url":null,"abstract":"The User Requirements Notation (URN) is an international requirements engineering standard published by the International Telecommunication Union. URN supports goal-oriented and scenario-based modeling as well as analysis. Feature modeling, on the other hand, is a well-establishing technique for capturing commonalities and variabilities of Software Product Lines. When combined with URN, it is possible to reason about the impact of feature configurations on stakeholder goals and system qualities, thus helping to identify the most appropriate features for a stakeholder. Combined reasoning of goal and feature models is also fundamental to Concern-Driven Development, where concerns are composed not only based on functionality expressed with feature models, but also based on impact on stakeholder goals. Therefore, an analysis technique for feature and goal models based on a single conceptual model is desirable, because of its potential to streamline model analysis and reduce the complexity of the analysis framework. This paper introduces such a technique, i.e., a single, propagation-based reasoning algorithm that supports combined reasoning of goal and feature models and offers additional usability improvements over existing goal-oriented reasoning mechanisms.","PeriodicalId":308776,"journal":{"name":"2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128452300","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}

引用次数: 10

Understanding and closing the gap between requirements on system and subsystem level 理解并消除系统和子系统需求之间的差距

2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE) Pub Date : 2014-09-08 DOI: 10.1109/MoDRE.2014.6890828

Sabine Teufl, Wolfgang Böhm, Ralf Pinger

{"title":"Understanding and closing the gap between requirements on system and subsystem level","authors":"Sabine Teufl, Wolfgang Böhm, Ralf Pinger","doi":"10.1109/MoDRE.2014.6890828","DOIUrl":"https://doi.org/10.1109/MoDRE.2014.6890828","url":null,"abstract":"In systems engineering, the increasing complexity of systems is handled by decomposing systems into subsystems. As part of the decomposition typically more abstract system requirements are refined to more detailed subsystem requirements. Refining system requirements to subsystem requirements includes the two steps interface refinement on the system boundaries, and a decomposition of system requirements to subsystem requirements. In order to apply formal analysis and verification techniques on the refinement of requirements, a formal refinement specification is necessary. In this paper we show the results of an exploratory industrial case study provided by Siemens, where we analyzed the refinement from system to subsystem requirements. We show that formal refinement specifications can become very complex, when interface refinement and requirement decompositions are performed in one step. In order to reduce complexity in the formal refinement specification, we introduce a formal restructuring approach for requirements. The main benefits of this restructuring approach are twofold. It enables reuse of requirements and knowledge preservation on the system level when the system architecture changes. Furthermore, quality assurance of the refinement on system level can now be performed independently from the system decomposition.","PeriodicalId":308776,"journal":{"name":"2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130758207","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}

引用次数: 4

SnapMind: A framework to support consistency and validation of model-based requirements in agile development SnapMind:一个框架，用于支持敏捷开发中基于模型的需求的一致性和验证

2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE) Pub Date : 2014-09-08 DOI: 10.1109/MoDRE.2014.6890825

Fernando Wanderley, António Silva, João Araújo, D. S. Silveira

{"title":"SnapMind: A framework to support consistency and validation of model-based requirements in agile development","authors":"Fernando Wanderley, António Silva, João Araújo, D. S. Silveira","doi":"10.1109/MoDRE.2014.6890825","DOIUrl":"https://doi.org/10.1109/MoDRE.2014.6890825","url":null,"abstract":"Two fundamental principles and values of agile methods are customer satisfaction by rapid delivery of useful software and the improvement of the communication process by continuous stakeholders' involvement. But, how to deal with customers' satisfaction and find a better visualization model at the requirements level (which stakeholders can understand and be involved) in an agile development context? Also, how this visualization model enhancement can guarantee consistency between agile requirements artefacts (e.g., user stories and domain models)? Thus, to answer these questions, this paper presents the SnapMind framework. This framework aims to make the requirements modelling process more user-centered, through the definition of a visual requirements language, based on mind maps, model-driven and domain specific language techniques. Moreover, through these techniques, the SnapMind framework focuses on support for consistency between user stories and the domain models using a model animation technique called snapshots. The framework was applied to an industrial case study to investigate its feasibility.","PeriodicalId":308776,"journal":{"name":"2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE)","volume":"147 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134496262","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}

引用次数: 17

Experimental evaluation of a tool for change impact prediction in requirements models: Design, results, and lessons learned 需求模型中用于变更影响预测的工具的实验性评估:设计、结果和经验教训

2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE) Pub Date : 2014-09-08 DOI: 10.1109/MoDRE.2014.6890826

Arda Goknil, R. V. Domburg, I. Kurtev, K. V. D. Berg, Fons Wijnhoven

{"title":"Experimental evaluation of a tool for change impact prediction in requirements models: Design, results, and lessons learned","authors":"Arda Goknil, R. V. Domburg, I. Kurtev, K. V. D. Berg, Fons Wijnhoven","doi":"10.1109/MoDRE.2014.6890826","DOIUrl":"https://doi.org/10.1109/MoDRE.2014.6890826","url":null,"abstract":"There are commercial tools like IBM Rational RequisitePro and DOORS that support semi-automatic change impact analysis for requirements. These tools capture the requirements relations and allow tracing the paths they form. In most of these tools, relation types do not say anything about the meaning of the relations except the direction. When a change is introduced to a requirement, the requirements engineer analyzes the impact of the change in related requirements. In case semantic information is missing to determine precisely how requirements are related to each other, the requirements engineer generally has to assume the worst case dependencies based on the available syntactic information only. We developed a tool that uses formal semantics of requirements relations to support change impact analysis and prediction in requirements models. The tool TRIC (Tool for Requirements Inferencing and Consistency checking) works on models that explicitly represent requirements and the relations among them with their formal semantics. In this paper we report on the evaluation of how TRIC improves the quality of change impact predictions. A quasi-experiment is systematically designed and executed to empirically validate the impact of TRIC. We conduct the quasi-experiment with 21 master's degree students predicting change impact for five change scenarios in a real software requirements specification. The participants are assigned with Microsoft Excel, IBM RequisitePro or TRIC to perform change impact prediction for the change scenarios. It is hypothesized that using TRIC would positively impact the quality of change impact predictions. Two formal hypotheses are developed. As a result of the experiment, we are not able to reject the null hypotheses, and thus we are not able to show experimentally the effectiveness of our tool. In the paper we discuss reasons for the failure to reject the null hypotheses in the experiment.","PeriodicalId":308776,"journal":{"name":"2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE)","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128865402","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}

引用次数: 5

Model Driven Requirements Engineering: Mapping the field and beyond 模型驱动的需求工程:映射领域和超越

2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE) Pub Date : 2014-08-25 DOI: 10.1109/MoDRE.2014.6890820

Saïd Assar

引用次数: 12

A DSL for importing models in a requirements management system 用于在需求管理系统中导入模型的DSL

2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE) Pub Date : 2014-08-01 DOI: 10.1109/MODRE.2014.6890824

Anisur Rahman, Daniel Amyot

{"title":"A DSL for importing models in a requirements management system","authors":"Anisur Rahman, Daniel Amyot","doi":"10.1109/MODRE.2014.6890824","DOIUrl":"https://doi.org/10.1109/MODRE.2014.6890824","url":null,"abstract":"Requirements are artefacts often described with text and models. It is important to manage traceability between requirements and other software artefacts, including designs and test cases, also often captured with specialized models. Some Requirements Management Systems (RMS) support traceability relationships, between (textual) requirements artefacts in the RMS and model artefacts created outside the RMS, through complex standards or proprietary solutions. This paper proposes a new Domain-Specific Language (DSL) for describing the concepts of a modeling language intended to be traced using an RMS, with tool support handling the import and re-import of models and of their traceability links. The Model Import DSL (MI-DSL) is supported by an Xtext-based editor and the automatic generation of an import library targeting a leading RMS, namely IBM Rational DOORS. The language and the tools are demonstrated for model import and evolution scenarios with two different modeling languages. This work contributes a simple yet reliable mechanism to define and support traceability between requirements and models from different tools.","PeriodicalId":308776,"journal":{"name":"2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE)","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129217990","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}

引用次数: 12