projet-genie-logiciel-systeme/workspace/fr.n7.petrinet/petriNet.ocl
2021-12-03 08:24:06 +01:00

21 lines
455 B
Plaintext
Executable file

import 'petriNet.ecore'
package petrinet
context Network
inv validName('Invalid name: ' + self.name):
self.name.matches('[A-Za-z_][A-Za-z0-9_]*')
inv uniqNamesNode: self.nodes
->forAll(n1, n2 | n1 = n2 or n1.name <> n2.name)
context Node
inv nameMin2Char: self.name.matches('..+')
inv weirdName: not self.name.matches('([0-9]*|_*)')
context Place
inv negativeQuantity: self.tokens >= 0
context Arc
inv negativeQuantity: self.weight >= 0
endpackage