A Study on the Calculation and Renewal Method of Reachability Matrix Considering Unknown Relations
Kiyotoshi Komaya · Transactions of the Society of Instrument and Control Engineers · 1987
This paper describes a calculation method of reachability matrix considering three types of information between components, that is 1) relate, 2) not relate, and 3) unknown. A renewal method of reachability matrix when a relation is modified is also presented. The purpose of these method is to support an incremental development of the structural model which considers the types of information, such as the intensity of relation or logical relation.The max-min operation is proposed to calculate a reachability matrix including unknown relations. This operation is also employed, when other types of information is considered. So, the same process is used to calculate a reachability matrix. From this matrix, we propose six forms of practical question to judge unknown relations. These questions are based on the number of unknown entires in the reachability matrix. And they are arranged to judge easily using a hierarchical relation which has already known.The renewal method can reduce a calculating time of reachablity matrix, when a relation is modified. By this method, the renewal process can be employed to confirm the effect of modification easily and visually on a structural model.