Abstract:The transition from requirements expressed in Natural Language (NL) to a structured, precise specification is an important challenge in practice. It is particularly so for object-oriented methods, defined in the context of the OMG's Model Driven Architecture (MDA). However, its automation has received little attention, mostly because requirements are in practice expressed in NL and are much less structured than other kinds of development artifacts. Such an automated transformation would enable at least the generation of an initial, likely incomplete, analysis model and enable automated traceability from requirements to code, through various intermediate models. In this thesis, we propose a method and a tool, building on existing work, to automatically generate analysis models from requirements. Such models include class, sequence and activity diagrams to describe the structure and behavior of a system. It also includes automatically establishing traceability links between the requirements and the automatically generated analysis model. Requirements are assumed to be modeled with our use case modeling approach (RUCM), which we showed to have enough expressive power, to be easy to apply, to help improve the quality of manually derived analysis models. Seven (six) case studies were performed to compare class (sequence) diagrams generated by our tool to the ones created by experts, Masters students, and trained, 4th year undergraduate students. Our results show that our method performs well when compared to reference diagrams. Further, statistical test results show that our tool significantly outperforms 4 th year engineering students, thus demonstrating the value of automation. Performance analysis results show that the execution time of the tool remains within a range of a few minutes, thus suggesting the approach is scalable. Five case studies were performed to assess our approach's capability to generate activity diagrams. The results show that high quality activity diagrams can be generated and the analysis also shows that our approach outperforms existing academic approaches and commercial tools. We also conducted two industrial case studies, yielding results that demonstrate that RUCM is applicable in two different industrial domains and that aToucan-generated analysis models are largely correct and complete from the perspective of domain experts.

CiRA: A Tool for the Automatic Detection of Causal Relationships in Requirements Artifacts

Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning

Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning (Extended Version)

Causal Reasoning in Software Quality Assurance: A Systematic Review

Supporting Defect Causal Analysis in Practice with Cross-Company Data on Causes of Requirements Engineering Problems

Which Requirements Artifact Quality Defects are Automatically Detectable? A Case Study

CRAB: Assessing the Strength of Causal Relationships Between Real-world Events

rΣ: Automated reasoning tool for non-functional requirement goal models

Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems

Automated Smell Detection and Recommendation in Natural Language Requirements

ACRE: Abstract Causal REasoning Beyond Covariation

Relation Extraction for Inferring Access Control Rules from Natural Language Artifacts.

PyRCA: A Library for Metric-based Root Cause Analysis

CAIRS: A causal artificial intelligence recommendation system for digital mental health

CASA: Causality-driven Argument Sufficiency Assessment

Methods and tools for causal discovery and causal inference

Eliciting Relations from Natural Language Requirements Documents Based on Linguistic and Statistical Analysis.

Anwendung von Causal-Discovery-Algorithmen zur Root-Cause-Analyse in der Fahrzeugmontage

Applying Bayesian Data Analysis for Causal Inference about Requirements Quality: A Controlled Experiment

CausalRCA: Causal Inference based Precise Fine-grained Root Cause Localization for Microservice Applications

Automatically Deriving a Uml Analysis Model from a Use Case Model