diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 078e3c8..01c9f51 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -8,7 +8,7 @@ Deploy:
before_script:
- apk add subversion
script:
- - svn co http://cregut.svn.enseeiht.fr/2021/2sn/idm/mp/M-02 --username lfainsin --password "$SVN_PASSWORD" svn_repo
+ - svn co http://cregut.svn.enseeiht.fr/2021/2sn/idm/mp/M-02 --username lfainsin --password '$SVN_PASSWORD' svn_repo
- cd svn_repo
- svn up
- cp ../livrables/* livrables/
diff --git a/livrables/SimplePDL.aird b/livrables/SimplePDL.aird
new file mode 100644
index 0000000..9c02882
--- /dev/null
+++ b/livrables/SimplePDL.aird
@@ -0,0 +1,462 @@
+
+
+
+ SimplePDL.ecore
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ bold
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ KEEP_LOCATION
+ KEEP_SIZE
+ KEEP_RATIO
+
+
+
+
+
+
+
+
+ KEEP_LOCATION
+ KEEP_SIZE
+ KEEP_RATIO
+
+
+
+
+
+
+
+
+ bold
+
+
+
+
+
+
+
+ KEEP_LOCATION
+ KEEP_SIZE
+ KEEP_RATIO
+
+
+
+
+
+
+
+
+ bold
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ bold
+
+
+
+
+
+
+
+ KEEP_LOCATION
+ KEEP_SIZE
+ KEEP_RATIO
+
+
+
+
+
+
+
+
+ bold
+
+
+
+
+
+
+
+
+
+
+ labelSize
+
+
+ labelSize
+
+
+
+
+
+
+
+
+
+ labelSize
+
+
+ labelSize
+
+
+
+
+
+
+
+
+
+
+ italic
+
+
+
+
+
+
+
+
+
+
+
+ italic
+
+
+
+
+
+
+
+
+
+
+
+ italic
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/livrables/SimplePDL.ecore b/livrables/SimplePDL.ecore
new file mode 100644
index 0000000..3cb547c
--- /dev/null
+++ b/livrables/SimplePDL.ecore
@@ -0,0 +1,36 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/livrables/SimplePDL.ocl b/livrables/SimplePDL.ocl
new file mode 100644
index 0000000..96a224e
--- /dev/null
+++ b/livrables/SimplePDL.ocl
@@ -0,0 +1,49 @@
+import 'SimplePDL.ecore'
+
+package simplepdl
+
+context Process
+inv warningSeverity: false
+inv withMessage('Explicit message in process ' + self.name + ' (withMessage)'): false
+--inv errorSeverity: null
+
+context Process
+inv validName('Invalid name: ' + self.name):
+ self.name.matches('[A-Za-z_][A-Za-z0-9_]*')
+
+context ProcessElement
+def: process(): Process =
+ Process.allInstances()
+ ->select(p | p.processElements->includes(self))
+ ->asSequence()->first()
+
+context WorkSequence
+inv successorAndPredecessorInSameProcess('Activities not in the same process : '
+ + self.predecessor.name + ' in ' + self.predecessor.process().name+ ' and '
+ + self.successor.name + ' in ' + self.successor.process().name
+):
+ self.process() = self.successor.process()
+ and self.process() = self.predecessor.process()
+
+context Process
+inv uniqNames: self.processElements
+ ->select(pe | pe.oclIsKindOf(WorkDefinition))
+ ->collect(pe | pe.oclAsType(WorkDefinition))
+ ->forAll(w1, w2 | w1 = w2 or w1.name <> w2.name)
+
+context WorkSequence
+inv notReflexive: self.predecessor <> self.successor
+
+context Process
+inv nameMin2Char: self.processElements
+ ->select(pe | pe.oclIsKindOf(WorkDefinition))
+ ->collect(pe | pe.oclAsType(WorkDefinition))
+ ->forAll(w | w.name.matches('..+'))
+
+context Process
+inv weirdName: self.processElements
+ ->select(pe | pe.oclIsKindOf(WorkDefinition))
+ ->collect(pe | pe.oclAsType(WorkDefinition))
+ ->forAll(w | not w.name.matches('([0-9]*|[a-zA-Z]*|_*)'))
+
+endpackage
\ No newline at end of file
diff --git a/livrables/pdl-sujet.xmi b/livrables/pdl-sujet.xmi
new file mode 100644
index 0000000..7b75b5a
--- /dev/null
+++ b/livrables/pdl-sujet.xmi
@@ -0,0 +1,32 @@
+
+
+
+
+
+
+
+
+
diff --git a/livrables/petriNet.aird b/livrables/petriNet.aird
new file mode 100644
index 0000000..dbfe2a8
--- /dev/null
+++ b/livrables/petriNet.aird
@@ -0,0 +1,316 @@
+
+
+
+ petriNet.ecore
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ bold
+
+
+
+
+
+
+ bold
+
+
+
+
+
+
+
+
+
+
+
+ KEEP_LOCATION
+ KEEP_SIZE
+ KEEP_RATIO
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ KEEP_LOCATION
+ KEEP_SIZE
+ KEEP_RATIO
+
+
+
+
+
+
+
+
+ KEEP_LOCATION
+ KEEP_SIZE
+ KEEP_RATIO
+
+
+
+
+
+
+
+
+ bold
+
+
+
+
+
+
+
+ KEEP_LOCATION
+ KEEP_SIZE
+ KEEP_RATIO
+
+
+
+
+
+
+
+
+ bold
+
+
+
+
+
+
+
+
+
+
+ labelSize
+
+
+ labelSize
+
+
+
+
+
+
+
+
+
+ labelSize
+
+
+ labelSize
+
+
+
+
+
+
+
+
+
+ labelSize
+
+
+ labelSize
+
+
+
+
+
+
+
+
+
+
+ italic
+
+
+
+
+
+
+
+
+
+
+
+ italic
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/livrables/petriNet.ecore b/livrables/petriNet.ecore
new file mode 100644
index 0000000..bb6382c
--- /dev/null
+++ b/livrables/petriNet.ecore
@@ -0,0 +1,22 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+