Abstract:The transition from an informal requirements specification in natural language 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), where a key step is to transition from a use case model to an analysis model. However, providing automated support for this transition is challenging, mostly because, in practice, requirements are expressed in natural language 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 article, we propose a method and a tool called aToucan, building on existing work, to automatically generate a UML analysis model comprising class, sequence and activity diagrams from a use case model and to automatically establish traceability links between model elements of the use case model and the generated analysis model. Note that our goal is to save effort through automated support, not to replace human abstraction and decision making. Seven (six) case studies were performed to compare class (sequence) diagrams generated by aToucan to the ones created by experts, Masters students, and trained, fourth-year undergraduate students. Results show that aToucan performs well regarding consistency (e.g., 88% class diagram consistency) and completeness (e.g., 80% class completeness) when comparing generated class diagrams with reference class diagrams created by experts and Masters students. Similarly, sequence diagrams automatically generated by aToucan are highly consistent with the ones devised by experts and are also rather complete, for instance, 91% and 97% message consistency and completeness, respectively. Further, statistical tests show that aToucan significantly outperforms fourth-year engineering students in this respect, thus demonstrating the value of automation. We also conducted two industrial case studies demonstrating the applicability of aToucan in two different industrial domains. Results showed that the vast majority of model elements generated by aToucan are correct and that therefore, in practice, such models would be good initial models to refine and augment so as to converge towards to correct and complete analysis models. A performance analysis shows that the execution time of aToucan (when generating class and sequence diagrams) is dependent on the number of simple sentences contained in the use case model and remains within a range of a few minutes. Five different software system descriptions (18 use cases altogether) were performed to evaluate the generation of activity diagrams. Results show that aToucan can generate 100% complete and correct control flow information of activity diagrams and on average 85% data flAow information completeness. Moreover, we show that aToucan outperforms three commercial tools in terms of activity diagram generation.

Umple: Model-driven development for open source and education

Object-Oriented Software Design Based on UML

From Design to Code: an Educational Approach

Linking Design Model with Code.

Development of Software Modeling Tools Based on UML

A high-level modeling language for the efficient design, implementation, and testing of Android applications

UML Transformation to Java-based Software Product Lines

A web based UML modeling tool with touch screens.

Educational modelling language: modelling reusable, interoperable, rich and personalised units of learning

Object-oriented Methodology Meets MDA Software Paradigm

AMULET: a Mutation Language Enabling Automatic Enrichment of SysML Models

An Evolutionary Development Model Supporting Executable Specification

Language-Driven Engineering An Interdisciplinary Software Development Paradigm

A Brief Overview of the UML Scientific Profile

From Code to Design: A Reverse Engineering Approach

A Metamodel Approach to Software Process Modeling Based on UML Extension.

UML Profile for Mining Process: Supporting Modeling and Simulation Based on Metamodels of Activity Diagram

ML-Quadrat & DriotData: A Model-Driven Engineering Tool and a Low-Code Platform for Smart IoT Services

A Mda Based Approach For Multi-Platform Mobile Application Development

Atoucan

A Knowledge Engineering Approach to UML Modeling (S).