An Improved User Requirements Notation (URN) Models’ Construction Approach

Author:

Dongmo Cyrille1ORCID,Van der Poll John Andrew2ORCID

Affiliation:

1. Department of Computer Science, School of Computing, College of Science, Engineering and Technology (CSET), Science Campus, University of South Africa (Unisa), Johannesburg 1709, South Africa

2. Digital Transformation and Innovation, Graduate School of Business Leadership (SBL), Midrand Campus, University of South Africa (Unisa), Midrand 1686, South Africa

Abstract

Semi-formal software techniques have been very successful in industry, government institutions and other areas such as academia. Arguably, they owe a large part of their success to their graphical notation, which is more human-oriented than their counterpart text-based and formal notation techniques. However, ensuring the consistency between two or more models is one of the known challenges of these techniques. This work looks closely at the specific case of the User Requirements Notation (URN) technique. Although the abstract model of URN provides for link elements to ensure the consistency between its two main components, namely, Goal-Oriented Requirement Language (GRL) and Use Case Maps (UCM), the effective implementation of such links is yet to be fully addressed. This paper performs a detailed analysis of the existing URN models construction process and proposes an improved process with some guidelines to ensure, by construction, the correctness and consistency of the GRL and UCM models. A case study is used throughout the paper to illustrate the suggested solution.

Funder

University of South Africa

Unisa research professor fund

Publisher

MDPI AG

Subject

Information Systems and Management,Computer Networks and Communications,Modeling and Simulation,Control and Systems Engineering,Software

Reference41 articles.

1. Can non-developers learn a simplified modeling notation quickly?;J. Softw. Evol. Process.,2022

2. Scratch-Based User-Friendly Requirements Definition for Formal Verification of Control Systems;Grobelna;Inform. Educ.,2020

3. Analysis of notations for modeling user interaction scenarios in ubiquitous collaborative systems;Ochoa;J. Ambient. Intell. Humaniz. Comput.,2022

4. van der Poll, J.A., Kotzé, P., Ahmed, S., Thiruvengadam, P., and Asmaa, A. (2003, January 17–19). Combining UCMs and Formal Methods for Representing and Checking the Validity of Scenarios as User Requirements. Proceedings of the SAICSIT’03: Proceedings of the 2003 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology, Johannesburg, South Africa.

5. Qaisar, A.M., Dragos, T., and Johan, L. (2010, January 22–26). Using UML Models and Formal Verification in Model-Based Testing. Proceedings of the 2010 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, Oxford, UK.

Cited by 1 articles. 订阅此论文施引文献 订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献

同舟云学术

1.学者识别学者识别

2.学术分析学术分析

3.人才评估人才评估

"同舟云学术"是以全球学者为主线,采集、加工和组织学术论文而形成的新型学术文献查询和分析系统,可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容,当前同舟云学术共收录了国内外主流学术期刊6万余种,收集的期刊论文及会议论文总量共计约1.5亿篇,并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询!咨询电话:010-8811{复制后删除}0370

www.globalauthorid.com

TOP

Copyright © 2019-2024 北京同舟云网络信息技术有限公司
京公网安备11010802033243号  京ICP备18003416号-3