Separate the concern of specifying what an element is to do from how it is implemented.

In AADL a system provides a specification through a list of features that are ports in and out of the system and the basic flow in the system and the properties. 

A system *.impl provides the details of how the specification is actually carried out.