Analysis

• initial plug-in decomposition
  • integrate the essential existing code with the JPF library.
  • follow the dev_doc diagrams
• audit the decomposition every iteration
• if needed provide tools to get reports (draw diagrams, etc)

Overview

Decomposition to plug-ins of Sophie 2 is one of the most important things to do for the project. There should be base modules and integration of the existing code with JPF library. Keep in mind that modules and plug-ins are the same thing in this case.

Task requirements

• think about initial plug-in decomposition
  • decompose to base modules and in which each class goes
  • integrate the essential existing code with the JPF library
  • follow the dev_doc diagrams

Task result

Integrated code with JPF library, base plug-ins created - new project structure.

Implementation idea

• use the work breakdown structure to decompose the modules
• see how JPF can run and be integrated with Maven
  • new run configuration
  • Maven JPF Plugin

How to demo

Show the project with the new plug-ins which runs using JPF library.