Introduction

RM2PT is a CASE tool for automatically prototype generation from an OO 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:

• A use case diagram
• System sequence diagrams
• Contracts of system operations
• A conceptual class diagram

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.

Support

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