Efficient specification description for communications software using message sequences and rules

The paper proposes a communications service specification description method that reduces the number of message sequence charts (MSCs) that designers need to describe. This method uses MSCs and rules for generating error-handling procedures. Experimental application of the proposed description method shows that this hybrid description enables service specifications for target services to be described with about 10% fewer than when using only MSCs.