| Description: |
Three components that can be used independently of each other: the
consistency checker ensures that the architecture is well formed (e.g.,
two interface elements in a component cannot be identical); the constraint
checker ensures that the desired topological and style constraints are
preserved (e.g., components interact only via connectors); the type checker
ensures that components that are intended to interact can indeed do so
(e.g., their interface and behavior specifications adhere to a type conformance
criterion). |