at the moment i am working at a workflow editor for my firm. Therefore, i
have some contraints for the nodes. E.g. how can i write a constraint in
OCL that a node is limited to only one occurence. A workflow can have only
one start node and at least one end. For the user it shouldn't be possible
to create more than one start.