Rather than use annotation to define stereotypes and tag values, it would be more accurate to use real contract for stereotype and tag value description. In this way, we could use non annotation compi...