Abstract:Time-related properties are a critical type of extra-functional requirements for designing real-time systems. Modeling and validating time-related properties at the requirements specification and analysis phases is important for the successful development of real-time systems in terms of cost, quality and productivity. In the literature and practice, timing analyses (e.g., Worst Case Execution Time) are often performed to ensure that the design of a real-time system fully conforms to its time-related constraints. However, such analyses are mostly performed at the design and implementation stages, but not at the requirements level. This paper presents a restricted, natural language based, use case modeling methodology (named as RUCM4RT) to specify functional requirements of real-time systems as use case models, along with associated time-related constraints. RUCM4RT was proposed based on the UML profile for Modeling and Analysis of Real-Time and Embedded Systems (MARTE). In addition, in this paper, we also propose a metamodel-based formalization mechanism named as UCMeta4RT to automatically formalize use case models. We have conducted two real-world case studies to evaluate our solution and 40 use cases were modeled, among which 27 real-time use cases, 118 time-related constraints and 47 other extra-functional (also commonly called non-functional) constraints were specified. Results show that RUCM4RT was able to handle all the real-time related elements (e.g., time-related constraints) of the use case models.

Combined goal and feature model reasoning with the User Requirements Notation and jUCMNav

The Development Framework for Scenario-based Goal Modeling

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

A Practical Use Case Modeling Approach to Specify Crosscutting Concerns.

Integrating Non-functional Requirement Modeling into Model Driven Development Method

An exploratory study of the general requirement representation model for product configuration in mass customization mode

A Knowledge Engineering Approach to UML Modeling (S).

Collaborative Virtual Environment for Feature Based Modeling

From Requirements to Architectural Design -Using Goals and Scenarios

Designing Information Systems in Social Context: a Goal and Scenario Modelling Approach.

Fusing Multi-Abstraction Vector Space Models for Concern Localization

Study of Integrated Product Modeling in Cooperative Development Environment

Integrating UML With Service Refinement for Requirements Modeling and Analysis

A Practical Use Case Modeling Approach to Specify Crosscutting Concerns: Industrial Applications

An Automatic Reasoning Mechanism for NFR Goal Models

A Use Case Modeling Approach to Facilitate the Transition Towards Analysis Models: Concepts and Empirical Evaluation

Safety Requirements Modeling Based on Rucm

Multi-Granularity Modeling of virtual prototyping in collaborative product design

Leveraging SPARQL Queries for UML Consistency Checking

A Restricted Natural Language Based Use Case Modeling Methodology for Real-Time Systems

Multi-Object Reasoning with Constrained Goal Models