Fig. 3From: DCL 2.0: modular and reusable specification of architectural constraintsHypothetical system models: a logical model and b physical modelBack to article page