Abstract:In the contemporary age of cyber-physical systems (CPS), where software governs the control, coordination, and management of physical objects to tackle real-world problems, engineering requirements for such systems present considerable challenges. Consequently, it is not surprising that the requirements engineering (RE) community, encompassing both academia and industry, has turned to established RE methodologies and applied them within the context of CPS; notably, Jackson's Problem Frames (PF) approach deploys problem diagrams for modeling CPS. However, problem diagrams of realistic CPS often present visual and conceptual complexities, which must be addressed before PF can be usefully applied in practice. In this paper, the above problem is addressed in two steps: firstly, preliminary findings are presented by deriving from the application of eye-tracking software in the assessment of a technique designed to mitigate the visual complexity inherent in the CARE (Computer-Aided Requirements Engineering) tool developed for PF. An auto-layout technique is developed for detecting and resolving overlaps, aimed at enhancing its usability from the perspectives of cognition, psychology, and user studies; secondly, the technique of a complexity matrix is applied for calculating and evaluating the conceptual complexity inherent in problem diagrams. Our eye-tracking results show the successful implementation of overlap detection and resolution. The case studies in the second step also demonstrate the applicability and effectiveness of the complexity matrix calculations.

Extending the Problem Frames Approach for Capturing Non-functional Requirements

Deriving Problem Frames from Business Process and Object Analysis Models

Problem Frames Construction From Feature Models

A Formalism for Extending the NFR Framework to Support the Composition of the Goal Trees

An Ontology Of Problem Frames For Guiding Problem Frame Specification

A QoS Ontology Cooperated with Feature Models for Non-Functional Requirements Elicitation.

An Approach to Integrating Non-functional Requirements into UML Design Models Based on NFR-Specific Patterns

An Ontology-Guided Process for Developing Problem Frame Specification - an Example.

An Approach for Selecting Implementation Strategies of Non-Functional Requirements

Modelling Requirements Patterns with a Goal and PF Integrated Analysis Approach

Performing Projection in Problem Frames Using Scenarios.

Integrating Goals and Problem Frames in Requirements Analysis

Quantitative and Qualitative Support for Non-Functional Requirements in Stock Trading Systems

Towards Automatic Problem Decomposition

Requirements Analyses Integrating Goals and Problem Analysis Techniques

Integrating Non-functional Requirement Modeling into Model Driven Development Method

Characterizing the Implementation of Software Non-functional Requirements from Probabilistic Perspective

Tackling visual and conceptual complexity of problem-oriented modeling of requirements

Non-functional Requirements As Qualities, with a Spice of Ontology.

An Automatic Reasoning Mechanism for NFR Goal Models

TimePF: A Tool for Modeling and Verifying Timing Requirements Based on Problem Frames.