“…In this way this work gives several way epts to model components systems. Among these conce (1) high level of abstraction to capture all the facets o he domain independent design and (3) the domain spec des defining secure models (as instances of GRIMA ity patterns [6]. …”