Prova 3.1.0 is packaged as an OSGi bundle that can expose a Prova service and necessary domain classes accessible from other bundles in an OSGi container. We use META-INF/MANIFEST.MF reproduced below for declaring the bundle dependencies and declaring packages and services useful for other bundles.
As we can see, the number of dependencies that Prova relies on is very small. We also use Spring DM context configurations in META-INF/spring to make ProvaService available to other bundles as a service. When an OSGi target platform starts, it exposes the ProvaService as an OSGi service without us having to have any dependency or coupling in the project itself on OSGi or Spring.
You can download the platform from: http://www.prova.ws/downloads/platform.zip. Unzip it to a directory and from Eclipse go to Window/Preferences/Plug-in development/Target platform and create and choose a new target platform using the directory you expanded the platform bundles into.
Check out the Prova Eclpse project from https://mandarax.svn.sourceforge.net/svnroot/mandarax/prova3/prova-compact/trunk and run mvn clean install -DskipTests from command line. Refresh the project in Eclipse.
You can run the Prova bundle in an OSGi container by first creating a new run configuration by going to Run/Run configurations.../OSGi Framework including the Prova bundle from the Prova project in addition to all the bundles included in the imported platform. Running this configuration will output something like this to the console:
This confirms that the Prova bundle has started successfully.