Towards Checking Architectural Rules in Component-Based Design

Current component-based software development (CBSD) approaches rather focus on the design of software systems than on the system's high-level, coarse-grained architecture. They provide modeling techniques to describe the concrete structure of components and their interfaces, how they are connected and how they interact. As all effect of their focus on the design, they are not appropriate to explicitly model the fundamental rules of a software architecture like architectural patterns or reference architectures that restrict the component-based design. In this paper, we are going to identify some architectural rules in small example. Furthermore, we will outline how these rules can be used to constrain the component design based upon a modeling approach called DisCComp.