Structural organizations for software systems as collections of interconnected components: formal models and languages; design tools and guidelines.