Thanks for the suggestion. We could give a try on this.
However, our main concern is that we are going close to what we can do with GraphViz.
So it might work fine on very simple diagrams but cause many issues on large ones.
First, about the syntax we propose to have:
@startuml
class class1
class class2
class1 [Qualifier] -- class2
@enduml
This way, you could mix qualifier and quantifier:
@startuml
class class1
class class2
class1 [Qualifier] "1" -- class2
@enduml
Now the bad news:
If you are about to have too many qualifiers, like in:
@startuml
class class1
class class2
class1 [Qualifier a] -- class2
class1 [Qualifier b] -- class2
class1 [Qualifier c] -- class2
class1 [Qualifier d] -- class2
@enduml
The drawing will be bad.
Same thing for:
@startuml
class class1
class class2
class1 [This qualifier is very long and will give a very bad drawing] -- class2
@enduml
Since you generate your diagrams from VDM models, I'm pretty sure the diagrams are going to be large.
It would be very useful if you could post here or send us by email an example of generated PlantUML diagrams so that we tell you if we could go for it.
Thanks!