MOISE
/
Pattern-Instanciation-On-System-Engineering-Model
mirror of http://172.16.200.102/MOISE/Pattern-Instanciation-On-System-Engineering-Model.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
This project is a demonstrator of pattern instanciation on system engineering model (pseim), made by the MOISE project. It contains the metamodel of the pseim, graphical and textual editors, formal verification models (event-B) and examples.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
12 Commits
1 Branch
0 Tags
3.4 MiB
 
 
 
Branch: master
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Pattern-Instanciation-On-Sy.../eclipse/releng/eclipse.configuration/pseim_eclipse_install.p2f

324 lines
20 KiB
Raw Permalink Blame History Escape

<?xml version='1.0' encoding='UTF-8'?>
<?p2f version='1.0.0'?>
<p2f version='1.0.0'>
<ius size='55'>
<iu id='org.eclipse.acceleo.feature.group' name='Acceleo' version='3.7.2.201708211328'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.emf.ecoretools.explorer.contextual.feature.group' name='Amalgam Contextual Explorer categories for Ecore models' version='3.3.0.201706121316'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.emf.cdo.epp.feature.group' name='CDO Model Repository EPP' version='4.6.0.v20170602-1611'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.e4.core.tools.feature.feature.group' name='Eclipse e4 Tools' version='4.7.0.v20170515-1617'>
<repositories size='3'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
<repository location='http://download.eclipse.org/eclipse/updates/4.7'/>
</repositories>
</iu>
<iu id='org.eclipse.jdt.feature.group' name='Eclipse Java Development Tools' version='3.13.2.v20171130-0906'>
<repositories size='3'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
<repository location='http://download.eclipse.org/eclipse/updates/4.7'/>
</repositories>
</iu>
<iu id='org.eclipse.elk.feature.feature.group' name='Eclipse Layout Kernel (Incubation) - Core Components' version='0.3.0'>
<repositories size='1'>
<repository location='http://download.eclipse.org/elk/updates/releases/0.3.0/'/>
</repositories>
</iu>
<iu id='org.eclipse.elk.feature.source.feature.group' name='Eclipse Layout Kernel (Incubation) - Core Components (Sources)' version='0.3.0'>
<repositories size='1'>
<repository location='http://download.eclipse.org/elk/updates/releases/0.3.0/'/>
</repositories>
</iu>
<iu id='org.eclipse.elk.graph.json.feature.feature.group' name='Eclipse Layout Kernel (Incubation) - ELK Graph JSON Format' version='0.3.0'>
<repositories size='1'>
<repository location='http://download.eclipse.org/elk/updates/releases/0.3.0/'/>
</repositories>
</iu>
<iu id='org.eclipse.elk.graph.json.feature.source.feature.group' name='Eclipse Layout Kernel (Incubation) - ELK Graph JSON Format (Sources)' version='0.3.0'>
<repositories size='1'>
<repository location='http://download.eclipse.org/elk/updates/releases/0.3.0/'/>
</repositories>
</iu>
<iu id='org.eclipse.elk.gmf.feature.feature.group' name='Eclipse Layout Kernel (Incubation) - GMF Support' version='0.3.0'>
<repositories size='1'>
<repository location='http://download.eclipse.org/elk/updates/releases/0.3.0/'/>
</repositories>
</iu>
<iu id='org.eclipse.elk.gmf.feature.source.feature.group' name='Eclipse Layout Kernel (Incubation) - GMF Support (Sources)' version='0.3.0'>
<repositories size='1'>
<repository location='http://download.eclipse.org/elk/updates/releases/0.3.0/'/>
</repositories>
</iu>
<iu id='org.eclipse.elk.graphiti.feature.feature.group' name='Eclipse Layout Kernel (Incubation) - Graphiti Support' version='0.3.0'>
<repositories size='1'>
<repository location='http://download.eclipse.org/elk/updates/releases/0.3.0/'/>
</repositories>
</iu>
<iu id='org.eclipse.elk.graphiti.feature.source.feature.group' name='Eclipse Layout Kernel (Incubation) - Graphiti Support (Sources)' version='0.3.0'>
<repositories size='1'>
<repository location='http://download.eclipse.org/elk/updates/releases/0.3.0/'/>
</repositories>
</iu>
<iu id='org.eclipse.elk.graphviz.feature.feature.group' name='Eclipse Layout Kernel (Incubation) - Graphviz Library Support' version='0.3.0'>
<repositories size='1'>
<repository location='http://download.eclipse.org/elk/updates/releases/0.3.0/'/>
</repositories>
</iu>
<iu id='org.eclipse.elk.graphviz.feature.source.feature.group' name='Eclipse Layout Kernel (Incubation) - Graphviz Library Support (Sources)' version='0.3.0'>
<repositories size='1'>
<repository location='http://download.eclipse.org/elk/updates/releases/0.3.0/'/>
</repositories>
</iu>
<iu id='org.eclipse.elk.algorithms.feature.feature.group' name='Eclipse Layout Kernel (Incubation) - Layout Algorithms' version='0.3.0'>
<repositories size='1'>
<repository location='http://download.eclipse.org/elk/updates/releases/0.3.0/'/>
</repositories>
</iu>
<iu id='org.eclipse.elk.algorithms.feature.source.feature.group' name='Eclipse Layout Kernel (Incubation) - Layout Algorithms (Sources)' version='0.3.0'>
<repositories size='1'>
<repository location='http://download.eclipse.org/elk/updates/releases/0.3.0/'/>
</repositories>
</iu>
<iu id='org.eclipse.elk.sdk.feature.feature.group' name='Eclipse Layout Kernel (Incubation) - SDK' version='0.3.0'>
<repositories size='1'>
<repository location='http://download.eclipse.org/elk/updates/releases/0.3.0/'/>
</repositories>
</iu>
<iu id='org.eclipse.elk.sdk.feature.source.feature.group' name='Eclipse Layout Kernel (Incubation) - SDK (Sources)' version='0.3.0'>
<repositories size='1'>
<repository location='http://download.eclipse.org/elk/updates/releases/0.3.0/'/>
</repositories>
</iu>
<iu id='org.eclipse.elk.ui.feature.feature.group' name='Eclipse Layout Kernel (Incubation) - UI Components' version='0.3.0'>
<repositories size='1'>
<repository location='http://download.eclipse.org/elk/updates/releases/0.3.0/'/>
</repositories>
</iu>
<iu id='org.eclipse.elk.ui.feature.source.feature.group' name='Eclipse Layout Kernel (Incubation) - UI Components (Sources)' version='0.3.0'>
<repositories size='1'>
<repository location='http://download.eclipse.org/elk/updates/releases/0.3.0/'/>
</repositories>
</iu>
<iu id='epp.package.modeling' name='Eclipse Modeling Tools' version='4.7.2.20171218-0600'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.pde.feature.group' name='Eclipse Plug-in Development Environment' version='3.13.2.v20171130-0510'>
<repositories size='3'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
<repository location='http://download.eclipse.org/eclipse/updates/4.7'/>
</repositories>
</iu>
<iu id='org.eclipse.sdk.feature.group' name='Eclipse Project SDK' version='4.7.2.v20171130-0906'>
<repositories size='3'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
<repository location='http://download.eclipse.org/eclipse/updates/4.7'/>
</repositories>
</iu>
<iu id='org.eclipse.emf.ecoretools.design.feature.group' name='Ecore Diagram Editor' version='3.3.0.201706121316'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.emf.ecp.sdk.feature.feature.group' name='ECP SDK 3.x' version='1.15.0.20171204-2237'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.emf.sdk.feature.group' name='EMF - Eclipse Modeling Framework SDK' version='2.13.0.v20170609-0928'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.emf.query.sdk.feature.group' name='EMF Model Query SDK' version='1.11.0.201706061326'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.emf.transaction.sdk.feature.group' name='EMF Model Transaction SDK' version='1.11.0.201706061339'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.emf.parsley.sdk.feature.group' name='EMF Parsley SDK' version='1.2.1.v20170625-1309'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.emf.parsley.sdk.source.feature.group' name='EMF Parsley SDK Developer Resources' version='1.2.1.v20170625-1309'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.emf.validation.sdk.feature.group' name='EMF Validation Framework SDK' version='1.11.0.201706061352'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.emf.emfstore.sdk.feature.feature.group' name='EMFStore SDK' version='1.9.0.v20170530-0703'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.amalgam.discovery.feature.group' name='Extra Modeling Components Installer' version='1.8.0.201706011309'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.gef.sdk.feature.group' name='GEF (MVC) SDK' version='3.11.0.201606061308'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.egit.feature.group' name='Git integration for Eclipse' version='4.9.2.201712150930-r'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.gmf.runtime.sdk.feature.group' name='Graphical Modeling Framework (GMF) Runtime SDK' version='1.11.0.201706061437'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.emf.compare.source.feature.group' name='Model comparison (EMF Compare) - Core - SDK' version='3.3.2.201709090201'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.emf.compare.egit.feature.group' name='Model comparison (EMF Compare) - EGit support' version='1.2.2.201709090201'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.emf.compare.ide.ui.source.feature.group' name='Model comparison (EMF Compare) - SDK' version='3.3.2.201709090201'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.emf.compare.diagram.sirius.source.feature.group' name='Model comparison (EMF Compare) - Sirius support (Experimental)- SDK' version='3.3.2.201709090201'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.mylyn.ide_feature.feature.group' name='Mylyn Context Connector: Eclipse IDE' version='3.23.0.v20170411-2108'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.mylyn.java_feature.feature.group' name='Mylyn Context Connector: Java Development' version='3.23.0.v20170411-2108'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.mylyn.pde_feature.feature.group' name='Mylyn Context Connector: Plug-in Development' version='3.23.0.v20170411-2108'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.mylyn_feature.feature.group' name='Mylyn Task List' version='3.23.1.v20170623-0008'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.mylyn.context_feature.feature.group' name='Mylyn Task-Focused Interface' version='3.23.0.v20170414-0629'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.mylyn.bugzilla_feature.feature.group' name='Mylyn Tasks Connector: Bugzilla' version='3.23.1.v20170623-0008'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.mylyn.wikitext_feature.feature.group' name='Mylyn WikiText' version='3.0.19.201711172000'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.ocl.all.sdk.feature.group' name='OCL Classic SDK: Ecore/UML Parsers,Evaluator,Edit' version='5.3.0.v20170607-1133'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.ocl.examples.feature.group' name='OCL Examples and Editors SDK' version='6.3.0.v20170613-1432'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.sirius.specifier.feature.group' name='Sirius Specifier Environment' version='5.1.1.201801311428'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.uml2.sdk.feature.group' name='UML2 Extender SDK' version='5.3.0.v20170605-1616'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.xpand.sdk.feature.group' name='Xpand SDK' version='2.2.0.v201605260315'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.xsd.sdk.feature.group' name='XSD - XML Schema Definition SDK' version='2.13.0.v20170609-0928'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
<iu id='org.eclipse.xtext.sdk.feature.group' name='Xtext Complete SDK' version='2.12.0.v20170519-1412'>
<repositories size='2'>
<repository location='http://www.eclipse.org/modeling/amalgam/downloads/package/modeling/oxygen/'/>
<repository location='http://download.eclipse.org/releases/oxygen/'/>
</repositories>
</iu>
</ius>
</p2f>