Repositories definition

You can easily define your own repositories by putting the desired files and a simple xml in public urls (not necessarily the same one for xml file and your files).

Apps

The process to have a repository with .xls MeCoSim apps is the following:

  1. Putting our xls files in a public URL.

  2. Writing a simple apps.xml file with a line per app and putting it also in a public URL (for instance, http://www.p-lingua.org/mecosim/jnlp/apps/, including the last / bar). The contents would be Something like this:

    <apps>
        <app name="Tricolor Simple Kernel (Promela)" config="TricolorConfigFilePromela.xls" path="https://www.gcn.us.es/redmine/dmsf/files/7967/download"/>
        <app name="Subset Sum Simple Kernel" config="SubsetConfigFile.xls" path="http://www.gcn.us.es/redmine/dmsf/files/2957/download"/>
    </apps>
    

This repository is ready to be added by any user to MeCoSim, in order to have access to its elements and internally installing them:

../_images/AddingAppsRepository.png

The process is the same for models and scenarios, as described below. And only a bit more complex for plugins only because each plugin needs jar and properties files.

Models

The process to have a repository with .pli models is the following:

  1. Putting our pli files in a public URL.

  2. Writing a simple models.xml file with a line per model and putting it also in a public URL (for instance, http://www.p-lingua.org/mecosim/jnlp/models/, including the last / bar). The contents would be Something like this:

    <models>
      <model name="Vertex Cover Simple Kernel" pli="vertex_cover.pli" path="http://www.gcn.us.es/redmine/dmsf/files/2960/download"/>
      <model name="Broadcasting Simple Kernel" pli="broadcasting.pli" path="http://www.gcn.us.es/redmine/dmsf/files/2965/download"/>
    </models>
    

This repository is ready to be added by any user to MeCoSim, in order to have access to its elements and internally installing them.

Scenarios

The process to have a repository with .ec2 scenario files is the following:

  1. Putting our ec2 files in a public URL.

  2. Writing a simple scenarios.xml file with a line per scenario and putting it also in a public URL (for instance, http://www.p-lingua.org/mecosim/jnlp/scenarios/, including the last / bar). The contents would be Something like this:

    <scenarios>
      <scenario name="Partition Simple Kernel Extended" data="partition8_v04.ec2" path="https://www.gcn.us.es/redmine/dmsf/files/7973/download"/>
      <scenario name="Tricolor - Petersen n=10" data="3color_Petersen_n10.ec2" path="http://www.gcn.us.es/redmine/dmsf/files/3102/download"/>
    </scenarios>
    

This repository is ready to be added by any user to MeCoSim, in order to have access to its elements and internally installing them.

Plugins

This document explains how to add our own repositories of plugins. It is supposed you know something about MeCoSim plugins, their formats and accosiated properties files. Otherwise, you have further information here:

Given we have developed some MeCoSim plugins (jar files with their associated default properties files) that we want to make available to any person who could be interested in them, we can have a public MeCoSim repository simply by:

  1. Putting our jar files in a public URL, along with our default properties files (each one with the same name as its corresponding plugin, but with -properties instead of .jar).

  2. Writing a simple plugins.xml file and putting it also in a public URL (for instance, http://www.p-lingua.org/mecosim/jnlp/plugins/, including the last / bar). The contents would be Something like this:

    <plugins>
      <plugin name="MeCoSimBasicsPlugin" file="MeCoSimBasicsPlugin.jar" path="http://www.p-lingua.org/mecosim/jnlp/plugins/MeCoSimBasicsPlugin.jar"/>
      <plugin name="ProcessesPlugin" file="ProcessesPlugin.jar" path="http://www.p-lingua.org/mecosim/jnlp/plugins/ProcessesPlugin.jar"/>
      <plugin name="GraphsPlugin" file="GraphsPlugin.jar" path="http://www.p-lingua.org/mecosim/jnlp/plugins/GraphsPlugin.jar"/>
      <plugin name="PromelaPlugin" file="PromelaPlugin.jar" path="http://www.p-lingua.org/mecosim/jnlp/plugins/PromelaPlugin.jar"/>
      <plugin name="DaikonPlugin" file="DaikonPlugin.jar" path="http://www.p-lingua.org/mecosim/jnlp/plugins/DaikonPlugin.jar"/>
      <plugin name="LanguagesIntegrationPlugin" file="LanguagesIntegrationPlugin.jar" path="http://www.p-lingua.org/mecosim/jnlp/plugins/LanguagesIntegrationPlugin.jar"/>
      <plugin name="SATPlugin" file="SATPlugin.jar" path="http://www.p-lingua.org/mecosim/jnlp/plugins/SATPlugin.jar"/>
    </plugins>
    

This repository is ready to be added by any user to MeCoSim, in order to have access to its elements and internally installing them.


If you are interested in adding repositories and you have any doubt or you would like to publish the repository in MeCoSim site you can contact us as lvalencia at us.es.