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.

Prerequests

Download RM2PT and Install

Download and extract it into any directory

Note that macOS Sierra only allow run application downloaded from AppStore, you have two options to fix this:

  1. Disable Gatekeeper for RM2PT
    sudo xattr -rd com.apple.quarantine RM2PT.app
    
  2. Disable Gatekeeper in Goble
    sudo spctl --master-disable
    

Import Case Studies

Right click of Project Explorer, choose Project from Git, then import four case studies of Github Repo, that includes

Requirements Modeling

Open to project net.mydreamy.casestudies.atm.autogui, Requirement model is under in directory requirementmodel:

Double click atm.arid to open use case diagram by default, other diagram in atm.arid / Represteantions per category / RequriementModel

Prototype Generation

Right click on atm.remodel, use RMCode -> Generate Object-oriend Prototype, the code of prototpye will generated under the folder of src-gen.

Requirements Validation

More Tutorials