The NEPTUNE package is made up of:
- A checker that can check UML models from its XMI representation,
- A document generator, that can generate specific documentation - as a validation plan - from an XMI UML model,
- An MMI, an UML API and a XMI parser used by the Document Generator and the Checker
- A set of rules written in OCL, to check the UML model (see specific result form),
- A set of transformation rules written in XSL and the associated shapes (document templates) written in XML, to generate the documentation (see specific result form),
- A book dedicated to the industrial public, working on UML, and wishing to find a full methodology based upon UML (see specific result form).
This tool is available on the NEPTUNE web site in its trial version.