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.

CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools

Pcanel: a model driven component framework

Building Modeling Tools Based on Metamodeling and Product Line Technologies

Synthesis of Component and Connector Models from Crosscutting Structural Views

Orchestrating Tool Chains for Model-based Systems Engineering with RCE

A knowledge-driven framework for synthesizing designs from modular components

A Method for Simplification of Complex Group Causal Loop Diagrams Based on Endogenisation, Encapsulation and Order-Oriented Reduction

An Integrated Development Environment for Planning Domain Modeling

MontiCore: a Framework for Compositional Development of Domain Specific Languages

A Scenario-based Modeling Method for Crossover Services

MOF compliant fundamentals for multi-domain system modeling and simulation

Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond

A model framework-based domain-specific composable modeling method for combat system effectiveness simulation

Language-Driven Engineering An Interdisciplinary Software Development Paradigm

Design of an Icon-based Modelling Environment Prototype for Coupling Geoscience Models

Atoucan

Generating Domain-Specific Transformation Languages for Component & Connector Architecture Descriptions

Tool interoperability for model-based systems engineering

Low-Modeling of Software Systems

Modeling with Gentleman: a web-based projectional editor

A Chisel Framework for Flexible Design Space Exploration through a Functional Approach