Visual Contract Extractor

Dynamic Analysis Tool for Reverse Engineering Visual Contracts from Java Applications

Overview

Visual contracts model the operations of classes, components or services by pre- and post-conditions formalised as graph transformation rules. They provide a precise but intuitive notation to test, document and analyse software systems.

We developed the Visual Contract Extractor (VCE), a dynamic analysis tool which supports the reverse engineering of visual operation contracts from Java programs, for more details, click here to take a look at our Prezi presentation.

VCE has three main components:

• Extraction of contract instances
• Inference of rule features
• Exporting generalised rules to Henshin tool

Requirements and Dependencies

_to be written .. _

Installation and Instructions for use

_to be written .. _

Contact

If you would like to contribute here or if you're just feeling social, feel free to email us:

• Prof. Dr. Reiko Heckel (Email: firstname at mcs le ac uk)
• Prof. Dr. Timo Kehrer (Email: timo.kehrer (at) informatik.hu-berlin.de)
• Dr. Abdullah Alshanqiti (Email: a.m.alshanqiti at gmail com)

More to come soon!