2015 IEEE International Model-Driven Requirements Engineering Workshop (MoDRE)最新文献

The synergies between goal sketching and enterprise architecture 目标草图和企业架构之间的协同作用

2015 IEEE International Model-Driven Requirements Engineering Workshop (MoDRE) Pub Date : 2015-12-03 DOI: 10.1109/MoDRE.2015.7343875

K. Boness, R. Harrison

引用次数: 5

Using i∗ model towards ontology integration and completeness checking in enterprise systems requirement hierarchy 利用i *模型进行企业系统需求层次中的本体集成和完整性检查

2015 IEEE International Model-Driven Requirements Engineering Workshop (MoDRE) Pub Date : 2015-12-03 DOI: 10.1109/MoDRE.2015.7343871

Novarun Deb, N. Chaki, A. Ghose

{"title":"Using i∗ model towards ontology integration and completeness checking in enterprise systems requirement hierarchy","authors":"Novarun Deb, N. Chaki, A. Ghose","doi":"10.1109/MoDRE.2015.7343871","DOIUrl":"https://doi.org/10.1109/MoDRE.2015.7343871","url":null,"abstract":"i* is a goal oriented requirements engineering tool that can model varied requirements for solutions being developed by an enterprise. Different stakeholders within an enterprise may use partial or even completely non-intersecting vocabulary sets. This would lead to developing multiple i* models having independent ontologies. Collectively, these i* models define a requirements refinement hierarchy where different tiers of the hierarchy capture different levels of detail. In order to integrate such a distributed ontology, we require an appropriate mapping or correlate definitions between different ontologies at multiple levels. This paper tries to identify different types of bridging correlations that allow an integration of multi-ontological i* refinement hierarchies. We use these correlations to demonstrate how relative completeness can be established between adjacent tiers of the hierarchy. Varying degrees of relative completeness have also been identified and their fulfillment criteria have been summarized as theorems. A University Admissions System has been used as a case study to illustrate heuristics for achieving greater relative completeness.","PeriodicalId":262008,"journal":{"name":"2015 IEEE International Model-Driven Requirements Engineering Workshop (MoDRE)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116909621","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}

引用次数: 7

Model-based systems engineering with requirements variability for embedded real-time systems 嵌入式实时系统需求可变性的基于模型的系统工程

2015 IEEE International Model-Driven Requirements Engineering Workshop (MoDRE) Pub Date : 2015-12-03 DOI: 10.1109/MoDRE.2015.7343874

Mole Li, Firat Batmaz, L. Guan, A. Grigg, Matthew Ingham, P. Bull

{"title":"Model-based systems engineering with requirements variability for embedded real-time systems","authors":"Mole Li, Firat Batmaz, L. Guan, A. Grigg, Matthew Ingham, P. Bull","doi":"10.1109/MoDRE.2015.7343874","DOIUrl":"https://doi.org/10.1109/MoDRE.2015.7343874","url":null,"abstract":"Product Line Engineering (PLE) offers the benefits of reducing costs and time to market by reusing requirements and components. Current PLE methods, however, mainly focus on the software aspects and are lacking in support for many system level concerns like physical and non-functional require-ments (Quality of Service attributes) that play an important role in the development of Embedded Real-Time Systems (RTS). This paper proposes a new method to support a combination of variability modelling (a key feature of PLE) and model-based requirement engineering (in SysML) for Embedded RTS. It provides four main contributions: 1. it extends the Orthogonal Variability Model (OVM) to support the separation of function-al, physical and non-functional variability; 2. it proposes a mechanism for the evolution of variability; 3. stakeholders' specifications for variable requirements are extended by the proposed approach; 4. it increases the consistency of system models by directly using SysML Activity Diagrams and Block Definition Diagrams as a base model for refining variability models for requirement representation. The proposed method is illustrated by an Aircraft Engine Control System case study.","PeriodicalId":262008,"journal":{"name":"2015 IEEE International Model-Driven Requirements Engineering Workshop (MoDRE)","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122142246","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}

引用次数: 11

Evaluation of reusable concern-oriented goal models 评估可重用的面向关注的目标模型

2015 IEEE International Model-Driven Requirements Engineering Workshop (MoDRE) Pub Date : 2015-12-03 DOI: 10.1109/MoDRE.2015.7343876

Mustafa Berk Duran, Aldo Navea Pina, G. Mussbacher

{"title":"Evaluation of reusable concern-oriented goal models","authors":"Mustafa Berk Duran, Aldo Navea Pina, G. Mussbacher","doi":"10.1109/MoDRE.2015.7343876","DOIUrl":"https://doi.org/10.1109/MoDRE.2015.7343876","url":null,"abstract":"A new unit of encapsulation called the concern is at the center of Concern-Orientation. Building on techniques for advanced Separation of Concerns, from Model-Driven Engineering, and from Software Product Lines, Concern-Orientation is a reuse paradigm that stipulates the use of three interfaces to enable broad, generic reuse: the variation, customization, and usage interfaces. Higher-level concerns reuse lower-level concerns, resulting in concern hierarchies where lower-level concern models are composed with higher-level concern models. As part of the variation interface, goal models are used to describe the impact of features of a concern on system qualities. Consequently, goal models of lower-level concerns must be combined with goal models of higher-level concerns to enable reasoning about system qualities in concern hierarchies. However, existing propagation-based reasoning mechanisms for goal models still assume a monolithic goal model, which is not appropriate for concern-oriented reuse. To address this issue, this paper presents novel modeling constructs to enable the reuse of lower-level goal models in the context of Concern-Orientation, extends existing propagation-based reasoning mechanisms of goal models for use in concern hierarchies, and reports on a proof-of-concept implementation of the novel modeling constructs and the extended reasoning mechanism.","PeriodicalId":262008,"journal":{"name":"2015 IEEE International Model-Driven Requirements Engineering Workshop (MoDRE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126113766","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}

引用次数: 11

Combining ontologies for requirements elicitation 结合需求引出的本体

2015 IEEE International Model-Driven Requirements Engineering Workshop (MoDRE) Pub Date : 2015-08-01 DOI: 10.1109/MoDRE.2015.7343873

Xiaobu Yuan, S. Tripathi

引用次数: 8

An ontology-based requirement modeling for interactive software customization 基于本体的交互式软件定制需求建模

2015 IEEE International Model-Driven Requirements Engineering Workshop (MoDRE) Pub Date : 2015-08-01 DOI: 10.1109/MoDRE.2015.7343872

Xiaobu Yuan, Xieshen Zhang

{"title":"An ontology-based requirement modeling for interactive software customization","authors":"Xiaobu Yuan, Xieshen Zhang","doi":"10.1109/MoDRE.2015.7343872","DOIUrl":"https://doi.org/10.1109/MoDRE.2015.7343872","url":null,"abstract":"The advancements in software product lines have initiated a shift of focus from the development of individual to lines of software products. Meanwhile, research in service ontology and service-oriented architecture is producing the much-needed technologies to link functional context of services with requirement features, and to automate the discovery and composition of services. This paper presents a novel approach of interactive requirements elicitation for the production of customized software systems. It first develops an ontology model to represent the knowledge of common and variable software assets, and then suggests a nine-step process to create instances of the ontology model as abstract requirement models for specific application domains. Moreover, an algorithm is developed to enable software clients to interactively “order” service-oriented software products by means of dialogue in natural language. In addition to technical details, this paper also includes a case study of an online book shopping system to demonstrate the operation of the proposed approach and to provide evidence of its usability.","PeriodicalId":262008,"journal":{"name":"2015 IEEE International Model-Driven Requirements Engineering Workshop (MoDRE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114394431","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}

引用次数: 11

Goal model driven alternative selection: a quantitative approach 目标模型驱动的选择:一种定量方法

2015 IEEE International Model-Driven Requirements Engineering Workshop (MoDRE) Pub Date : 2015-08-01 DOI: 10.1109/MoDRE.2015.7343877

Tianqi Zhao, Haiyan Zhao, Wei Zhang, Zhi Jin

{"title":"Goal model driven alternative selection: a quantitative approach","authors":"Tianqi Zhao, Haiyan Zhao, Wei Zhang, Zhi Jin","doi":"10.1109/MoDRE.2015.7343877","DOIUrl":"https://doi.org/10.1109/MoDRE.2015.7343877","url":null,"abstract":"Model driven engineering (MDE) techniques can be used in requirement engineering to derive an implementation out of system requirements, which could be extended to derive models in the solution space out of models in the problem space. Goal models are useful to deal with problem space modeling and support requirements analysis activities including alternative selection, a procedure that is performed to evaluate the feasibility and desirability of alternative strategies with respect to quality goals. The results of alternative requirements selection can be referred to derive the configuration of solution space models and accordingly the implementation of software, since requirements elements can be traced to architecture elements or architecture design issues. Most of the existing goal-oriented requirement engineering (GORE) frameworks conduct alternative selection based on qualitative goal models, which are too coarse-grained to differentiate alternatives. Several works offer quantitative analysis based on quantified goal models, but they did not provide guided methods to obtain the numbers in these models. In this paper, we extend general goal models by appending quantitative attributes and a modified AHP-based approach to the quantification of goal-related links. Based on this quantitative goal model, an algorithm is proposed to guide the procedure of goal violation detection and multi-criteria alternative selection. We have evaluated the proposed approach by comparing it with six related approaches, with the conclusion that our method makes improvements to support multi-criteria selection of requirements and design alternatives.","PeriodicalId":262008,"journal":{"name":"2015 IEEE International Model-Driven Requirements Engineering Workshop (MoDRE)","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127414336","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

Towards an incremental bidirectional partial model synchronization between organizational and functional requirements models 在组织需求模型和功能需求模型之间实现增量的双向部分模型同步

2015 IEEE International Model-Driven Requirements Engineering Workshop (MoDRE) Pub Date : 2015-08-01 DOI: 10.1109/MoDRE.2015.7343870

M. Abilov, T. Mahmoud, J. Gómez, Manuel Mora Tavarez

{"title":"Towards an incremental bidirectional partial model synchronization between organizational and functional requirements models","authors":"M. Abilov, T. Mahmoud, J. Gómez, Manuel Mora Tavarez","doi":"10.1109/MoDRE.2015.7343870","DOIUrl":"https://doi.org/10.1109/MoDRE.2015.7343870","url":null,"abstract":"Model-driven software development proposes model transformations as a key system design principle. However, devel-opment of model transformations can be considered as a complex task because of the semantic difference in involved models. In par-ticular, we are interested in the improvement of transformations between organizational and functional requirements models be-cause the current best approaches support only forward and semi-automatic derivation of the later from the former and do not ad-dress different workflow patterns, lack of traceability and tool support, besides not taking advantage of incremental and bidirec-tional approaches. Model synchronization techniques are pro-posed to address these challenges. In this paper, we present an analysis of the main model synchronization engines reported in the literature as well as their tool-support based on a defined set of problem-specific requirements. We present also an approach to achieve these requirements by defining a general mapping scheme and model synchronization rules to be used in the context of soft-ware development process. Initial results and further research steps on it are finally reported.","PeriodicalId":262008,"journal":{"name":"2015 IEEE International Model-Driven Requirements Engineering Workshop (MoDRE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128815025","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