Slicing behavior specification of components