[Pharo-project] GSoC idea: Spec over Aida component model