PROTOCOL DESIGN SUPPORT PROGRAM AND PROTOCOL DESIGN METHOD

To solve a problem of a conventional determination method in which it has been impossible to verify whether a protocol including a plurality of MSCs can be implemented in a stateless manner.SOLUTION: A protocol design support program creates a semi-order set obtained by synthesizing a semi-order defining the relationship between an execution order of a transmission event and a reception event contained in each MSC and a transmission or reception partner for a plurality of MSCs, and uses the semi-order set to determine that the plurality of MSCs can be implemented if uniqueness of a transmission event which is a head event of the plurality of MSCs and a condition that a reception event paired with the first event do not overlap are satisfied.SELECTED DRAWING: Figure 3 【課題】従来の判断手法では、複数のＭＳＣを含むプロトコルがステートレス実装可能かいなかを検証することが出来ない問題があった。【解決手段】一実施の形態によれば、プロトコル設計支援プログラムは、複数のＭＳＣについて、各ＭＳＣに含まれる送信イベント及び受信イベントの実行順と送受信相手との関係を定義した半順序を合成した半順序集合を作成し、当該半順序集合を用いて、複数のＭＳＣの先頭イベントとなる送信イベントの唯一性、及び、先頭イベントと対になる受信イベントが重ならないことの条件を満たす場合に、複数のＭＳＣがステートレス実装可能と判断する。【選択図】図３