component A // interface class graph G provides {normal; aspectual; normal; aspectual} expects {normal; normal } constraints { } // implementation classes {R;S;T} attachment (X,Y,Z) on A