A Rationale-based Model for Architecture Design Reasoning

4.1 AREL Check Model
When the Check Model button is clicked, the tool would progress to check the
AREL model that is currently opened for any errors. The model checking is to
verify the AREL rules:
• Every root elements must be an architecture element (AE)
• Every leaf elements must be an architecture element (AE)
• Every non leaf architectural element (AE) must be connected to another
architectural rationale element (AR).
• No two same types of AREL elements must be connected. Therefore, no
AR-AR or AE-AE connections are allowed.
• There are no acyclic graph presents in the model.
Some correct models are shown below.
Figure 3a and 3b – examples of correct AREL models
Some incorrect models are shown bellow.
Figure 4a and 4b – examples of incorrect AREL models
When the model checking operation is complete, the following screen (Figure 5) is
displayed to show if any errors or warnings have been detected. Errors indicate that
230