Requirements Modeling and Automatic Prototyping

Automatic Prototyping for Requirements Validation

Introduction

RM2PT is a CASE tool for automatically prototype generation from a requirements model in UML diagrams complemented by formal contracts of system operations. Compared with other tools, our approach does not require design models but rely on a requirements model, which contains:

The evaluation result from four case studies shows that our approach can correctly generate 93.65% code from requirements models, the remaining non-executable 6.35% requirements can be recognized and wrapped as an interface, which can be manually implemented or matched with third-party APIs libraries.

loading RM2PT

Support

If you find any issue when you use RM2PT, please feel free to contact us: yilongyang@buaa.edu.cn.