atl a moitié fini
This commit is contained in:
parent
3ce8590538
commit
9353cda250
File diff suppressed because it is too large
Load diff
|
@ -1,27 +0,0 @@
|
|||
module SimplePDL2PetriNet;
|
||||
create OUT: petrinet from IN: simplepdl;
|
||||
|
||||
-- Obtenir le processus qui contient ce process element.
|
||||
-- Remarque: Ce helper ne serait pas utile si une r<>f<EFBFBD>rence opposite
|
||||
-- avait <20>t<EFBFBD> plac<61>e entre Process et ProcessElement
|
||||
helper context simplepdl!ProcessElement
|
||||
def: getProcess(): simplepdl!Process =
|
||||
simplepdl!Process.allInstances()
|
||||
->select(p | p.processElements->includes(self))
|
||||
->asSequence()->first();
|
||||
|
||||
-- Traduire un Process en un PetriNet de m<>me nom
|
||||
rule Process2PetriNet {
|
||||
from p: simplepdl!Process
|
||||
to pn: petrinet!Network (name <- p.name)
|
||||
}
|
||||
|
||||
-- Traduire une WorkDefinition en un motif sur le r<>seau de Petri
|
||||
rule WorkDefinition2PetriNet {
|
||||
from wd: simplepdl!WorkDefinition
|
||||
to
|
||||
-- PLACES d'une WorkDefinition
|
||||
p_ready: petrinet!Place(
|
||||
name <- wd.name + '_ready',
|
||||
tokens <- 1,),
|
||||
}
|
|
@ -1,28 +0,0 @@
|
|||
module SimplePDL2PetriNet;
|
||||
create OUT: petrinet from IN: simplepdl;
|
||||
|
||||
-- Obtenir le processus qui contient ce process element.
|
||||
-- Remarque: Ce helper ne serait pas utile si une r<>f<EFBFBD>rence opposite
|
||||
-- avait <20>t<EFBFBD> plac<61>e entre Process et ProcessElement
|
||||
helper context simplepdl!ProcessElement
|
||||
def: getProcess(): simplepdl!Process =
|
||||
simplepdl!Process.allInstances()
|
||||
->select(p | p.processElements->includes(self))
|
||||
->asSequence()->first();
|
||||
|
||||
-- Traduire un Process en un PetriNet de m<>me nom
|
||||
rule Process2PetriNet {
|
||||
from p: simplepdl!Process
|
||||
to pn: petrinet!Network (name <- p.name)
|
||||
}
|
||||
|
||||
-- Traduire une WorkDefinition en un motif sur le r<>seau de Petri
|
||||
rule WorkDefinition2PetriNet {
|
||||
from wd: simplepdl!WorkDefinition
|
||||
to
|
||||
-- PLACES d'une WorkDefinition
|
||||
p_ready: petrinet!Place(
|
||||
name <- wd.name + '_ready',
|
||||
marking <- 1,
|
||||
net <- wd.getProcess())
|
||||
}
|
|
@ -1,27 +0,0 @@
|
|||
module SimplePDL2PetriNet;
|
||||
create OUT: petrinet from IN: simplepdl;
|
||||
|
||||
-- Obtenir le processus qui contient ce process element.
|
||||
-- Remarque: Ce helper ne serait pas utile si une r<>f<EFBFBD>rence opposite
|
||||
-- avait <20>t<EFBFBD> plac<61>e entre Process et ProcessElement
|
||||
helper context simplepdl!ProcessElement
|
||||
def: getProcess(): simplepdl!Process =
|
||||
simplepdl!Process.allInstances()
|
||||
->select(p | p.processElements->includes(self))
|
||||
->asSequence()->first();
|
||||
|
||||
-- Traduire un Process en un PetriNet de m<>me nom
|
||||
rule Process2PetriNet {
|
||||
from p: simplepdl!Process
|
||||
to pn: petrinet!Network (name <- p.name)
|
||||
}
|
||||
|
||||
-- Traduire une WorkDefinition en un motif sur le r<>seau de Petri
|
||||
rule WorkDefinition2PetriNet {
|
||||
from wd: simplepdl!WorkDefinition
|
||||
to
|
||||
-- PLACES d'une WorkDefinition
|
||||
p_ready: petrinet!Place(
|
||||
name <- wd.name + '_ready',
|
||||
tokens <- 1,)
|
||||
}
|
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
|
@ -1,7 +1,7 @@
|
|||
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
||||
<launchConfiguration type="org.eclipse.m2m.atl.adt.launching.atlTransformation">
|
||||
<stringAttribute key="ATL File Name" value="/fr.n7.simplepdl2petrinet/SimplePDL2PetriNet.atl"/>
|
||||
<stringAttribute key="ATL VM" value="EMF-specific VM"/>
|
||||
<stringAttribute key="ATL VM" value="EMFTVM"/>
|
||||
<stringAttribute key="ATL_COMPILER" value="atl2006"/>
|
||||
<booleanAttribute key="IS_REFINING" value="false"/>
|
||||
<mapAttribute key="Input">
|
||||
|
@ -19,13 +19,12 @@
|
|||
<mapEntry key="simplepdl" value="METAMODELINPUT"/>
|
||||
</mapAttribute>
|
||||
<mapAttribute key="Options">
|
||||
<mapEntry key="OPTION_CLEAR" value="false"/>
|
||||
<mapEntry key="OPTION_CLEAR" value="true"/>
|
||||
<mapEntry key="OPTION_CONTENT_TYPE" value="false"/>
|
||||
<mapEntry key="OPTION_DERIVED" value="true"/>
|
||||
<mapEntry key="allowInterModelReferences" value="false"/>
|
||||
<mapEntry key="disableJit" value="false"/>
|
||||
<mapEntry key="printExecutionTime" value="false"/>
|
||||
<mapEntry key="step" value="false"/>
|
||||
<mapEntry key="supportUML2Stereotypes" value="false"/>
|
||||
</mapAttribute>
|
||||
<listAttribute key="OrderedInput">
|
||||
<listEntry value="IN"/>
|
||||
|
@ -38,7 +37,7 @@
|
|||
</mapAttribute>
|
||||
<mapAttribute key="Path">
|
||||
<mapEntry key="IN" value="/fr.n7.simplepdl/test.xmi"/>
|
||||
<mapEntry key="OUT" value="/fr.n7.petrinet.exemples/gen/test_simplepdl2petrinet"/>
|
||||
<mapEntry key="OUT" value="/fr.n7.petrinet/gen/test_atl.xmi"/>
|
||||
<mapEntry key="petrinet" value="/fr.n7.petrinet/petriNet.ecore"/>
|
||||
<mapEntry key="simplepdl" value="/fr.n7.simplepdl/simplePDL.ecore"/>
|
||||
</mapAttribute>
|
||||
|
|
|
@ -3,9 +3,9 @@
|
|||
<launchGroup id="org.eclipse.debug.ui.launchGroup.debug">
|
||||
<mruHistory>
|
||||
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="Launch Runtime Eclipse mageule"/> "/>
|
||||
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="SimplePDL2PetriNet"/> "/>
|
||||
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="toTINA"/> "/>
|
||||
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="simplepdl2petrinet"/> "/>
|
||||
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="SimplePDL2PetriNet"/> "/>
|
||||
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="GeneratePDL.mwe2"/> "/>
|
||||
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="GeneratePDL2.mwe2"/> "/>
|
||||
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="GeneratePDL3.mwe2"/> "/>
|
||||
|
@ -37,9 +37,9 @@
|
|||
<launchGroup id="org.eclipse.debug.ui.launchGroup.run">
|
||||
<mruHistory>
|
||||
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="Launch Runtime Eclipse mageule"/> "/>
|
||||
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="SimplePDL2PetriNet"/> "/>
|
||||
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="toTINA"/> "/>
|
||||
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="simplepdl2petrinet"/> "/>
|
||||
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="SimplePDL2PetriNet"/> "/>
|
||||
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="GeneratePDL.mwe2"/> "/>
|
||||
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="GeneratePDL2.mwe2"/> "/>
|
||||
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="GeneratePDL3.mwe2"/> "/>
|
||||
|
|
File diff suppressed because one or more lines are too long
Binary file not shown.
Binary file not shown.
|
@ -1,4 +1,4 @@
|
|||
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
||||
<dirs>
|
||||
<entry loc="/usr/lib/jvm/java-11-openjdk-amd64" stamp="1626789585273"/>
|
||||
<entry loc="/usr/lib/jvm/java-11-openjdk-amd64" stamp="1626701536013"/>
|
||||
</dirs>
|
||||
|
|
|
@ -1,3 +1,3 @@
|
|||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<session version="1.0">
<refactoring comment="Delete resource 'fr.n7.petrinet.feature'" deleteContents="true" description="Delete resource 'fr.n7.petrinet.feature'" element1="/fr.n7.petrinet.feature" flags="7" id="org.eclipse.ltk.core.refactoring.delete.resources" resources="1" stamp="1634142870065"/>
<refactoring comment="Delete resource 'fr.n7.simplepdl.feature'" deleteContents="true" description="Delete resource 'fr.n7.simplepdl.feature'" element1="/fr.n7.simplepdl.feature" flags="7" id="org.eclipse.ltk.core.refactoring.delete.resources" resources="1" stamp="1634142876215"/>
<refactoring comment="Delete resource 'fr.n7.petrinet.exemples'" deleteContents="true" description="Delete resource 'fr.n7.petrinet.exemples'" element1="/fr.n7.petrinet.exemples" flags="7" id="org.eclipse.ltk.core.refactoring.delete.resources" resources="1" stamp="1634144062154"/>
<refactoring comment="Delete resource 'fr.n7.simplepdl.exemples'" deleteContents="true" description="Delete resource 'fr.n7.simplepdl.exemples'" element1="/fr.n7.simplepdl.exemples" flags="7" id="org.eclipse.ltk.core.refactoring.delete.resources" resources="1" stamp="1634144068762"/>
<refactoring comment="Delete 4 resources" deleteContents="true" description="Delete 4 resources" element1="/fr.n7.petrinet.design" element2="/fr.n7.petrinet.samples" element3="/fr.n7.simplepdl.design" element4="/fr.n7.simplepdl.samples" flags="7" id="org.eclipse.ltk.core.refactoring.delete.resources" resources="4" stamp="1634223140094"/>
|
||||
<session version="1.0">
<refactoring comment="Delete resource 'fr.n7.petrinet.feature'" deleteContents="true" description="Delete resource 'fr.n7.petrinet.feature'" element1="/fr.n7.petrinet.feature" flags="7" id="org.eclipse.ltk.core.refactoring.delete.resources" resources="1" stamp="1634142870065"/>
<refactoring comment="Delete resource 'fr.n7.simplepdl.feature'" deleteContents="true" description="Delete resource 'fr.n7.simplepdl.feature'" element1="/fr.n7.simplepdl.feature" flags="7" id="org.eclipse.ltk.core.refactoring.delete.resources" resources="1" stamp="1634142876215"/>
<refactoring comment="Delete resource 'fr.n7.petrinet.exemples'" deleteContents="true" description="Delete resource 'fr.n7.petrinet.exemples'" element1="/fr.n7.petrinet.exemples" flags="7" id="org.eclipse.ltk.core.refactoring.delete.resources" resources="1" stamp="1634144062154"/>
<refactoring comment="Delete resource 'fr.n7.simplepdl.exemples'" deleteContents="true" description="Delete resource 'fr.n7.simplepdl.exemples'" element1="/fr.n7.simplepdl.exemples" flags="7" id="org.eclipse.ltk.core.refactoring.delete.resources" resources="1" stamp="1634144068762"/>
<refactoring comment="Delete 4 resources" deleteContents="true" description="Delete 4 resources" element1="/fr.n7.petrinet.design" element2="/fr.n7.petrinet.samples" element3="/fr.n7.simplepdl.design" element4="/fr.n7.simplepdl.samples" flags="7" id="org.eclipse.ltk.core.refactoring.delete.resources" resources="4" stamp="1634223140094"/>
<refactoring comment="Delete resource 'fr.n7.simplepdl2petrinet'" deleteContents="true" description="Delete resource 'fr.n7.simplepdl2petrinet'" element1="/fr.n7.simplepdl2petrinet" flags="7" id="org.eclipse.ltk.core.refactoring.delete.resources" resources="1" stamp="1634290193707"/>
|
||||
</session>
|
|
@ -3,3 +3,4 @@
|
|||
1634144062154 Delete resource 'fr.n7.petrinet.exemples'
|
||||
1634144068762 Delete resource 'fr.n7.simplepdl.exemples'
|
||||
1634223140094 Delete 4 resources
|
||||
1634290193707 Delete resource 'fr.n7.simplepdl2petrinet'
|
||||
|
|
|
@ -1,3 +1,3 @@
|
|||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<session version="1.0">
<refactoring accessors="true" comment="Delete element from project 'fr.n7.petrinet'
- Original project: 'fr.n7.petrinet'
- Original element: 'petriNet.aird'" description="Delete element" element1="petriNet.aird" elements="0" flags="589830" id="org.eclipse.jdt.ui.delete" resources="1" stamp="1634142600535" subPackages="false" version="1.0"/>
<refactoring accessors="true" comment="Delete element from project 'fr.n7.petrinet'
- Original project: 'fr.n7.petrinet'
- Original element: 'petrinet.impl.ArcImpl.java'" description="Delete element" element1="/src<petrinet.impl{ArcImpl.java" elements="1" flags="589830" id="org.eclipse.jdt.ui.delete" resources="0" stamp="1634145355492" subPackages="false" version="1.0"/>
<refactoring accessors="true" comment="Delete element from project 'fr.n7.petrinet'
- Original project: 'fr.n7.petrinet'
- Original element: 'fr.n7.petrinet/src/petrinet.impl'" description="Delete element" element1="/src<petrinet.impl" elements="1" flags="589830" id="org.eclipse.jdt.ui.delete" resources="0" stamp="1634145418708" subPackages="false" version="1.0"/>
<refactoring accessors="true" comment="Delete element from project 'fr.n7.petrinet'
- Original project: 'fr.n7.petrinet'
- Original element: 'fr.n7.petrinet/src/petrinet.impl'" description="Delete element" element1="/src<petrinet.impl" elements="1" flags="589830" id="org.eclipse.jdt.ui.delete" resources="0" stamp="1634145472433" subPackages="false" version="1.0"/>
<refactoring accessors="true" comment="Delete element from project 'fr.n7.petrinet'
- Original project: 'fr.n7.petrinet'
- Original element: 'fr.n7.petrinet/src/petrinet'" description="Delete element" element1="/src<petrinet" elements="1" flags="589830" id="org.eclipse.jdt.ui.delete" resources="0" stamp="1634145498776" subPackages="false" version="1.0"/>
<refactoring accessors="true" comment="Delete element from project 'fr.n7.petrinet'
- Original project: 'fr.n7.petrinet'
- Original element: 'fr.n7.petrinet/src/petrinet'
- Delete subpackages" description="Delete element" element1="/src<petrinet.util" element2="/src<petrinet.impl" element3="/src<petrinet" elements="3" flags="589830" id="org.eclipse.jdt.ui.delete" resources="0" stamp="1634145506303" subPackages="true" version="1.0"/>
|
||||
<session version="1.0">
<refactoring accessors="true" comment="Delete element from project 'fr.n7.petrinet'
- Original project: 'fr.n7.petrinet'
- Original element: 'petriNet.aird'" description="Delete element" element1="petriNet.aird" elements="0" flags="589830" id="org.eclipse.jdt.ui.delete" resources="1" stamp="1634142600535" subPackages="false" version="1.0"/>
<refactoring accessors="true" comment="Delete element from project 'fr.n7.petrinet'
- Original project: 'fr.n7.petrinet'
- Original element: 'petrinet.impl.ArcImpl.java'" description="Delete element" element1="/src<petrinet.impl{ArcImpl.java" elements="1" flags="589830" id="org.eclipse.jdt.ui.delete" resources="0" stamp="1634145355492" subPackages="false" version="1.0"/>
<refactoring accessors="true" comment="Delete element from project 'fr.n7.petrinet'
- Original project: 'fr.n7.petrinet'
- Original element: 'fr.n7.petrinet/src/petrinet.impl'" description="Delete element" element1="/src<petrinet.impl" elements="1" flags="589830" id="org.eclipse.jdt.ui.delete" resources="0" stamp="1634145418708" subPackages="false" version="1.0"/>
<refactoring accessors="true" comment="Delete element from project 'fr.n7.petrinet'
- Original project: 'fr.n7.petrinet'
- Original element: 'fr.n7.petrinet/src/petrinet.impl'" description="Delete element" element1="/src<petrinet.impl" elements="1" flags="589830" id="org.eclipse.jdt.ui.delete" resources="0" stamp="1634145472433" subPackages="false" version="1.0"/>
<refactoring accessors="true" comment="Delete element from project 'fr.n7.petrinet'
- Original project: 'fr.n7.petrinet'
- Original element: 'fr.n7.petrinet/src/petrinet'" description="Delete element" element1="/src<petrinet" elements="1" flags="589830" id="org.eclipse.jdt.ui.delete" resources="0" stamp="1634145498776" subPackages="false" version="1.0"/>
<refactoring accessors="true" comment="Delete element from project 'fr.n7.petrinet'
- Original project: 'fr.n7.petrinet'
- Original element: 'fr.n7.petrinet/src/petrinet'
- Delete subpackages" description="Delete element" element1="/src<petrinet.util" element2="/src<petrinet.impl" element3="/src<petrinet" elements="3" flags="589830" id="org.eclipse.jdt.ui.delete" resources="0" stamp="1634145506303" subPackages="true" version="1.0"/>
<refactoring accessors="true" comment="Delete element from project 'fr.n7.petrinet'
- Original project: 'fr.n7.petrinet'
- Original element: 'gen'" description="Delete element" element1="gen" elements="0" flags="589830" id="org.eclipse.jdt.ui.delete" resources="1" stamp="1634288014461" subPackages="false" version="1.0"/>
|
||||
</session>
|
|
@ -4,3 +4,4 @@
|
|||
1634145472433 Delete element
|
||||
1634145498776 Delete element
|
||||
1634145506303 Delete element
|
||||
1634288014461 Delete element
|
||||
|
|
|
@ -1,2 +1,2 @@
|
|||
#Cached timestamps
|
||||
#Fri Oct 15 09:27:32 CEST 2021
|
||||
#Fri Oct 15 12:07:47 CEST 2021
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
#safe table
|
||||
#Fri Oct 15 09:27:32 CEST 2021
|
||||
#Fri Oct 15 12:07:47 CEST 2021
|
||||
.orphans=0
|
||||
.mainData=0
|
||||
.contributors=0
|
||||
|
@ -7,4 +7,4 @@
|
|||
.extraData=0
|
||||
.contributions=0
|
||||
.table=0
|
||||
.crc11b4ace5.v1
|
||||
.crc2352a5f3.v1
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
#safe table
|
||||
#Fri Oct 15 09:27:32 CEST 2021
|
||||
#Fri Oct 15 12:07:47 CEST 2021
|
||||
.orphans=1
|
||||
.mainData=1
|
||||
.contributors=1
|
||||
|
@ -7,4 +7,4 @@
|
|||
.extraData=1
|
||||
.contributions=1
|
||||
.table=1
|
||||
.crcdec696de.v1
|
||||
.crcec209fc8.v1
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
#Configuration File
|
||||
#Thu Oct 14 18:17:35 CEST 2021
|
||||
#Fri Oct 15 11:16:18 CEST 2021
|
||||
eclipse.product=org.eclipse.platform.ide
|
||||
osgi.splashPath=file\:/mnt/n7fs/ens/tp_cregut/eclipse-gls-2020-09/plugins/org.eclipse.platform_4.17.0.v20200902-1800
|
||||
osgi.install.area=file\:/mnt/n7fs/ens/tp_cregut/eclipse-gls-2020-09/
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
#
|
||||
#Thu Oct 14 18:17:35 CEST 2021
|
||||
#Fri Oct 15 11:16:18 CEST 2021
|
||||
fr.n7.simplepdl.edit=bin
|
||||
fr.n7.simplepdl.txt.pdl.ide=bin
|
||||
fr.n7.pdl3.ui.tests=test-bin
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
#safe table
|
||||
#Thu Oct 14 20:36:25 CEST 2021
|
||||
#Fri Oct 15 12:07:40 CEST 2021
|
||||
.orphans=0
|
||||
.mainData=0
|
||||
.contributors=0
|
||||
|
@ -7,4 +7,4 @@
|
|||
.extraData=0
|
||||
.contributions=0
|
||||
.table=0
|
||||
.crcf6477635.v1
|
||||
.crc046ae770.v1
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
#safe table
|
||||
#Thu Oct 14 20:36:25 CEST 2021
|
||||
#Fri Oct 15 12:07:40 CEST 2021
|
||||
.orphans=1
|
||||
.mainData=1
|
||||
.contributors=1
|
||||
|
@ -7,4 +7,4 @@
|
|||
.extraData=1
|
||||
.contributions=1
|
||||
.table=1
|
||||
.crc39354c0e.v1
|
||||
.crccb18dd4b.v1
|
||||
|
|
Binary file not shown.
|
@ -1,4 +0,0 @@
|
|||
#safe table
|
||||
#Thu Oct 14 18:18:06 CEST 2021
|
||||
framework.info=0
|
||||
.crcea48fe58.v1
|
|
@ -1,4 +1,4 @@
|
|||
#safe table
|
||||
#Thu Oct 14 18:18:06 CEST 2021
|
||||
#Fri Oct 15 11:16:49 CEST 2021
|
||||
framework.info=1
|
||||
.crcf353cf19.v1
|
||||
.crc6f3446af.v1
|
||||
|
|
Binary file not shown.
|
@ -1,5 +1,5 @@
|
|||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<config date="1634228259664" transient="false" version="3.0">
|
||||
<config date="1634289382919" transient="false" version="3.0">
|
||||
<site enabled="true" policy="USER-EXCLUDE" updateable="true" url="platform:/base/">
|
||||
<feature id="org.eclipse.help" plugin-identifier="org.eclipse.help.base" url="features/org.eclipse.help_2.3.300.v20200902-1800/" version="2.3.300.v20200902-1800">
|
||||
</feature>
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
# List of external plug-in models previously loaded. Timestamp: 1634279595109
|
||||
# List of external plug-in models previously loaded. Timestamp: 1634289352883
|
||||
file:/mnt/n7fs/ens/tp_cregut/eclipse-gls-2020-09/plugins/com.google.guava_27.1.0.v20190517-1946.jar
|
||||
file:/mnt/n7fs/ens/tp_cregut/eclipse-gls-2020-09/plugins/com.google.inject_3.0.0.v201605172100.jar
|
||||
file:/mnt/n7fs/ens/tp_cregut/eclipse-gls-2020-09/plugins/com.ibm.icu_67.1.0.v20200706-1749.jar
|
||||
|
|
|
@ -48,4 +48,6 @@
|
|||
<item key="DIALOG_HEIGHT" value="385"/>
|
||||
<item key="DIALOG_FONT_NAME" value="1|Ubuntu|11.0|0|GTK|1|"/>
|
||||
</section>
|
||||
<section name="targetStateView">
|
||||
</section>
|
||||
</section>
|
||||
|
|
|
@ -1,3 +1,3 @@
|
|||
#Fri Oct 15 08:33:09 CEST 2021
|
||||
#Fri Oct 15 11:15:47 CEST 2021
|
||||
org.eclipse.core.runtime=2
|
||||
org.eclipse.platform=4.17.0.v20200902-1800
|
||||
|
|
|
@ -148,7 +148,7 @@ public class ArcItemProvider
|
|||
* This returns the label text for the adapted class.
|
||||
* <!-- begin-user-doc -->
|
||||
* <!-- end-user-doc -->
|
||||
* @generated
|
||||
* @generated NOT
|
||||
*/
|
||||
@Override
|
||||
public String getText(Object object) {
|
||||
|
|
|
@ -1,17 +0,0 @@
|
|||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<projectDescription>
|
||||
<name>fr.n7.simplepdl2petrinet</name>
|
||||
<comment></comment>
|
||||
<projects>
|
||||
</projects>
|
||||
<buildSpec>
|
||||
<buildCommand>
|
||||
<name>org.eclipse.m2m.atl.adt.builder.atlBuilder</name>
|
||||
<arguments>
|
||||
</arguments>
|
||||
</buildCommand>
|
||||
</buildSpec>
|
||||
<natures>
|
||||
<nature>org.eclipse.m2m.atl.adt.builder.atlNature</nature>
|
||||
</natures>
|
||||
</projectDescription>
|
File diff suppressed because it is too large
Load diff
|
@ -1,97 +0,0 @@
|
|||
module SimplePDL2PetriNet;
|
||||
create OUT: petrinet from IN: simplepdl;
|
||||
|
||||
-- Obtenir le processus qui contient ce process element.
|
||||
-- Remarque: Ce helper ne serait pas utile si une r<>f<EFBFBD>rence opposite
|
||||
-- avait <20>t<EFBFBD> plac<61>e entre Process et ProcessElement
|
||||
helper context simplepdl!ProcessElement
|
||||
def: getProcess(): simplepdl!Process =
|
||||
simplepdl!Process.allInstances()
|
||||
->select(p | p.processElements->includes(self))
|
||||
->asSequence()->first();
|
||||
|
||||
-- Traduire un Process en un PetriNet de m<>me nom
|
||||
rule Process2PetriNet {
|
||||
from p: simplepdl!Process
|
||||
to pn: petrinet!Network (name <- p.name)
|
||||
}
|
||||
|
||||
-- Traduire une WorkDefinition en un motif sur le r<>seau de Petri
|
||||
rule WorkDefinition2PetriNet {
|
||||
from wd: simplepdl!WorkDefinition
|
||||
to
|
||||
-- PLACES d'une WorkDefinition
|
||||
p_idle: petrinet!Place(
|
||||
name <- wd.name + '_idle',
|
||||
tokens <- 1,
|
||||
network <- wd.process),
|
||||
p_running: petrinet!Place(
|
||||
name <- wd.name + '_running',
|
||||
tokens <- 1,
|
||||
network <- wd.process),
|
||||
p_started: petrinet!Place(
|
||||
name <- wd.name + '_started',
|
||||
tokens <- 1,
|
||||
network <- wd.process),
|
||||
p_finished: petrinet!Place(
|
||||
name <- wd.name + '_finished',
|
||||
tokens <- 1,
|
||||
network <- wd.process),
|
||||
-- TRANSITIONS d'une WorkDefinition
|
||||
t_start: petrinet!Transition(
|
||||
name <- wd.name + '_start',
|
||||
weight <- 1,
|
||||
network <- wd.process),
|
||||
t_finish: petrinet!Transition(
|
||||
name <- wd.name + '_finish',
|
||||
weight <- 1,
|
||||
network <- wd.process),
|
||||
-- ARCS d'une WorkDefinition
|
||||
a_idle2start: petrinet!Arc(
|
||||
weight <- 1,
|
||||
place <- p_idle,
|
||||
transition <- t_start,
|
||||
outgoing <- false),
|
||||
a_start2running: petrinet!Arc(
|
||||
weight <- 1,
|
||||
place <- p_running,
|
||||
transition <- t_start,
|
||||
outgoing <- true),
|
||||
a_start2started: petrinet!Arc(
|
||||
weight <- 1,
|
||||
place <- p_started,
|
||||
transition <- t_start,
|
||||
outgoing <- true),
|
||||
a_running2finish: petrinet!Arc(
|
||||
weight <- 1,
|
||||
place <- p_running,
|
||||
transition <- t_finish,
|
||||
outgoing <- false),
|
||||
a_finish2finished: petrinet!Arc(
|
||||
weight <- 1,
|
||||
place <- p_finished,
|
||||
transition <- t_finish,
|
||||
outgoing <- true)
|
||||
}
|
||||
|
||||
-- Traduire une WorkSequence en un motif sur le r<>seau de Petri
|
||||
rule WorkSequence2PetriNet {
|
||||
from ws: simplepdl!WorkSequence
|
||||
to
|
||||
-- ARCS d'une WorkSequence
|
||||
a_s2s: petrinet!Arc(
|
||||
place <- ws.predecessor.name + '_started',
|
||||
transition <- ws.successor.name + '_start'),
|
||||
|
||||
a_s2f: petrinet!Arc(
|
||||
place <- ws.predecessor.name + '_started',
|
||||
transition <- ws.successor.name + '_finish'),
|
||||
|
||||
a_f2s: petrinet!Arc(
|
||||
place <- ws.predecessor.name + '_finished',
|
||||
transition <- ws.successor.name + '_start'),
|
||||
|
||||
a_f2f: petrinet!Arc(
|
||||
place <- ws.predecessor.name + '_finished',
|
||||
transition <- ws.successor.name + '_fnish')
|
||||
}
|
File diff suppressed because it is too large
Load diff
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
|
@ -1,5 +1,6 @@
|
|||
PROBLEMS_FILTERS_MIGRATE=true
|
||||
TASKS_FILTERS_MIGRATE=true
|
||||
eclipse.preferences.version=1
|
||||
platformState=1634228256822
|
||||
platformState=1634289380163
|
||||
quickStart=false
|
||||
tipsAndTricks=true
|
||||
|
|
File diff suppressed because one or more lines are too long
Binary file not shown.
Binary file not shown.
|
@ -1,27 +1,27 @@
|
|||
INDEX VERSION 1.131+/home/dguillot/2A/IDM/miniproj_idm/runtime-Eclipse/.metadata/.plugins/org.eclipse.jdt.core
|
||||
2684007147.index
|
||||
1492316222.index
|
||||
1969063402.index
|
||||
3144173601.index
|
||||
830761727.index
|
||||
3761123150.index
|
||||
2344539973.index
|
||||
701648383.index
|
||||
687162898.index
|
||||
1259215892.index
|
||||
1366149182.index
|
||||
3228602193.index
|
||||
2479976885.index
|
||||
649822626.index
|
||||
910095251.index
|
||||
124733140.index
|
||||
3370953800.index
|
||||
4270576026.index
|
||||
665994362.index
|
||||
594756272.index
|
||||
836787774.index
|
||||
1332398772.index
|
||||
836787774.index
|
||||
1744987098.index
|
||||
3499872082.index
|
||||
646308851.index
|
||||
1492316222.index
|
||||
1190385766.index
|
||||
3144173601.index
|
||||
3761123150.index
|
||||
2344539973.index
|
||||
1366149182.index
|
||||
2479976885.index
|
||||
649822626.index
|
||||
910095251.index
|
||||
124733140.index
|
||||
646308851.index
|
||||
2684007147.index
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
||||
<dirs>
|
||||
<entry loc="/usr/lib/jvm/java-11-openjdk-amd64" stamp="1626789585273"/>
|
||||
<entry loc="/usr/lib/jvm/java-11-openjdk-amd64" stamp="1626701536013"/>
|
||||
</dirs>
|
||||
|
|
|
@ -1,3 +1,3 @@
|
|||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<session version="1.0">
<refactoring comment="Delete resource 'fr.n7.simplepdl.exemples/src-gen/exemple.html'" deleteContents="false" description="Delete resource 'fr.n7.simplepdl.exemples/src-gen/exemple.html'" element1="/fr.n7.simplepdl.exemples/src-gen/exemple.html" flags="7" id="org.eclipse.ltk.core.refactoring.delete.resources" resources="1" stamp="1634143995560"/>
<refactoring comment="Delete resource 'fr.n7.simplepdl.exemples/src-gen'" deleteContents="false" description="Delete resource 'fr.n7.simplepdl.exemples/src-gen'" element1="/fr.n7.simplepdl.exemples/src-gen" flags="7" id="org.eclipse.ltk.core.refactoring.delete.resources" resources="1" stamp="1634143998042"/>
<refactoring comment="Delete resource 'fr.n7.petrinet.design'" deleteContents="true" description="Delete resource 'fr.n7.petrinet.design'" element1="/fr.n7.petrinet.design" flags="7" id="org.eclipse.ltk.core.refactoring.delete.resources" resources="1" stamp="1634222921436"/>
|
||||
<session version="1.0">
<refactoring comment="Delete resource 'fr.n7.simplepdl.exemples/src-gen/exemple.html'" deleteContents="false" description="Delete resource 'fr.n7.simplepdl.exemples/src-gen/exemple.html'" element1="/fr.n7.simplepdl.exemples/src-gen/exemple.html" flags="7" id="org.eclipse.ltk.core.refactoring.delete.resources" resources="1" stamp="1634143995560"/>
<refactoring comment="Delete resource 'fr.n7.simplepdl.exemples/src-gen'" deleteContents="false" description="Delete resource 'fr.n7.simplepdl.exemples/src-gen'" element1="/fr.n7.simplepdl.exemples/src-gen" flags="7" id="org.eclipse.ltk.core.refactoring.delete.resources" resources="1" stamp="1634143998042"/>
<refactoring comment="Delete resource 'fr.n7.petrinet.design'" deleteContents="true" description="Delete resource 'fr.n7.petrinet.design'" element1="/fr.n7.petrinet.design" flags="7" id="org.eclipse.ltk.core.refactoring.delete.resources" resources="1" stamp="1634222921436"/>
<refactoring comment="Delete resource 'fr.n7.petrinet.exemples/gen/test_simplepdl2petrinet.xmi'" deleteContents="false" description="Delete resource 'fr.n7.petrinet.exemples/gen/test_simplepdl2petrinet.xmi'" element1="/fr.n7.petrinet.exemples/gen/test_simplepdl2petrinet.xmi" flags="7" id="org.eclipse.ltk.core.refactoring.delete.resources" resources="1" stamp="1634288116836"/>
<refactoring comment="Delete resource 'fr.n7.petrinet.exemples/models'" deleteContents="false" description="Delete resource 'fr.n7.petrinet.exemples/models'" element1="/fr.n7.petrinet.exemples/models" flags="7" id="org.eclipse.ltk.core.refactoring.delete.resources" resources="1" stamp="1634288651690"/>
<refactoring comment="Delete resource 'fr.n7.simplepdl2petrinet.samples'" deleteContents="true" description="Delete resource 'fr.n7.simplepdl2petrinet.samples'" element1="/fr.n7.simplepdl2petrinet.samples" flags="7" id="org.eclipse.ltk.core.refactoring.delete.resources" resources="1" stamp="1634288821022"/>
<refactoring comment="Delete resource 'fr.n7.petrinet.samples2'" deleteContents="true" description="Delete resource 'fr.n7.petrinet.samples2'" element1="/fr.n7.petrinet.samples2" flags="7" id="org.eclipse.ltk.core.refactoring.delete.resources" resources="1" stamp="1634289563145"/>
<refactoring comment="Delete resource 'fr.n7.petrinet.samples2'" deleteContents="true" description="Delete resource 'fr.n7.petrinet.samples2'" element1="/fr.n7.petrinet.samples2" flags="7" id="org.eclipse.ltk.core.refactoring.delete.resources" resources="1" stamp="1634289800117"/>
<refactoring comment="Delete resource 'fr.n7.petrinet.samples2'" deleteContents="true" description="Delete resource 'fr.n7.petrinet.samples2'" element1="/fr.n7.petrinet.samples2" flags="7" id="org.eclipse.ltk.core.refactoring.delete.resources" resources="1" stamp="1634289851563"/>
<refactoring comment="Delete resource 'fr.n7.petrinet.exemples/gen/test_acl.petrinet'" deleteContents="false" description="Delete resource 'fr.n7.petrinet.exemples/gen/test_acl.petrinet'" element1="/fr.n7.petrinet.exemples/gen/test_acl.petrinet" flags="7" id="org.eclipse.ltk.core.refactoring.delete.resources" resources="1" stamp="1634290266191"/>
<refactoring comment="Delete resource 'fr.n7.petrinet.exemples/gen/test_acl.xmi'" deleteContents="false" description="Delete resource 'fr.n7.petrinet.exemples/gen/test_acl.xmi'" element1="/fr.n7.petrinet.exemples/gen/test_acl.xmi" flags="7" id="org.eclipse.ltk.core.refactoring.delete.resources" resources="1" stamp="1634290268163"/>
<refactoring comment="Delete resource 'fr.n7.petrinet.exemples/gen/test_acl.petrinet'" deleteContents="false" description="Delete resource 'fr.n7.petrinet.exemples/gen/test_acl.petrinet'" element1="/fr.n7.petrinet.exemples/gen/test_acl.petrinet" flags="7" id="org.eclipse.ltk.core.refactoring.delete.resources" resources="1" stamp="1634290521455"/>
<refactoring comment="Delete resource 'fr.n7.petrinet.exemples/src-gen/developpement.net'" deleteContents="false" description="Delete resource 'fr.n7.petrinet.exemples/src-gen/developpement.net'" element1="/fr.n7.petrinet.exemples/src-gen/developpement.net" flags="7" id="org.eclipse.ltk.core.refactoring.delete.resources" resources="1" stamp="1634290556186"/>
|
||||
</session>
|
|
@ -1,3 +1,13 @@
|
|||
1634143995560 Delete resource 'fr.n7.simplepdl.exemples/src-gen/exemple.html'
|
||||
1634143998042 Delete resource 'fr.n7.simplepdl.exemples/src-gen'
|
||||
1634222921436 Delete resource 'fr.n7.petrinet.design'
|
||||
1634288116836 Delete resource 'fr.n7.petrinet.exemples/gen/test_simplepdl2petrinet.xmi'
|
||||
1634288651690 Delete resource 'fr.n7.petrinet.exemples/models'
|
||||
1634288821022 Delete resource 'fr.n7.simplepdl2petrinet.samples'
|
||||
1634289563145 Delete resource 'fr.n7.petrinet.samples2'
|
||||
1634289800117 Delete resource 'fr.n7.petrinet.samples2'
|
||||
1634289851563 Delete resource 'fr.n7.petrinet.samples2'
|
||||
1634290266191 Delete resource 'fr.n7.petrinet.exemples/gen/test_acl.petrinet'
|
||||
1634290268163 Delete resource 'fr.n7.petrinet.exemples/gen/test_acl.xmi'
|
||||
1634290521455 Delete resource 'fr.n7.petrinet.exemples/gen/test_acl.petrinet'
|
||||
1634290556186 Delete resource 'fr.n7.petrinet.exemples/src-gen/developpement.net'
|
||||
|
|
|
@ -1,2 +1,2 @@
|
|||
#Cached timestamps
|
||||
#Thu Oct 14 20:36:24 CEST 2021
|
||||
#Fri Oct 15 12:07:39 CEST 2021
|
||||
|
|
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
|
@ -1,5 +1,5 @@
|
|||
#safe table
|
||||
#Thu Oct 14 20:36:24 CEST 2021
|
||||
#Fri Oct 15 12:07:39 CEST 2021
|
||||
.orphans=0
|
||||
.mainData=0
|
||||
.contributors=0
|
||||
|
@ -7,4 +7,4 @@
|
|||
.extraData=0
|
||||
.contributions=0
|
||||
.table=0
|
||||
.crcfaf9b6d8.v1
|
||||
.crc19b4ca2d.v1
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
#safe table
|
||||
#Thu Oct 14 20:36:24 CEST 2021
|
||||
#Fri Oct 15 12:07:40 CEST 2021
|
||||
.orphans=1
|
||||
.mainData=1
|
||||
.contributors=1
|
||||
|
@ -7,4 +7,4 @@
|
|||
.extraData=1
|
||||
.contributions=1
|
||||
.table=1
|
||||
.crc358b8ce3.v1
|
||||
.crccb18dd4b.v1
|
||||
|
|
Binary file not shown.
Binary file not shown.
|
@ -1,4 +1,4 @@
|
|||
# List of external plug-in models previously loaded. Timestamp: 1634228264473
|
||||
# List of external plug-in models previously loaded. Timestamp: 1634289388674
|
||||
file:/mnt/n7fs/ens/tp_cregut/eclipse-gls-2020-09/plugins/com.google.guava_27.1.0.v20190517-1946.jar
|
||||
file:/mnt/n7fs/ens/tp_cregut/eclipse-gls-2020-09/plugins/com.google.inject_3.0.0.v201605172100.jar
|
||||
file:/mnt/n7fs/ens/tp_cregut/eclipse-gls-2020-09/plugins/com.ibm.icu_67.1.0.v20200706-1749.jar
|
||||
|
|
|
@ -8,4 +8,17 @@
|
|||
</section>
|
||||
<section name="BasicNewProjectResourceWizard">
|
||||
</section>
|
||||
<section name="SaveAsDialogSettings">
|
||||
<item key="DIALOG_X_ORIGIN" value="127"/>
|
||||
<item key="DIALOG_Y_ORIGIN" value="-43"/>
|
||||
<item key="DIALOG_WIDTH" value="525"/>
|
||||
<item key="DIALOG_HEIGHT" value="591"/>
|
||||
<item key="DIALOG_FONT_NAME" value="1|Ubuntu|11.0|0|GTK|1|"/>
|
||||
</section>
|
||||
<section name="CleanDialogSettings">
|
||||
<item key="TOGGLE_SELECTED" value="false"/>
|
||||
<item key="DIALOG_WIDTH" value="490"/>
|
||||
<item key="DIALOG_HEIGHT" value="398"/>
|
||||
<item key="DIALOG_FONT_NAME" value="1|Ubuntu|11.0|0|GTK|1|"/>
|
||||
</section>
|
||||
</section>
|
||||
|
|
|
@ -6,4 +6,9 @@
|
|||
<item value="org.eclipse.ui.Basic"/>
|
||||
</list>
|
||||
</section>
|
||||
<section name="EditorSelectionDialog">
|
||||
<item key="EditorSelectionDialog.STORE_ID_FILE_EXTENSION" value=".petrinet"/>
|
||||
<item key="EditorSelectionDialog.STORE_ID_INTERNAL_EXTERNAL" value="false"/>
|
||||
<item key="EditorSelectionDialog.STORE_ID_DESCR" value="org.eclipse.sirius.diagram.ui.part.SiriusDiagramEditorID"/>
|
||||
</section>
|
||||
</section>
|
||||
|
|
|
@ -1,3 +1,3 @@
|
|||
#Thu Oct 14 18:17:39 CEST 2021
|
||||
#Fri Oct 15 11:16:23 CEST 2021
|
||||
org.eclipse.core.runtime=2
|
||||
org.eclipse.platform=4.17.0.v20200902-1800
|
||||
|
|
|
@ -3,7 +3,7 @@
|
|||
<ownedViewpoints name="petrinetViewpoint" modelFileExtension="petrinet">
|
||||
<ownedRepresentations xsi:type="description_1:DiagramDescription" name="NetworkDiagram" domainClass="petrinet::Network" enablePopupBars="true">
|
||||
<metamodel href="http://petrinet#/"/>
|
||||
<defaultLayer name="Default">
|
||||
<defaultLayer name="DiagramPetrinet">
|
||||
<nodeMappings name="PlaceNode" domainClass="petrinet::Place">
|
||||
<style xsi:type="style:DotDescription" borderSizeComputationExpression="3" labelSize="12" showIcon="false" labelExpression="[self.name + '\n(' + self.tokens +')'/]" labelPosition="node" resizeKind="NSEW">
|
||||
<borderColor xsi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
|
||||
|
@ -26,7 +26,7 @@
|
|||
</centerLabelStyleDescription>
|
||||
</style>
|
||||
</edgeMappings>
|
||||
<toolSections>
|
||||
<toolSections name="Outils">
|
||||
<ownedTools xsi:type="tool:NodeCreationDescription" name="PlaceCreation" nodeMappings="//@ownedViewpoints[name='petrinetViewpoint']/@ownedRepresentations[name='NetworkDiagram']/@defaultLayer/@nodeMappings[name='PlaceNode']">
|
||||
<variable name="container"/>
|
||||
<viewVariable name="containerView"/>
|
||||
|
|
|
@ -1,8 +0,0 @@
|
|||
<?xml version="1.0" encoding="ISO-8859-1"?>
|
||||
<xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:petrinet="http://petrinet">
|
||||
<petrinet:Network name="Developpement"/>
|
||||
<petrinet:Place name="Conception_ready" tokens="1"/>
|
||||
<petrinet:Place name="Programmation_ready" tokens="1"/>
|
||||
<petrinet:Place name="RedactionTests_ready" tokens="1"/>
|
||||
<petrinet:Place name="RedactionDocs_ready" tokens="1"/>
|
||||
</xmi:XMI>
|
Loading…
Reference in a new issue