A connected model provides enough information to reason on what's upstream or downstream by following paths between related or connected objects. For example, a motorist can avoid the source of motorway congestion by reviewing (or reasoning about) local traffic reports in-conjunction with his road atlas (a connected model).
UReason software provides special rule blocks to analyse a model or use a model's topology for analysis, it can draw conclusions from complex relationships found in a model and can explain the reasoning or suggest decisions by allowing the domain expert to view the reasoning path taken when reaching a conclusion.
One form of Model Based Reasoning is Topology Analysis, where the structure of a model is analyzed using containment and known relationships between objects in the model. UReason's Topology Agent has specifically been designed to allow a domain expert to graphically describe the agent's behaviour while it navigates through a model extracting, gathering or searching for information.
