Rule-based graph theory to enable exploration of the space system architecture design space رسالة دكتوراه