PLVGen is a framework for Pattern Language Verifier (PLV) Generation. Given a PL and its patterns which are specified using the Pattern Language Specification Language (PLSL) and Pattern Specification Language (PSL), respectively, this framework is able to automatically generate an Epsilon Validation Language (EVL) module which plays the role of a Pattern Language Verifier (PLV) for the PL. To clarify the application of PLVGen in practice, three PLVs have been generated automatically by PLVGen up to now, i.e., Broker PLV, Patterns of Enterprise Application Architecture (PofEAA), and a security PLV.

You can download this tool from here.

See Technical Report of this tool here.

Leave a Reply

Your email address will not be published. Required fields are marked *