Refinement via annotations is a common practice in Model-Driven Engineering (MDE). For instance, in the case of our Model-Driven Performance Engineering (MDPE) architecture, we are required to annotate different types of process models with performance objectives, constraints and other information. This is used to enable ...