SRAD - A General Purpose Language for Modeling Software Requirements and Architectures

SRAD is a general purpose software modeling languages for the specifications of software requirements and software architectures. SRAD supports multiple-viewpoint for the software architecture modeling, which are the logical, behaviour, and deployment viewpoints. SRAD is also supported with a toolset that can (i) check the traceability between the requirements and architecture models, (ii) produce formal model in ProMeLa for the SPIN-based formal verification, (iii) produce formal model in Java Modeling Language that is the combination of the Java program with the contractual specifications. MVAL's toolset has been developed using the Metaedit+ language development platform.

SRAD's toolset can be reached from this link. Note that the link will lead you to the Metaedit+ project folder. So to access to the SRAD's toolset, you need to download the Metaedit+ application first and then locate the MVAL project folder within your Metaedit+ directory. The SRAD language has been illustrated using the well-known Gas Station system and Aegis Combat System and the software models for gas station and aegis can be found in the SRAD's project in Metaedit+.