From 0188d94abe8e22fc9399317aeab305ee0b8d73bb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Laure=CE=B7t?= Date: Sun, 3 Oct 2021 21:55:40 +0200 Subject: [PATCH] fix: test ajout de livrables --- .gitlab-ci.yml | 2 +- livrables/SimplePDL.aird | 462 ++++++++++++++++++++++++++++++++++++++ livrables/SimplePDL.ecore | 36 +++ livrables/SimplePDL.ocl | 49 ++++ livrables/pdl-sujet.xmi | 32 +++ livrables/petriNet.aird | 316 ++++++++++++++++++++++++++ livrables/petriNet.ecore | 22 ++ 7 files changed, 918 insertions(+), 1 deletion(-) create mode 100644 livrables/SimplePDL.aird create mode 100644 livrables/SimplePDL.ecore create mode 100644 livrables/SimplePDL.ocl create mode 100644 livrables/pdl-sujet.xmi create mode 100644 livrables/petriNet.aird create mode 100644 livrables/petriNet.ecore 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 @@ + + + + + + + + + + + + + + + + +