Support system for constructing communication services and protocols based on compositional approach

One of the most important techniques for designing protocols is the compositional technique in which small and simple protocols are designed and verified first and then a large and complex protocol is composed of these small unit like protocols. We have proposed an approach in which service specifications and protocol specifications are simultaneously constructed by combining unit like service and protocol specifications specified in LOTOS. We design and implement a support system for constructing service and protocol specifications based on the approach. The system supports alternative, sequential and parallel composition of specifications. The composed service specification and protocol specifications are observationally equivalent