Skip to content

Problem Frames tool support initially developed at The Open University

License

Notifications You must be signed in to change notification settings

problem-frames/openpf

Repository files navigation

 = An Open Requirements Engineering Tool =

 == User's manual == 
 * ON reasoning
   * To use the decreasoner (a platform-specific 3rd party tool), you need to copy every precompiled
     file under the project subfolder "Examples/Events/binary/<platform>/*" to "Examples/events/"
   * To initially enable the decreasoner reasoning for argumentation, define the system
     property openpf.argument.reasoning, using one of the following ways:
     * MacOSX:
       open Eclipse.app --args -vmargs -Dopenpf.argument.reasoning
     * Linux/Windows
       eclipse -vmargs -Dopenpf.argument.reasoning
     * And alternatively use the following line in the config.ini:
       echo openpf.argument.reasoning= >> configuration/config.ini
     * Similarly, to monitor the files the physical Examples folders (for Miki),
       define the system property "openpf.monitor"
   * If you haven't initialise the property, then at the runtime, the reasoning feature
     can be enabled in the Windows > Preferences (windows/linux), or Eclipse > Preferences (mac).
     Under the "Argument / Reasoning" preference categorty, you can toggle the feature.

 == Developer's Manual ==

 * To develop OpenPF/OpenOME inside the Eclipse IDE, you need the following steps:
  * checkout the code for openpf:
    git svn clone -r HEAD https://computing-research.open.ac.uk/repos/openpf/trunk openpf
If you are behind a proxy server, you need to change the configuration file 
$HOME/.subversion/servers, for example:
[global]
http-proxy-host = wwwcache.open.ac.uk
http-proxy-port = 80
    * For the latest code of openome, see Appendix A.

  * Install the Eclipse IDE.  
To simplify the development, we currently use the script "IDE/pf-3.6.sh" to install all necessary dependent products. Alternative step please see Appendix B.

  * Run Eclipse
    ./pf.sh (if you already installed the minimal set of plugins for the openpf
development by following the above installation script; 
or
    ./develop (if you want to use the SDK preinstalled under $HOME/SDK/3.6pf 
		folder). 

    * The following menu/dialog options are used to develop for the first time:
      * import the projects from the workspace
      File > Import ... >  General > Existing Projects into the workspace > Next > Browse > OK > Finish
      * change the compiler settings for the restricted API usages
      Window > Preferences > Java > Compiler > Errors/Warnings > Deprecated and restricted API > Forbidden references (access rules) > Error => Warning > OK > Yes

  * Run the product:
    Project Explorer > problem > Double click at the pf.product file > Testing > Launch an Eclipse Application

 == Maintainer's Manual ==

  * Run the headless script to build locally:
    cd build.x86_64   (or cd build.macosx)
    build.sh 

  * It is now continously integrated on the sead1 server: any commit to subversion repository trunk/workspace will trigger a rebuilt of the binaries.

Enjoy Problem Solving,

Yijun Yu

Appendix A. Checkout OpenOME

  * Currently we are using one version of openome. You can checkout its latest
development from:
    git svn clone -r HEAD https://se.cs.toronto.edu/svn/trac/ome/trunk/workspace ../openome-workspace
	* Note for the checkout access, please ask Jennifer Horkoff <mailto:[email protected]> at the
	  University of Toronto to get the permission

Appendix B. Full Installation of dependencies

Here are a list of update sites that are necessary if you want to prepare the
IDE yourself:

 * Suppose you have installed the Modeling Tools, e.g., 
eclipse-modeling-helios-incubation-linux-gtk.tar.gz

 * Then you still need to do the following:
    * Select the following features from Help > Install Modeling component
	        Acceleo
	        Xtext
	        GMF
    * Install the epsilon/emfatic tools
	        http://www.scharf.gr/eclipse/emfatic/update/
	        http://download.eclipse.org/modeling/gmt/epsilon/updates/
    * Install Viatra2 tools
	        http://viatra.inf.mit.bme.hu/update/R3.1
    * Install the SWTBot testing tools
	        http://download.eclipse.org/technology/swtbot/helios/dev-build/update-site
    * Install LittleJil plugins:
	        http://laser.cs.umass.edu/eclipse/visualjil/
	        http://laser.cs.umass.edu/eclipse/ljanalysis
	        http://laser.cs.umass.edu/documentation/propelinstall/
        which has a dependency on WST
                http://download.eclipse.org/webtools/downloads/drops/R3.2.2/R-3.2.2-20100915173744
 * Alternatively, all these dependent plugins can be found at:
   http://sead1.open.ac.uk/pf/development-kit/eclipse-SDK-more-required-products.zip
   But you have to use the "IDE/pf-3.6.sh" to install it properly, unpack them
to the dropsin folder won't work.

About

Problem Frames tool support initially developed at The Open University

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published