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

MVAL is a general purpose software modeling languages for the specifications of software requirements and software architectures. MVAL supports multiple-viewpoint for the software architecture modeling, which are the logical, behaviour, and deployment viewpoints. MVAL 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.

MVAL'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 MVAL's toolset, you need to download the Metaedit+ application first and then locate the MVAL project folder within your Metaedit+ directory.