User requirements modeling and analysis of software-intensive systems

2011 ◽  
Vol 84 (2) ◽  
pp. 328-339 ◽  
Author(s):  
Michel dos Santos Soares ◽  
Jos Vrancken ◽  
Alexander Verbraeck
2020 ◽  
Vol 26 (6) ◽  
pp. 1401-1424
Author(s):  
Ayesha Afzal ◽  
Basit Shafiq ◽  
Shafay Shamail ◽  
Nabil Adam

PurposeThis paper reviews existing business process (BP) modeling languages that are widely used in the industry as well as recent research work on modeling and analysis of BPs in the service-oriented environment and Internetware-based software paradigm. BPs in such environment are different from traditional BPs due to loose coupling of partner services, dynamic and on-the-fly selection of partners and run-time process adaptability. The unique characteristics of these BPs require formal modeling of the requirements and constraints in each phase of their life cycle, including design phase, implementation and deployment phase and execution phase.Design/methodology/approachThe paper first provides a categorization of typical user requirements in each phase of the BP life cycle. Then a detailed comparison of the selected languages with respect to their requirement modeling and analysis capabilities in each of the identified categories is provided. The paper also discusses new requirements engineering research challenges arising from future software needs and emerging trends in software engineering in the context of Web-services-based BPs and Internetware.FindingsThere is a need to have a framework that provides support for user requirements modeling and analysis for all the phases of BP life cycle in an integrated manner. Such a framework would be useful not only in resolving the inconsistencies between requirements across phases but also in addressing the issues related to BP evolution due to changes in user requirements over time. Moreover, with the Internet of things (IoT) adoption in BPM, there is a need to have an integrated environment that provides support for capturing the resilience requirements of enterprise BPs as well as the mobility constraints of the underlying IoT devices.Originality/valueThis paper reviews existing BP modeling languages and frameworks and discusses the new requirements engineering research challenges arising from future software needs and the emerging trends in BP management in the service-oriented environment and Internetware-based software paradigm.


2019 ◽  
Vol 13 (3) ◽  
pp. 2201-2212
Author(s):  
Cristiane Aparecida Lana ◽  
Milena Guessi ◽  
Pablo Oliveira Antonino ◽  
Dieter Rombach ◽  
Elisa Yumi Nakagawa

2020 ◽  
Vol 17 (3) ◽  
pp. 20-38
Author(s):  
Zhengli Liu ◽  
Bing Li ◽  
Jian Wang ◽  
Yu Qiao

In recent years, crossover services have attracted wide attention as an emerging service mode in the modern service industry. Crossover services can offer values that cannot be provided by single-domain services, and they usually need to cross the boundaries of domains, organizations, and processes, which puts forward more challenges for requirements modeling and analysis under the crossover scenarios. Given the characteristics of crossover services, the authors propose a value-driven meta-model framework from multiple viewpoints to support the requirements analysis of crossover services, which consists of three parts: a value network, a goal network, and a service network. Based on the proposed meta-model framework, a value-driven crossover service modeling tool is developed to help requirements analysts in requirements analysis and design, and a case study is presented to illustrate the usage of the proposed approach. Finally, we evaluate our methods and tools using a controlled experiment, and the experimental results show the effectiveness of the approach.


IEEE Access ◽  
2019 ◽  
Vol 7 ◽  
pp. 11599-11612 ◽  
Author(s):  
Yilong Yang ◽  
Wei Ke ◽  
Jing Yang ◽  
Xiaoshan Li

Author(s):  
Chih-Hung Chang ◽  
Chih-Wei Lu ◽  
William Cheng-Chung Chu ◽  
Pao-Ann. Hsiung ◽  
Dong-Meau Chang

Among the various steps in the life cycle of software development, system requirement management is an essential but often neglected step. Comprehensive requirement management can not only help developers to work on a system to meet the requirements of a project, but can also play a vital role in the communications among stakeholders. In general, natural languages are often used to describe and record user requirements; however, this results in ambiguity, inconsistency, imprecision and incompleteness. To increase the accuracy of requirement modeling and analysis, it is important to have appropriate management methods and tools such that the requirement engineering process can be supported within the project. In this work, we propose a System Modeling Language (SysML)-based requirement management methodology to assist in the collection and the modeling of user requirements. We also provide a convenient procedure and a prototype tool to model, analyze, validate and verify the recorded system requirements, and consequently to ensure that the system can satisfy users’ requirements.


Sign in / Sign up

Export Citation Format

Share Document